|
 |
|
 | |  |
| Haftungsausschluß: Diese Internetzseiten enthalten Postscript- und
PDF-Dateien von Artikeln, die urheberrechtlich geschützt sein
können. Sie können in diesen Artikeln stöbern wie in einer Zeitschrift
oder einem Konferenzartikel in einer öffentlichen Bibliothek. Das
Laden, Kopieren, Verteilen dieser Dateien könnte gegen das
Urheberrechtsschutzgesetz verstoßen.
Veröffentlichungen
 |  | 2010 |
 |  |
 |  | Jakumeit, Buchwald, Kroll, GrGen.NET |  |  |
 | |  | |  |
| | |
 |  | 2008 |
 |  |
 |  | Geiß, Graphersetzung mit Anwendungen im Übersetzerbau |  |  |
 | |  | |  |
 |  | Buchwald, Zwinkau, Befehlsauswahl auf expliziten Abhängigkeitsgraphen |  |  |
 | |  | |  |
 |  | Jakumeit, Mit GrGen.NET zu den Sternen -- Erweiterung der Regelsprache eines Graphersetzungswerkzeugs um rekursive Regeln mittels Sterngraphgrammatiken und Paargraphgrammatiken |  |  |
 | |  | |  |
 |  | Hoffmann, Jakumeit, Geiß, Graph Rewrite Rules with Structural Recursion |  |  |
 | |  | |  |
 |  | Buchwald, Erweiterung von GrGen.NET um DPO-Semantik und ungerichtete Kanten |  |  |
 | |  | |  |
 |  | Gelhausen, Derre, Geiß, Customizing GrGen.NET for Model Transformation |  |  |
 | |  | |  |
 |  | Geiß, Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools |  |  |
 | |  | |  |
 |  | Geiß, Transformation of UML Models to CSP:
A Case Study for Graph Transformation Tools |  |  |
 | |  | |  |
 |  | Geiß, Kroll, GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool |  |  |
 | |  | |  |
 |  | Denninger, Gelhausen, Geiß, Applications and Rewriting of Omnigraphs -- Exemplified in the Domain of MDD |  |  |
 | |  | |  |
 |  | Batz, Kroll, Geiß, A First Experimental Evaluation of Search Plan Driven Graph Pattern Matching |  |  |
 | |  | |  |
 |  | Schösser, Geiß, Graph Rewriting for Hardware Dependent Program Optimizations |  |  |
 | |  | |  |
| | |
 |  | 2007 |
 |  |
 |  | Schösser, Graphersetzungsregelgewinnung aus Hochsprachen und deren Anwendung |  |  |
 | |  | |  |
 |  | Jakumeit, Vorarbeiten für die Erweiterung des Graphersetzungssystems GrGen um dynamisch zusammengesetzte Muster |  |  |
 | |  | |  |
 |  | Hack, Register Allocation for Programs in SSA Form |  |  |
 | |  | |  |
 |  | Grund, Hack, A Fast Cutting-Plane Algorithm for Optimal Coalescing |  |  |
 | |  | |  |
 |  | Müller, Erweiterung des Graphersetzungswerkzeugs GrGen.NET um dynamische und kontextsensitive Beschleunigungstechniken |  |  |
 | |  | |  |
 |  | Kroll, Geiß, Developing Graph Transformations with GrGen.NET |  |  |
 | |  | |  |
 |  | Müller, Geiß, Speeding up Graph Transformation through Automatic Concatenation of Rewrite Rules |  |  |
 | |  | |  |
 |  | Geiß, Kroll, On Improvements of the Varro Benchmark for Graph Transformation Tools |  |  |
 | |  | |  |
 |  | Kroll, GrGen.NET: Portierung und Erweiterung des Graphersetzungssystems GrGen |  |  |
 | |  | |  |
 |  | Mallon, If-Konversion auf SSA |  |  |
 | |  | |  |
 |  | Würdig, Entwurf und Implementierung eines
Firm-basierten Backends für die
Synchrone Transfer-Architektur |  |  |
 | |  | |  |
 |  | Blomer, Geiß, The GrGen.NET User Manual |  |  |
 | |  | |  |
| | |
 |  | 2006 |
 |  |
 |  | Würdig, Entwurf und Implementierung eines SSA-basierten x86-Backends |  |  |
 | |  | |  |
 |  | Braun, Vor- und Nachteile der SSA-Darstellung f. Programmoptimierungen und Behandlung von indirekten Speicherzugriffen |  |  |
 | |  | |  |
 |  | Braun, Heuristisches Auslagern in einem SSA-basierten Registerzuteiler |  |  |
 | |  | |  |
 |  | Szalkowski, Rematerialisierung mittels ganzzahliger linearer Optimierung in einem SSA-basierten Registerzuteiler |  |  |
 | |  | |  |
 |  | Spallek, Effiziente Speicherung und Repräsentation von Konfliktgraphen |  |  |
 | |  | |  |
 |  | Liekweg, Compiler-Directed Automatic Memory Management |  |  |
 | |  | |  |
 |  | Geiß, Batz, Grund, Hack, Szalkowski, GrGen: A Fast SPO-Based Graph
Rewriting Tool |  |  |
 | |  | |  |
 |  | Batz, An Optimization Technique for Subgraph Matching Strategies |  |  |
 | |  | |  |
 |  | Hack, Goos, Optimal register allocation for SSA-form programs in polynomial time |  |  |
 | |  | |  |
 |  | Hack, Grund, Goos, Register allocation for programs in SSA-form |  |  |
 | |  | |  |
| | |
 |  | 2005 |
 |  |
 |  | Batz, Graphersetzung für eine Zwischendarstellung im Übersetzerbau |  |  |
 | |  | |  |
 |  | Szalkowski, Negative Anwendungsbedingungen
für das suchprogrammbasierte
Backend von GrGen |  |  |
 | |  | |  |
 |  | Leiß, Entwicklung eines Anzeigesystems
für Programmgraphen |  |  |
 | |  | |  |
 |  | Liekweg, Boesler, Beschreibung Externer Komponenten zur Analyse und Optimierung von Softwaresystemen |  |  |
 | |  | |  |
 |  | Hack, Grund, Goos, Towards Register Allocation for Programs in
SSA-form |  |  |
 | |  | |  |
 |  | Boesler, Codeerzeugung mit Graphersetzung und Lösungsgraphen |  |  |
 | |  | |  |
 |  | Grund, Kopienminimierung in einem SSA-basierten Registerzuteiler |  |  |
 | |  | |  |
 |  | Blech, Glesner, Leitner, Formal Verification of Java Code Generation from UML Models |  |  |
 | |  | |  |
 |  | Glesner, An Introduction to (Co)Algebras and
(Co)Induction and their Application to the Semantics of Programming Languages |  |  |
 | |  | |  |
 |  | Humbert, Entwurf und Implementierung einer Schnittstelle für SSA-Sprachen |  |  |
 | |  | |  |
 |  | Kopp, Gesellensetter, Krämer, Wachsmuth, A Conversational Agent as Museum Guide - Design and Evaluation of a Real-World Application
|  |  |
 | |  | |  |
 |  | Hack, Interference Graphs of Programs in SSA-form |  |  |
 | |  | |  |
 |  | Batz, Generierung von Graphersetzungen mit programmierbarem Suchalgorithmus |  |  |
 | |  | |  |
 |  | Blech, Gesellensetter, Glesner, Formal Verification of Dead Code Elimination in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Lindenmaier, Beck, Boesler, Geiß, Firm, an Intermediate Language for Compiler Research |  |  |
 | |  | |  |
 |  | Lindenmaier, Structure Splitting and Inheritance |  |  |
 | |  | |  |
 |  | Blech, Glesner, Leitner, Mülling, A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Glesner, Blech, Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler |  |  |
 | |  | |  |
| | |
 |  | 2004 |
 |  |
 |  | Hofmann, Regelerzeugung zur maschinenabhängigen Codeoptimierung |  |  |
 | |  | |  |
 |  | Jakschitsch, Befehlsauswahl auf SSA-Graphen |  |  |
 | |  | |  |
 |  | Sperling, Verifikation unimodularer Schleifentransformation |  |  |
 | |  | |  |
 |  | Grund, Negative Anwendungsbedingungen für den Graphersetzer GrGen |  |  |
 | |  | |  |
 |  | Kratz, Entwicklung eines Debuggers mit Rückwärtsschrittfunktion |  |  |
 | |  | |  |
 |  | Pulvermüller, Speck, XOpT - XML-Based Composition Concept |  |  |
 | |  | |  |
 |  | Glesner, Goos, Zimmermann, Verifix: Konstruktion und Architektur verifizierender
Übersetzer
(Verifix: Construction and Architecture
of Verifying Compilers) |  |  |
 | |  | |  |
 |  | Blech, Glesner, A Formal Correctness Proof for Code Generation from SSA Form
in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Blech, Eine formale Semantik für SSA-Zwischensprachen in Isabelle/HOL |  |  |
 | |  | |  |
 |  | Glesner, Zimmermann, Natural Semantics as a Static Program Analysis Framework |  |  |
 | |  | |  |
 |  | Glesner, Forster, Jäger, A Program Result Checker for the Lexical Analysis of the GNU C Compiler |  |  |
 | |  | |  |
 |  | Glesner, A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics |  |  |
 | |  | |  |
 |  | Glesner, An ASM Semantics for SSA Intermediate Representations |  |  |
 | |  | |  |
 |  | Heuzeroth, Aspektorientierte Konfiguration und Adaption von Komponenteninteraktionen |  |  |
 | |  | |  |
| | |
 |  | 2003 |
 |  |
 |  | Noga, Optimierung der Verarbeitung von Dokumenten |  |  |
 | |  | |  |
 |  | Kleine, Erweiterung eines Metaprogrammiersystems um einen iterativ
aktualisierbaren Zwischensprachaufbau |  |  |
 | |  | |  |
 |  | Kalisch, Prozessorsimulation mit Zustandsautomaten |  |  |
 | |  | |  |
 |  | Hack, RAP - Ein Registerallokator für CGGG |  |  |
 | |  | |  |
 |  | Hack, Graphersetzung für Optimierungen in der Codeerzeugung |  |  |
 | |  | |  |
 |  | Gaul, Konstruktion verifizierender Übersetzer mit Programmprüfung |  |  |
 | |  | |  |
 |  | Wagner, Entscheidungsfindung mit unscharfen Mengen |  |  |
 | |  | |  |
 |  | Geiß, Hack, Übersetzerbau - Ein kleiner Überblick |  |  |
 | |  | |  |
 |  | Schröter, Codegenerierung für digitale Signalprozessoren |  |  |
 | |  | |  |
 |  | Noga, Löwe, Mapping Data Types of Programming Language and Web Services |  |  |
 | |  | |  |
 |  | Noga, Völkel, From Web Pages to Web Services with wal |  |  |
 | |  | |  |
 |  | Schott, Noga, Lazy XSL Transformations |  |  |
 | |  | |  |
 |  | Heuzeroth, Löwe, Mandel, Generating Design Pattern Detectors from Pattern Specifications |  |  |
 | |  | |  |
 |  | Van Der Straeten, Speck, Pulvermüller, Clauß, Correctness of Model-Based Software Composition - Proceedings |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Heuzeroth, Validation of Business Process Models |  |  |
 | |  | |  |
 |  | Glesner, Program Checking with Certificates: Separating Correctness-Critical Code |  |  |
 | |  | |  |
 |  | Blech, Spezifikation und maschinelle Verifikation von Konstantenfaltung in Übersetzern |  |  |
 | |  | |  |
 |  | Boesler, A Modification to BURS in Codegeneration |  |  |
 | |  | |  |
 |  | Glesner, Using Program Checking to Ensure the Correctness of Compiler Implementations |  |  |
 | |  | |  |
 |  | Glesner, Blech, Classifying and Formally Verifying Integer Constant Folding |  |  |
 | |  | |  |
 |  | Glesner, ASMs versus Natural Semantics: A Comparison with New Insights |  |  |
 | |  | |  |
 |  | Heuzeroth, Löwe, Understanding Architecture Through Structure and Behavior Visualization, Chapter 9 in book:
Software-Visualization - From Theory to Practice |  |  |
 | |  | |  |
 |  | Heuzeroth, Holl, Högström, Löwe, Automatic Design Pattern Detection |  |  |
 | |  | |  |
| | |
 |  | 2002 |
 |  |
 |  | Ludwig, Automatische Transformation großer Softwaresysteme |  |  |
 | |  | |  |
 |  | Spott, Efficient Reasoning With Fuzzy Words |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Jerger, Franczyk, Component Composition Validation |  |  |
 | |  | |  |
 |  | Speck, Robak, Pulvermüller, Clauß, Version-based Approach for Modelling Software Systems |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Clauß, Van Der Straeten, Reussner, Model-Based Software Reuse |  |  |
 | |  | |  |
 |  | Costanza, Kniesel, Mehner, Pulvermüller, Speck, Second German Workshop on Aspect-Oriented Software Development |  |  |
 | |  | |  |
 |  | Lindenmaier, libFIRM -- A Library for Compiler Optimization Research Implementing FIRM |  |  |
 | |  | |  |
 |  | Schonger, Pulvermüller, Sarstedt, Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees |  |  |
 | |  | |  |
 |  | Pulvermüller, Composition and Correctness |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Clauß, Versioning in Software Modeling |  |  |
 | |  | |  |
 |  | Goos, Software as Science? |  |  |
 | |  | |  |
 |  | Glesner, Geiß, Boesler, Verified Code Generation for Embedded Systems |  |  |
 | |  | |  |
 |  | Gaul, AJACS: Applying Java to Automotive Control Systems |  |  |
 | |  | |  |
 |  | Noga, Schott, Löwe, Lazy XML Processing |  |  |
 | |  | |  |
 |  | Noga, Content Management System Deployment - Merging Separate Concerns |  |  |
 | |  | |  |
 |  | Löwe, Noga, Component Communication and Data Adaptation |  |  |
 | |  | |  |
 |  | Schmidt, Realisierung eines invertierenden C-Zerteilers für COMPOST |  |  |
 | |  | |  |
 |  | Wagner, Statistical Based Fuzzy Sets |  |  |
 | |  | |  |
 |  | Wagner, Risikoabschätzung mit Fuzzy Methoden |  |  |
 | |  | |  |
 |  | Holl, Werkzeuggestützte Erkennung von statischen und dynamischen Mustern in objektorientierter Software |  |  |
 | |  | |  |
 |  | Noga, Löwe, Data Types and XML Schema |  |  |
 | |  | |  |
 |  | Löwe, Noga, Metaprogramming Applied to Web Component Deployment |  |  |
 | |  | |  |
 |  | Löwe, Noga, Scenario-Based Connector Optimization - An XML Approach |  |  |
 | |  | |  |
 |  | Löwe, Noga, A Lightweight XML-based Middleware Architecture |  |  |
 | |  | |  |
 |  | Heuzeroth, Holl, Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns |  |  |
 | |  | |  |
 |  | Löwe, Noga, Gaul, Foundations of Fast Communication via XML |  |  |
 | |  | |  |
| | |
 |  | 2001 |
 |  |
 |  | Beck, Linux-Kernelprogrammierung |  |  |
 | |  | |  |
 |  | Trapp, Optimierung objektorientierter Programme. Übersetzungstechniken, Analysen und Transformationen. |  |  |
 | |  | |  |
 |  | Löwe, Ludwig, Schwind, Understanding Software - Static and Dynamic Aspects |  |  |
 | |  | |  |
 |  | Wagner, Risk assessment with Possibility Measures |  |  |
 | |  | |  |
 |  | Wagner, Risk Assessment in Natural Disasters with Fuzzy Probabilities |  |  |
 | |  | |  |
 |  | Noga, Software aus Komponenten – Technische und juristische Fragen |  |  |
 | |  | |  |
 |  | Noga, Manchmal ist der wichtigste Baustein kein Baustein |  |  |
 | |  | |  |
 |  | Glesner, Zimmermann, Structural Simulation Proofs based on ASMs even for Non-Terminating Programs |  |  |
 | |  | |  |
 |  | Schäfer, Realisierung eines invertierenden C-Präprozessors für COMPOST |  |  |
 | |  | |  |
 |  | Heuzeroth, Holl, Löwe, Combining Static and Dynamic Analyses to Detect Interaction Patterns |  |  |
 | |  | |  |
 |  | Goerigk, Pulvermüller, Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018 |  |  |
 | |  | |  |
 |  | Pulvermüller, Speck, D'Hondt, DeMeuter, Coplien, Feature Interaction in Composed Systems, ECOOP 2001 - Proceedings, TR No. 2001-14 |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Versioning in Software Engineering |  |  |
 | |  | |  |
 |  | Goos, Issues in Compiling |  |  |
 | |  | |  |
 |  | Mehner, Mezini, Pulvermüller, Speck, Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung |  |  |
 | |  | |  |
 |  | Pulvermüller, Speck, Coplien, A Version Model for Aspect Dependency Management |  |  |
 | |  | |  |
 |  | Pulvermüller, Speck, Coplien, D'Hondt, DeMeuter, Position Paper: Feature Interaction in Composed Systems |  |  |
 | |  | |  |
 |  | Rashid, Chitchyan, Speck, Pulvermüller, EProMS: An E-Commerce based Process Model for Cooperative SoftwareDevelopment in Small Organisations |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Feature Modeling |  |  |
 | |  | |  |
 |  | Heuzeroth, Löwe, Ludwig, Assmann, Aspect-Oriented Configuration and Adaptation of Component Communication |  |  |
 | |  | |  |
 |  | Jaeger, Heuzeroth, Assmann, Automating the Management of Reusable System Components |  |  |
 | |  | |  |
 |  | Dieterich, Generierung von Graphersetzern als XML-Transformatoren |  |  |
 | |  | |  |
 |  | Gaul, Löwe, Noga, Specification in a large Industry Consortium - The MOST Approach |  |  |
 | |  | |  |
 |  | Lindenmaier, Geiß, Global Configuration of Cache Optimizations |  |  |
 | |  | |  |
 |  | Löwe, Liebrich, VizzScheduler - A Framework for the Visualization of Scheduling Algorithms |  |  |
 | |  | |  |
 |  | Gaul, Kung, AJACS: Applying Java to Automotive Control Systems |  |  |
 | |  | |  |
 |  | Goos, Vorlesungen über Informatik Band 2: Objektorientiertes Programmieren und Algorithmen |  |  |
 | |  | |  |
| | |
 |  | 2000 |
 |  |
 |  | Geiß, Thermodynamic Cost of Reliability and Low Temperatures: Tightening Landauer's Principle and the Second Law |  |  |
 | |  | |  |
 |  | Noga, legOS - Erweiterungen von einer Ablaufumgebung zu einem Betriebssystem |  |  |
 | |  | |  |
 |  | Noga, Das Inoffizielle Handbuch für LEGO MINDSTORMS Roboter |  |  |
 | |  | |  |
 |  | Lindenmaier, Load Scheduling with Profile Information |  |  |
 | |  | |  |
 |  | Frick, Goos, Neumann, Zimmermann, Construction of Robust Class Hierarchies |  |  |
 | |  | |  |
 |  | Gaul, Practical Construction of Correct Compiler Implementations by Runtime Result Verification |  |  |
 | |  | |  |
 |  | Noga, Erzeugung validierender Zerteiler aus XML Schemata |  |  |
 | |  | |  |
 |  | Geiß, Schleifenübergreifende Cacheoptimierung |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Component Frameworks for Software Generators |  |  |
 | |  | |  |
 |  | Pulvermüller, Generative and Component-Based Software Engineering |  |  |
 | |  | |  |
 |  | Speck, Pulvermüller, Mezini, Reusability of Concerns |  |  |
 | |  | |  |
 |  | Pulvermüller, Rashid, Speck, Supporting Composition using Assertions |  |  |
 | |  | |  |
 |  | Klaeren, Pulvermüller, Rashid, Speck, Aspect Composition applying the Design by Contract Principle |  |  |
 | |  | |  |
 |  | Rashid, Pulvermüller, From Object-Oriented to Aspect-Oriented Databases |  |  |
 | |  | |  |
 |  | Pulvermüller, Speck, Rashid, Implementing collaboration-based Designs using Aspect-Oriented Programming |  |  |
 | |  | |  |
 |  | Weisbrod, Spott, Conditional constraints, implication based rules, and possibilistic rule bases: Are they any good? |  |  |
 | |  | |  |
 |  | Schoknecht, Spott, Riedmiller, Fynesse: A new architecture for sequential decision problems |  |  |
 | |  | |  |
 |  | Schoknecht, Spott, Riedmiller, Design of selflearning controllers using Fynesse |  |  |
 | |  | |  |
 |  | Goos, Zimmermann, Verifying Compilers and ASMs |  |  |
 | |  | |  |
 |  | Ludwig, Neumann, Zimmermann, Towards Reliable Class Hierarchies |  |  |
 | |  | |  |
 |  | Ludwig, Heuzeroth, Metaprogramming in the Large |  |  |
 | |  | |  |
 |  | Goos, Zimmermann, ASMs for uniform description of multistep transformations |  |  |
 | |  | |  |
 |  | Gaul, Zimmermann, Goerigk, Practical Construction of Correct Compiler Implementations by Runtime Result Verification |  |  |
 | |  | |  |
 |  | Goos, Vorlesungen über Informatik Band 1: Grundlagen und funktionales Programmieren |  |  |
 | |  | |  |
 |  | Rashid, Sawyer, Pulvermüller, A Flexible Approach for Instance Adaptation during Class Versioning |  |  |
 | |  | |  |
 |  | Gaul, Kung, AJACS: Applying Java to Automotive Control Systems |  |  |
 | |  | |  |
 |  | Fellhauer, Verteilte Gruppenarbeitssysteme im heterogenen Rechnerumfeld |  |  |
 | |  | |  |
 |  | Riedmiller, Spott, Weisbrod, Fynesse: A hybrid architecture for selflearning control |  |  |
 | |  | |  |
| | |
 |  | 1999 |
 |  |
 |  | Glesner, Natürliche Semantik für imperative und objektorientierte Programmiersprachen |  |  |
 | |  | |  |
 |  | Glesner, Stroetmann, Combining Inclusion Polymorphism and Parametric Polymorphism |  |  |
 | |  | |  |
 |  | Glesner, Natural Semantics for Imperative and Object-Oriented Programming Languages |  |  |
 | |  | |  |
 |  | Gaul, Heberle, Zimmermann, Goerigk, Construction of Verified Software Systems with Program-Checking: An Application To Compiler Back-Ends |  |  |
 | |  | |  |
 |  | Noga, The legOS Operating System |  |  |
 | |  | |  |
 |  | Noga, Designing the legOS Multitasking Operating System |  |  |
 | |  | |  |
 |  | Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Correct Compilation of a While-Language with Parameterless Recursive Procedures |  |  |
 | |  | |  |
 |  | Assmann, Aspect Weaving by Graph Rewriting |  |  |
 | |  | |  |
 |  | Heuzeroth, Reussner, A Meta-protocol and Type System for the Dynamic Coupling of Binary Components |  |  |
 | |  | |  |
 |  | Heuzeroth, Reussner, Dynamic Coupling of Binary Components and its Technical Support |  |  |
 | |  | |  |
 |  | Speck, Rashid, Pulvermüller, Chitchyan, Individual Software Development in Generative Programming |  |  |
 | |  | |  |
 |  | Pulvermüller, Aspekte in verteilten Umgebungen |  |  |
 | |  | |  |
 |  | Goos, Zimmermann, Verification of Compilers |  |  |
 | |  | |  |
 |  | Assmann, Ludwig, Introducing Connections into Classes with
Static Metaprogramming |  |  |
 | |  | |  |
 |  | Schoknecht, Spott, Liekweg, Riedmiller, Search Space Reduction for Strategy Learning in Sequential Decision Processes |  |  |
 | |  | |  |
 |  | Spott, Schoknecht, Riedmiller, Approaches for the integration of a priori knowledge into an autonomously learning control architecture |  |  |
 | |  | |  |
 |  | Gaul, Schumacher, Advanced Generator Techniques for Embedded Compilers |  |  |
 | |  | |  |
 |  | Genius, Uebersetzergesteuerte Datenumordnung durch zyklische Graphfaerbung |  |  |
 | |  | |  |
 |  | Genius, Eisenbiegler, Reduktion von Cachekonflikten durch eine Parametrisierte Speicherabbildung |  |  |
 | |  | |  |
 |  | Lindenmaier, Analyse von Profilinformationen für cachesensitives Befehlsanordnen |  |  |
 | |  | |  |
 |  | Heberle, Gaul, Zimmermann, Construction of Verified Compiler Front-Ends with Program-Checking |  |  |
 | |  | |  |
 |  | Spott, A theory of possibility distributions |  |  |
 | |  | |  |
 |  | Gaul, Riedmiller, Schoknecht, Spott, Fuzzy-Neuro-Controlled Verified Instruction Scheduler |  |  |
 | |  | |  |
 |  | Pulvermüller, Klaeren, Speck, Aspects in Distributed Environments |  |  |
 | |  | |  |
 |  | Genius, Assmann, Java and CoSy Technology for Embedded Systems: the JOSES Project |  |  |
 | |  | |  |
 |  | Trapp, Lindenmaier, Boesler, Documentation of the Intermediate Representation FIRM |  |  |
 | |  | |  |
| | |
 |  | 1998 |
 |  |
 |  | Genius, Trapp, Zimmermann, An Approach to improve Locality using Sandwich Types |  |  |
 | |  | |  |
 |  | Glesner, Many-Sorted Natural Semantics - Specification and Generation of the Semantic Analysis for Imperative and Object-Oriented Programming Languages |  |  |
 | |  | |  |
 |  | Glesner, Zimmermann, Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis |  |  |
 | |  | |  |
 |  | Geiß, The Sherlock-System - A Prototype for Many-Sorted Natural Semantics |  |  |
 | |  | |  |
 |  | Dold, Gaul, Vialard, Zimmermann, ASM-Based Mechanized Verification of Compiler Backends |  |  |
 | |  | |  |
 |  | Gaul, Heberle, Heuzeroth, Zimmermann, An ASM Specification of the Operational Semantics of MIS |  |  |
 | |  | |  |
 |  | Schoknecht, Spott, Riedmiller, Goos, Menzel, Selbständiges Lernen von Regelungen mit Fynesse |  |  |
 | |  | |  |
 |  | Gaul, Schumacher, Compiler Techniques for Fast Migration of Embedded Applications |  |  |
 | |  | |  |
 |  | Spott, Using classic approximation techniques for approximate reasoning |  |  |
 | |  | |  |
 |  | Genius, Behandlung von Kreuzinterferenz durch zyklische Graphfaerbung |  |  |
 | |  | |  |
 |  | Genius, Handling Cross Interferences by Cyclic Cache Line Coloring |  |  |
 | |  | |  |
 |  | Spott, Riedmiller, Improving a priori control knowledge by reinforcement learning |  |  |
 | |  | |  |
 |  | Heberle, Löwe, Trapp, Safe Reuse of Source to Intermediate Language Compilations |  |  |
 | |  | |  |
 |  | Gaul, Goerigk, Zimmermann, Correct Programs without Proof? On Checker-Based Program Verification |  |  |
 | |  | |  |
 |  | Goos, Vorlesungen über Informatik Band 4: Parallelität und nicht-analytische Lösungsverfahren |  |  |
 | |  | |  |
 |  | Dold, Gaul, Zimmermann, Mechanized Verification of Compiler Back-Ends |  |  |
 | |  | |  |
 |  | Goerigk, Zimmermann, Gaul, Heberle, Hoffmann, Praktikable Konstruktion korrekter Übersetzer |  |  |
 | |  | |  |
 |  | Boesler, Codeerzeugung aus Abhängigkeitsgraphen |  |  |
 | |  | |  |
 |  | Heuzeroth, Spezifikation und Verifikation von standardisierten Transformationen am Beispiel der imperativen Sprache IS |  |  |
 | |  | |  |
| | |
 |  | 1997 |
 |  |
 |  | Lindenmaier, Erfassung eines computerinternen
Modells von Altprodukten und Ermittlung der wirtschaftlichsten
Fraktionierungstiefe |  |  |
 | |  | |  |
 |  | Glesner, Zimmermann, Using Many-Sorted Inference Rules to Generate Semantic Analysis |  |  |
 | |  | |  |
 |  | Kolbe, Glesner, Many-Sorted Logic in a Learning Theorem Prover |  |  |
 | |  | |  |
 |  | Gaul, Goos, Heberle, Zimmermann, Zur Konstruktion verifizierter Übersetzer |  |  |
 | |  | |  |
 |  | Gaul, Goos, Heberle, Zimmermann, Goerigk, An Architecture for Verified Compiler Construction |  |  |
 | |  | |  |
 |  | Heuzeroth, Operator-basierte Programmierung - Operatoren zum Kombinieren von Komponenten und ihre Anforderungen an Reflexions-Schnittstellen |  |  |
 | |  | |  |
 |  | Goos, Spott, Weisbrod, Riedmiller, Interpretation und Adaption unscharfer Relationen innerhalb einer hybriden selbstlernenden Steuerungsarchitektur |  |  |
 | |  | |  |
 |  | Goos, Sather-K - The Language |  |  |
 | |  | |  |
 |  | Gaul, Zimmermann, On the Construction of Correct Compiler Back-Ends: An ASM Approach |  |  |
 | |  | |  |
 |  | Riedmiller, Spott, Weisbrod, First Results on the Application of the Fynesse Control Architecture |  |  |
 | |  | |  |
 |  | Goos, Zimmermann, D2: Programmiersprachen |  |  |
 | |  | |  |
 |  | Goos, Vorlesungen über Informatik Band 3: Berechenbarkeit, formale Sprachen und Spezifikationen |  |  |
 | |  | |  |
 |  | Bolten, Spott, Fuzzy Rule Extraction from Fuzzy Relations |  |  |
 | |  | |  |
| | |
 |  | 1996 |
 |  |
 |  | Glesner, Mehrsortige Logik in einem Lernenden Beweiser |  |  |
 | |  | |  |
 |  | Gaul, Simple Code Generation for MIS to DEC-Alpha processor |  |  |
 | |  | |  |
 |  | Goerigk, Dold, Gaul, Goos, Heberle, von Henke, Hoffmann, Langmaack, Zimmermann, Compiler Correctness and Implementation Verification: The Verifix Approach |  |  |
 | |  | |  |
 |  | Spott, Weisbrod, A new approach to the adaptation of fuzzy relations |  |  |
 | |  | |  |
| | |
 |  | 1995 |
 |  |
 |  | Glesner, Koller, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases |  |  |
 | |  | |  |
| | |
 |  | 1994 |
 |  |
 |  | Goos, Algorithmentechnik (Vorlesungsskript) |  |  |
 | |  | |  |
 |  | Glesner, Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases (Master's Thesis) |  |  |
 | |  | |  |
 |  | Spott, Unscharfes Schließen mit komplexen Wissensbasen |  |  |
 | |  | |  |
| | |
 |  | 1992 |
 |  |
 |  | Wagner, Polynomringe über Körpertürmen |  |  |
 | |  | |  |
| | |
 |  | 1984 |
 |  |
 |  | Goos, Waite, Compiler Construction |  |  |
 | |  | |  |
| | | |