@TechReport{AIB-1987-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1986",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-01"}
@TechReport{AIB-1987-02,
    author = "David de Frutos Escrig and  Klaus Indermark",
    title = "Equivalence Relations of Non-Deterministic Ianov-Schemes",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-02"}
@TechReport{AIB-1987-03,
    author = "Manfred Nagl",
    title = "A Software Development Environment based on Graph Technology",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-03"}
@TechReport{AIB-1987-04,
    author = "Claus Lewerentz and  Manfred Nagl and  Bernhard Westfechtel",
    title = "On Integration Mechanisms within a Graph-Based Software Development Environment",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-04"}
@TechReport{AIB-1987-05,
    author = "Reinhard Rinn",
    title = "Über Eingabeanomalien bei verschiedenen Inferenzmodellen",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-05"}
@TechReport{AIB-1987-06,
    author = "Werner Damm and  Gert Döhmen",
    title = "Specifying Distributed Computer Architectures in AADL*",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-06"}
@TechReport{AIB-1987-07,
    author = "Gregor Engels and  Claus Lewerentz and  Wilhelm Schäfer",
    title = "Graph Grammar Engineering: A Software Specification Method",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-07"}
@TechReport{AIB-1987-08,
    author = "Manfred Nagl",
    title = "Set Theoretic Approaches to Graph Grammars",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-08"}
@TechReport{AIB-1987-09,
    author = "Claus Lewerentz and  Andreas Schürr",
    title = "Experiences with a Database System for Software Documents",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-09"}
@TechReport{AIB-1987-10,
    author = "Herbert Klaeren and  Klaus Indermark",
    title = "A New Implementation Technique for Recursive Function Definitions",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-10"}
@TechReport{AIB-1987-11,
    author = "Rita Loogen",
    title = "Design of a Parallel Programmable Graph Reduction Machine with Distributed Memory",
    institution = "RWTH Aachen",
    year = "1987",
    number = "AIB-1987-11"}
@TechReport{BoerstlerMoenckeWilhelm87,
  author =    {J\"urgen Bo\"rstler and Ulrich M\"oncke and Reinhard Wilhelm},
  title =     "Table compression for tree automata",
  institution = "RWTH Aachen",
  year =      "1987",
  number =    "AIB-12-1987",
  url =       "http://aib.informatik.rwth-aachen.de/1987/1987-12.ps.gz",
}
@TechReport{AIB-1988-01,
    author = "Gabriele Esser and  Johannes Rückert and  Frank Wagner",
    title = "Gesellschaftliche Aspekte der Informatik",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-01"}
@TechReport{AIB-1988-02,
    author = "Peter Martini and  Otto Spaniol",
    title = "Token-Passing in High-Speed Backbone Networks for Campus-Wide Environments",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-02"}
@TechReport{AIB-1988-03,
    author = "Thomas Welzel",
    title = "Simulation of a Multiple Token Ring Backbone",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-03"}
@TechReport{AIB-1988-04,
    author = "Peter Martini",
    title = "Performance Comparison for HSLAN Media Access Protocols",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-04"}
@TechReport{AIB-1988-05,
    author = "Peter Martini",
    title = "Performance Analysis of Multiple Token Rings",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-05"}
@TechReport{AIB-1988-06,
    author = "Andreas Mann and  Johannes Rückert and  Otto Spaniol",
    title = "Datenfunknetze",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-06"}
@TechReport{AIB-1988-07,
    author = "Andreas Mann and  Johannes Rückert",
    title = "Packet Radio Networks for Data Exchange",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-07"}
@TechReport{AIB-1988-08,
    author = "Andreas Mann and  Johannes Rückert",
    title = "Concurrent Slot Assignment Protocol for Packet Radio Networks",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-08"}
@TechReport{AIB-1988-09,
    author = "W. Kremer and  F. Reichert and  J. Rückert and  A. Mann",
    title = "Entwurf einer Netzwerktopologie für ein Mobilfunknetz zur Unterstützung des öffentlichen Straßenverkehrs",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-09"}
@TechReport{AIB-1988-10,
    author = "Kai Jakobs",
    title = "Towards User-Friendly Networking",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-10"}
@TechReport{AIB-1988-11,
    author = "Kai Jakobs",
    title = "The Directory - Evolution of a Standard",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-11"}
@TechReport{AIB-1988-12,
    author = "Kai Jakobs",
    title = "Directory Services in Distributed Systems - A Survey",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-12"}
@TechReport{AIB-1988-13,
    author = "Martine Schümmer",
    title = "RS-511, a Protocol for the Plant Floor",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-13"}
@TechReport{AIB-1988-14,
    author = "U. Quernheim",
    title = "Satellite Communication Protocols - A Performance Comparison Considering On-Board Processing",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-14"}
@TechReport{AIB-1988-15,
    author = "Peter Martini and  Otto Spaniol and  Thomas Welzel",
    title = "File Transfer in High Speed Token Ring Networks: Performance Evaluation by Approximate Analysis and Simulation",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-15"}
@TechReport{AIB-1988-16,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1987",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-16"}
@TechReport{AIB-1988-17,
    author = "Wolfgang Thomas",
    title = "Automata on Infinite Objects",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-17"}
@TechReport{AIB-1988-18,
    author = "Michael Sonnenschein",
    title = "On Petri Nets and Data Flow Graphs",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-18"}
@TechReport{AIB-1988-19,
    author = "Heiko Vogler",
    title = "Functional Distribution of the Contextual Analysis in Block-Structured Programming Languages: A Case Study of Tree Transducers",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-19"}
@TechReport{AIB-1988-20,
    author = "Thomas Welzel",
    title = "Einsatz des Simulationswerkzeuges QNAP2 zur Leistungsbewertung von Kommunikationsprotokollen",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-20"}
@TechReport{AIB-1988-21,
    author = "Th. Janning and  C. Lewerentz",
    title = "Integrated Project Team Management in a Software Development Environment",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-21"}
@TechReport{AIB-1988-22,
    author = "Joost Engelfriet and  Heiko Vogler",
    title = "Modular Tree Transducers",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-22"}
@TechReport{AIB-1988-23,
    author = "Wolfgang Thomas",
    title = "Automata and Quantifier Hierarchies",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-23"}
@TechReport{AIB-1988-24,
    author = "Uschi Heuter",
    title = "Generalized Definite Tree Languages",
    institution = "RWTH Aachen",
    year = "1988",
    number = "AIB-1988-24"}
@TechReport{AIB-1989-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1988",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-01"}
@TechReport{AIB-1989-02,
    author = "G. Esser and  J. Rückert and  F. Wagner (Hrsg.)",
    title = "Gesellschaftliche Aspekte der Informatik",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-02"}
@TechReport{AIB-1989-03,
    author = "Heiko Vogler",
    title = "Bottom-Up Computation of Primitive Recursive Tree Functions",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-03"}
@TechReport{AIB-1989-04,
    author = "Andy Schürr",
    title = "Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-04"}
@TechReport{Boerstler89,
  author =    {J\"urgen B\"orstler},
  title =     "Reuse and {S}oftware {D}evelopment - {P}roblems, {S}olutions, and {B}ibliography (in {G}erman)",
  institution = "RWTH Aachen",
  year =      "1989",
  number =    "AIB-05-1989",
  url =       "http://aib.informatik.rwth-aachen.de/1989/1989-05.ps.gz",
}
@TechReport{AIB-1989-06,
    author = "Kai Jakobs",
    title = "OSI - An Appropriate Basis for Group Communication?",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-06"}
@TechReport{AIB-1989-07,
    author = "Kai Jakobs",
    title = "ISO's Directory Proposal - Evolution, Current Status and Future Problems",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-07"}
@TechReport{AIB-1989-08,
    author = "Bernhard Westfechtel",
    title = "Extension of a Graph Storage for Software Documents with Primitives for Undo/Redo and Revision Control",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-08"}
@TechReport{AIB-1989-09,
    author = "Peter Martini",
    title = "High Speed Local Area Networks - A Tutorial",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-09"}
@TechReport{AIB-1989-10,
    author = "P. Davids and  Th. Welzel",
    title = "Performance Analysis of DQDB Based on Simulation",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-10"}
@TechReport{AIB-1989-11,
    author = "Manfred Nagl (Ed.)",
    title = "Abstracts of Talks presented at the WG '89 15th International Workshop on Graphtheoretic Concepts in Computer Science",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-11"}
@TechReport{AIB-1989-12,
    author = "Peter Martini",
    title = "The DQDB Protocol - Is it Playing the Game?",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-12"}
@TechReport{AIB-1989-13,
    author = "Martine Schümmer",
    title = "CNC/DNC Communication with MAP",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-13"}
@TechReport{AIB-1989-14,
    author = "Martine Schümmer",
    title = "Local Area Networks for Manufactoring Environments with hard Real-Time Requirements",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-14"}
@TechReport{AIB-1989-15,
    author = "M. Schümmer and  Th. Welzel and  P. Martini",
    title = "Integration of Field Bus and MAP Networks - Hierarchical Communication Systems in Production Environments",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-15"}
@TechReport{AIB-1989-16,
    author = "G. Vossen and  K.-U. Witt",
    title = "SUXESS: Towards a Sound Unification of Extensions of the Relational Data Model",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-16"}
@TechReport{AIB-1989-17,
    author = "J. Derissen and  P. Hruschka and  M.v.d. Beeck and  Th. Janning and  M. Nagl",
    title = "Integrating Structured Analysis and Information Modelling",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-17"}
@TechReport{Maassen89,
  author =    "Andreas Maassen",
  title =     "Programming with {H}igher {O}rder {F}unctions",
  institution = "RWTH Aachen",
  year =      "1989",
  number =    "AIB-18-1989",
  url =       "http://aib.informatik.rwth-aachen.de/1989/1989-18.ps.gz",
}
@TechReport{AIB-1989-19,
    author = "Mario Rodriguez-Artalejo and  Heiko Vogler",
    title = "A Narrowing Machine for Syntax Directed BABEL",
    institution = "RWTH Aachen",
    year = "1989",
    number = "AIB-1989-19"}
@TechReport{KuchenLoogenMorenoNavarroRodriguezArtalejo89,
  author =    {Kuchen, H. and Loogen, R. and Moreno Navarro, J.J. and Rodriguez Artalejo, M.},
  title =     "Graph-based {I}mplementation of a {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1989",
  number =    "AIB-20-1989",
  url =       "http://aib.informatik.rwth-aachen.de/1989/1989-20.ps.gz",
}
@TechReport{AIB-1990-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1989",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-01"}
@TechReport{AIB-1990-02,
    author = "Vera Jansen and  Andreas Potthoff and  Wolfgang Thomas and  Udo Wermuth",
    title = "A Short Guide to the AMORE System (Computing Automata, MOnoids and Regular Expressions)",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-02"}
@TechReport{AIB-1990-03,
    author = "Jerzy Skurczynski",
    title = "On Three Hierarchies of Weak SkS Formulas",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-03"}
@TechReport{Loogen90,
  author =    "Rita Loogen",
  title =     "Stack-based {I}mplementation of {N}arrowing",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-04-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-04.ps.gz",
}
@TechReport{KuchenWagener90,
  author =    "Herbert Kuchen and Andreas Wagener",
  title =     "Comparison of {D}ynamic {L}oad {B}alancing {S}trategies",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-05-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-05.ps.gz",
}
@TechReport{AIB-1990-06,
    author = "Kai Jakobs and  Frank Reichert",
    title = "Directory Services for Mobile Communication",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-06"}
@TechReport{AIB-1990-07,
    author = "Kai Jakobs",
    title = "What's Beyond the Interface - OSI Networks to Support Cooperative Work",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-07"}
@TechReport{AIB-1990-08,
    author = "Kai Jakobs",
    title = "Directory Names and Schema - An Evaluation",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-08"}
@TechReport{AIB-1990-09,
    author = "Ulrich Quernheim and  Dieter Kreuer",
    title = "Das CCITT - Signalisierungssystem Nr. 7 auf Satellitenstrecken; Simulation der Zeichengabestrecke",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-09"}
@TechReport{KuchenLoogenMorenoNavarroRodriguezArtalejo90,
  author =    {Kuchen, H. and Loogen, R. and Moreno Navarro, J.J. and Rodriguez Artalejo, M.},
  title =     "Lazy {N}arrowing in a {G}raph {M}achine",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-11-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-11.ps.gz",
}
@TechReport{AIB-1990-12,
    author = "Kai Jakobs and  Josef Kaltwasser and  Frank Reichert and  Otto Spaniol",
    title = "Der Computer fährt mit",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-12"}
@TechReport{AIB-1990-13,
    author = "Rudolf Mathar and  Andreas Mann",
    title = "Analyzing a Distributed Slot Assignment Protocol by Markov Chains",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-13"}
@TechReport{Maassen90,
  author =    "Andreas Maassen",
  title =     "Compilerentwicklung in {M}iranda - ein {P}raktikum in funktionaler {P}rogrammierung",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-14-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-14.ps.gz",
}
@TechReport{AIB-1990-15,
    author = "Manfred Nagl and  Andreas Schürr",
    title = "A Specification Environment for Graph Grammars",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-15"}
@TechReport{Schuerr90,
  author =    {Andy Sch\"urr},
  title =     "{PROGRESS}: {A} {VHL}-{L}anguage {B}ased on {G}raph {G}rammars",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-16-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-16.ps.gz",
}
@TechReport{AIB-1990-17,
    author = "Marita Möller",
    title = "Ein Ebenenmodell wissensbasierter Konsultationen - Unterstützung für Wissensakquisition und Erklärungsfähigkeit",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-17"}
@TechReport{AIB-1990-18,
    author = "Eric Kowalewski",
    title = "Entwurf und Interpretation einer Sprache zur Beschreibung von Konsultationsphasen in Expertensystemen",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-18"}
@TechReport{MallenDeFrutosEscrig90,
  author =   {Ortega Mallen, Y. and de Frutos Escrig, D.},
  title =     "A Complete {P}roof {S}ystem for {T}imed {O}bservations",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-20-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-20.ps.gz",
}
@TechReport{AIB-1990-21,
    author = "Manfred Nagl",
    title = "Modelling of Software Architectures: Importance, Notions, Experiences",
    institution = "RWTH Aachen",
    year = "1990",
    number = "AIB-1990-21"}
@TechReport{FassbenderVogler90,
  author =    "Heinz Fassbender and Heiko Vogler",
  title =     "A {C}all-by-need {I}mplementation of {S}yntax {D}irected {F}unctional {P}rogramming",
  institution = "RWTH Aachen",
  year =      "1990",
  number =    "AIB-22-1990",
  url =       "http://aib.informatik.rwth-aachen.de/1990/1990-22.ps.gz",
}
@TechReport{Geiler91,
  author =    "Guenther Geiler (ed.) Fachgruppe Informatik",
  title =     "Jahresbericht 1990",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-01-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-01.ps.gz",
}
@TechReport{SteffenIngolfsdottir91,
  author =    "Bernhard Steffen and Anna Ingolfsdottir",
  title =     "Characteristic {F}ormulae for {P}rocesses with {D}ivergence",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-03-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-03.ps.gz",
}
@TechReport{Portz91,
  author =    "Michael Portz",
  title =     "A new class of cryptosystems based on interconnection networks",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-04-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-04.ps.gz",
}
@TechReport{KuchenGeiler91,
  author =    "Herbert Kuchen and Guenther Geiler",
  title =     "Distributed {A}pplicative {A}rrays",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-05-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-05.ps.gz",
}
@TechReport{AIB-1991-06,
    author = "Ludwig Staiger",
    title = "Kolmogorov Complexity and Hausdorff Dimension",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-06"}
@TechReport{AIB-1991-07,
    author = "Ludwig Staiger",
    title = "Syntactic Congruences for w-languages",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-07"}
@TechReport{AIB-1991-09,
    author = "Eila Kuikka",
    title = "A Proposal for a Syntax-Directed Text Processing System",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-09"}
@TechReport{GladitzFassbenderVogler91,
  author =    "Katia Gladitz and Heinz Fassbender and Heiko Vogler",
  title =     "Compiler-based {I}mplementation of {S}yntax-{D}irected {F}unctional {P}rogramming",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-10-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-10.ps.gz",
}
@TechReport{LoogenWinkler91,
  author =    "Rita Loogen and Stephan Winkler",
  title =     "Dynamic {D}etection of {D}eterminism in {F}unctional {L}ogic {L}anguages",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-11-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-11.ps.gz",
}
@TechReport{AIB-1991-12,
    author = "K. Indermark and  M. Rodriguez Artalejo (Eds.)",
    title = "Granada Workshop on the Integration of Functional and Logic Programming",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-12"}
@TechReport{AIB-1991-13,
    author = "Rolf Hager and  Wolfgang Kremer",
    title = "The Adaptive Priority Scheduler: A More Fair Priority Service Discipline",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-13"}
@TechReport{AIB-1991-14,
    author = "Andreas Fasbender and  Wolfgang Kremer",
    title = "A New Approximation Algorithm for Tandem Networks with Priority Nodes",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-14"}
@TechReport{BoerstlerZuendorf91,
  author =    {J\"urgen B\"orstler and Albert Z\"undorf},
  title =     "Revisiting extensions to {M}odula-2 to support reusability",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-15-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-15.ps.gz",
}
@TechReport{BoerstlerJanning91,
  author =    {J\"urgen B\"orstler and Thorsten Janning},
  title =     "Bridging the gap between {R}equirements {A}nalysis and {D}esign",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-16-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-16.ps.gz",
}
@TechReport{ZuendorfSchuerr91,
  author =    {Albert Z\"undorf and Dr. Andreas Sch\"urr},
  title =     "Nondeterministic {C}ontrol {S}tructures for {G}raph {R}ewriting {S}ystems",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-17-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-17.ps.gz",
}
@TechReport{AIB-1991-18,
    author = "Matthias Jarke and  John Mylopoulos and  Joachim W. Schmidt and  Yannis Vassiliou",
    title = "DAIDA: An Environment for Evolving Information Systems",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-18"}
@TechReport{JeusfeldJarke91,
  author =    "Manfred Jeusfeld and Matthias Jarke",
  title =     "From {R}elational to {O}bject-{O}riented {I}ntegrity {S}implification",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-19-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-19.ps.gz",
}
@TechReport{HogenKindlerLoogen91,
  author =    "Guido Hogen and Andrea Kindler and Rita Loogen",
  title =     "Automatic {P}arallelization of {L}azy {F}unctional {P}rograms",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-20-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-20.ps.gz",
}
@TechReport{AIB-1991-21,
    author = "Prof. Dr. rer. nat. Otto Spaniol",
    title = "ODP (Open Distributed Processing): Yet another Viewpoint",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-21"}
@TechReport{KuchenLueckingStoltze91,
  author =    {Herbert Kuchen and Friedrich L\"ucking and Holger Stoltze},
  title =     "The {T}opology {D}escription {L}anguage {TDL}",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-22-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-22.ps.gz",
}
@TechReport{GrafSteffen91,
  author =    "S. Graf and B. Steffen",
  title =     "Compositional {M}inimization of {F}inite {S}tate {S}ystems",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-23-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-23.ps.gz",
}
@TechReport{CleavelandParrowSteffen91,
  author =    "R. Cleaveland and J. Parrow and B. Steffen",
  title =     "The {C}oncurrency {W}orkbench: {A} {S}emantics {B}ased {T}ool for the {V}erification of {C}oncurrent {S}ystems",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-24-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-24.ps.gz",
}
@TechReport{AIB-1991-25,
    author = "Rudolf Mathar and  Jürgen Mattfeldt",
    title = "Optimal Transmission Ranges for Mobile Communication in Linear Multihop Packet Radio Networks",
    institution = "RWTH Aachen",
    year = "1991",
    number = "AIB-1991-25"}
@TechReport{JeusfeldStaudt91,
  author =    "Manfred Jeusfeld and Martin Staudt",
  title =     "Query {O}ptimization in {D}eductive {O}bject {B}ases",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-26-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-26.ps.gz",
}
@TechReport{KnoopSteffen91,
  author =    "Jens Knoop and Bernhard Steffen",
  title =     "The {I}nterprocedural {C}oincidence {T}heorem",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-27-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-27.ps.gz",
}
@TechReport{KnoopSteffen91,
  author =    "Jens Knoop and Bernhard Steffen",
  title =     "Unifying {S}trength {R}eduction and {S}emantic {C}ode {M}otion",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-28-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-28.ps.gz",
}
@TechReport{Margaria91,
  author =    "Tiziana Margaria",
  title =     "First-{O}rder theories for the verification of complex {FSM}s",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-30-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-30.ps.gz",
}
@TechReport{Steffen91,
  author =    "Bernhard Steffen",
  title =     "Generating {D}ata {F}low {A}nalysis {A}lgorithms from {M}odal {S}pecifications",
  institution = "RWTH Aachen",
  year =      "1991",
  number =    "AIB-31-1991",
  url =       "http://aib.informatik.rwth-aachen.de/1991/1991-31.ps.gz",
}
@TechReport{Eherer92,
  author =    "Stefan Eherer (ed.) Fachgruppe Informatik",
  title =     "Jahresbericht 1991",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-01-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-01.ps.gz",
}
@TechReport{AIB-1992-02,
    author = "Bernhard Westfechtel",
    title = "Basismechanismen zur Datenverwaltung in strukturbezogenen Hypertextsystemen",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-02"}
@TechReport{SmolkaSteffen92,
  author =    "S. A. Smolka and B. Steffen",
  title =     "Priority as {E}xtremal {P}robability",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-04-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-04.ps.gz",
}
@TechReport{AIB-1992-05,
    author = "Matthias Jarke and  Carlos Maltzahn and  Thomas Rose",
    title = "Sharing Processes: Team Coordination in Design Repositories",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-05"}
@TechReport{BurkartSteffen92,
  author =    "Olaf Burkart and Bernhard Steffen",
  title =     "Model {C}hecking for {C}ontext-{F}ree {P}rocesses",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-06-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-06.ps.gz",
}
@TechReport{AIB-1992-07,
    author = "Matthias Jarke and  Klaus Pohl",
    title = "Information Systems Quality and Quality Information Systems",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-07"}
@TechReport{AIB-1992-08,
    author = "Rudolf Mathar and  Jürgen Mattfeldt",
    title = "Analyzing Routing Strategy NFP in Multihop Packet Radio Networks on a Line",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-08"}
@TechReport{AIB-1992-09,
    author = "Alfons Kemper and  Guido Moerkotte",
    title = "Grundlagen objektorientierter Datenbanksysteme",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-09"}
@TechReport{JarkeJeusfeldMiethsamGocek92,
  author =    "Matthias Jarke and Manfred Jeusfeld and Andreas Miethsam and Michael Gocek",
  title =     "Towards a logic-based reconstruction of software configuration management",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-10-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-10.ps.gz",
}
@TechReport{Hans92,
  author =    "Werner Hans",
  title =     "A {C}omplete {I}ndexing {S}cheme for {WAM}-based {A}bstract {M}achines",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-11-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-11.ps.gz",
}
@TechReport{HansLoogenWinkler92,
  author =    "Werner Hans and Rita Loogen and Stephan Winkler",
  title =     "On the {I}nteraction of {L}azy {E}valuation and {B}acktracking",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-12-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-12.ps.gz",
}
@TechReport{AIB-1992-13,
    author = "Matthias Jarke and  Thomas Rose",
    title = "Specification Management with CAD",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-13"}
@TechReport{NollVogler92,
  author =    "Thomas Noll and Heiko Vogler",
  title =     "Top-down {P}arsing with {S}imultaneous {E}valuation on {N}oncircular {A}ttribute {G}rammars",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-14-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-14.ps.gz",
}
@TechReport{SchuerrWestfechtel92,
  author =    {Andy Sch\"urr and Bernhard Westfechtel},
  title =     "Graphgrammatiken und {G}raphersetzungssysteme",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-15-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-15.ps.gz",
}
@TechReport{AIB-1992-16,
    author = "Graduiertenkolleg Informatik und Technik (Hrsg.)",
    title = "Forschungsprojekte des Graduiertenkollegs Informatik und Technik",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-16"}
@TechReport{Jarke92,
  author =    "Matthias Jarke",
  title =     "Concept{B}ase {V}3.1 {U}ser {M}anual",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-17-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-17.ps.gz",
}
@TechReport{AIB-1992-18,
    author = "Clarence A. Ellis and  Matthias Jarke (Eds.)",
    title = "Distributed Cooperation in Integrated Information Systems - Proceedings of the Third International Workshop on Intelligent and Cooperative Information Systems",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-18"}
@TechReport{AIB-1992-19-00,
    author = "H. Kuchen and  R. Loogen (eds.)",
    title = "Proceedings of the 4th Int. Workshop on the Parallel Implementation of Functional Languages",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-00"}
@TechReport{AIB-1992-19-01,
    author = "G. Hogen and  R. Loogen",
    title = "PASTEL - A Parallel Stack-Based Implementation of Eager Functional Programs with Lazy Data Structures (Extended Abstract)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-01"}
@TechReport{AIB-1992-19-02,
    author = "H. Kuchen and  K. Gladitz",
    title = "Implementing Bags on a Shared Memory MIMD-Machine",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-02"}
@TechReport{AIB-1992-19-03,
    author = "C. Rathsack and  S.B. Scholz",
    title = "LISA - A Lazy Interpreter for a Full-Fledged Lambda-Calculus",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-03"}
@TechReport{AIB-1992-19-04,
    author = "T.A. Bratvold",
    title = "Determining Useful Parallelism in Higher Order Functions",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-04"}
@TechReport{AIB-1992-19-05,
    author = "S. Kahrs",
    title = "Polymorphic Type Checking by Interpretation of Code",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-05"}
@TechReport{AIB-1992-19-06,
    author = "M. Chakravarty and  M. Köhler",
    title = "Equational Constraints, Residuation, and the Parallel JUMP-Machine",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-06"}
@TechReport{AIB-1992-19-07,
    author = "J. Seward",
    title = "Polymorphic Strictness Analysis using Frontiers (Draft Version)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-07"}
@TechReport{AIB-1992-19-08,
    author = "D. Gärtner and  A. Kimms and  W. Kluge",
    title = "pi-Red^+ - A Compiling Graph-Reduction System for a Full Fledged Lambda-Calculus",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-08"}
@TechReport{AIB-1992-19-09,
    author = "D. Howe and  G. Burn",
    title = "Experiments with strict STG code",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-09"}
@TechReport{AIB-1992-19-10,
    author = "J. Glauert",
    title = "Parallel Implementation of Functional Languages Using Small Processes",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-10"}
@TechReport{AIB-1992-19-11,
    author = "M. Joy and  T. Axford",
    title = "A Parallel Graph Reduction Machine",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-11"}
@TechReport{AIB-1992-19-12,
    author = "A. Bennett and  P. Kelly",
    title = "Simulation of Multicache Parallel Reduction",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-12"}
@TechReport{AIB-1992-19-13,
    author = "K. Langendoen and  D.J. Agterkamp",
    title = "Cache Behaviour of Lazy Functional Programs (Working Paper)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-13"}
@TechReport{AIB-1992-19-14,
    author = "K. Hammond and  S. Peyton Jones",
    title = "Profiling scheduling strategies on the GRIP parallel reducer",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-14"}
@TechReport{AIB-1992-19-15,
    author = "S. Mintchev",
    title = "Using Strictness Information in the STG-machine",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-15"}
@TechReport{AIB-1992-19-16,
    author = "D. Rushall",
    title = "An Attribute Grammar Evaluator in Haskell",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-16"}
@TechReport{AIB-1992-19-17,
    author = "J. Wild and  H. Glaser and  P. Hartel",
    title = "Statistics on storage management in a lazy functional language implementation",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-17"}
@TechReport{AIB-1992-19-18,
    author = "W.S. Martins",
    title = "Parallel Implementations of Functional Languages",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-18"}
@TechReport{AIB-1992-19-19,
    author = "D. Lester",
    title = "Distributed Garbage Collection of Cyclic Structures (Draft version)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-19"}
@TechReport{AIB-1992-19-20,
    author = "J.C. Glas and  R.F.H. Hofman and  W.G. Vree",
    title = "Parallelization of Branch-and-Bound Algorithms in a Functional Programming Environment",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-20"}
@TechReport{AIB-1992-19-21,
    author = "S. Hwang and  D. Rushall",
    title = "The nu-STG machine: a parallelized Spineless Tagless Graph Reduction Machine in a distributed memory architecture (Draft version)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-21"}
@TechReport{AIB-1992-19-22,
    author = "G. Burn and  D. Le Metayer",
    title = "Cps-Translation and the Correctness of Optimising Compilers",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-22"}
@TechReport{AIB-1992-19-23,
    author = "S.L. Peyton Jones and  P. Wadler",
    title = "Imperative functional programming (Brief summary)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-23"}
@TechReport{AIB-1992-19-24,
    author = "W. Damm and  F. Liu and  Th. Peikenkamp",
    title = "Evaluation and Parallelization of Functions in Functional + Logic Languages (abstract)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-24"}
@TechReport{AIB-1992-19-25,
    author = "M. Kesseler",
    title = "Communication Issues Regarding Parallel Functional Graph Rewriting",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-25"}
@TechReport{AIB-1992-19-26,
    author = "Th. Peikenkamp",
    title = "Charakterizing and representing neededness in functional loginc languages (abstract)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-26"}
@TechReport{AIB-1992-19-27,
    author = "H. Doerr",
    title = "Monitoring with Graph-Grammars as formal operational Models",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-27"}
@TechReport{AIB-1992-19-28,
    author = "J. van Groningen",
    title = "Some implementation aspects of Concurrent Clean on distributed memory architectures",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-28"}
@TechReport{AIB-1992-19-29,
    author = "G. Ostheimer",
    title = "Load Bounding for Implicit Parallelism (abstract)",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-19-29"}
@TechReport{KuchenLopezFraguasMorenoNavarroRodriguezArtalejo92,
  author =    {Kuchen, H. and Lopez Fraguas, F.J. and Moreno Navarro, J.J. and Rodriguez 
               Artalejo, M.},
  title =     "Implementing {D}isequality in a {L}azy {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-20-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-20.ps.gz",
}
@TechReport{KuchenLopezFraguas92,
  author =    {Kuchen, H. and Lopez Fraguas, F.J.},
  title =     "Result {D}irected {C}omputing in a {F}unctional {L}ogic {L}anguage",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-21-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-21.ps.gz",
}
@TechReport{KuchenMorenoNavarroHermenegildo92,
  author =    {Kuchen, H. and Moreno Navarro, J.J. and Hermenegildo, M.V.},
  title =     "Independent {AND}-{P}arallel {N}arrowing",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-22-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-22.ps.gz",
}
@TechReport{MargariaSteffen92,
  author =    "T. Margaria and B. Steffen",
  title =     "Distinguishing {F}ormulas for {F}ree",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-23-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-23.ps.gz",
}
@TechReport{Pohl92,
  author =    "Klaus Pohl",
  title =     "The {T}hree {D}imensions of {R}equirements {E}ngineering",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-24-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-24.ps.gz",
}
@TechReport{AIB-1992-25,
    author = "R. Stainov",
    title = "A Dynamic Configuration Facility for Multimedia Communications",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-25"}
@TechReport{AIB-1992-26,
    author = "Michael von der Beeck",
    title = "Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-26"}
@TechReport{HansWinkler92,
  author =    "Werner Hans and Stephan Winkler",
  title =     "Aliasing and {G}roundness {A}nalysis of {L}ogic {P}rograms through {A}bstract {I}nterpretation and its {S}afety",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-27-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-27.ps.gz",
}
@TechReport{AIB-1992-28,
    author = "Gerhard Steinke and  Matthias Jarke",
    title = "Support for Security Modeling in Information Systems Design",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-28"}
@TechReport{Schinzel92,
  author =    "B. Schinzel",
  title =     "Warum {F}rauenforschung in {N}aturwissenschaft und {T}echnik",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-29-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-29.ps.gz",
}
@TechReport{KemperMoerkottePeithner92,
  author =    "A. Kemper and G. Moerkotte and K. Peithner",
  title =     "Object-{O}rientation {A}xiomatised by {D}ynamic {L}ogic",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-30-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-30.ps.gz",
}
@TechReport{AIB-1992-32,
    author = "Bernd Heinrichs and  Kai Jakobs",
    title = "Timer Handling in High-Performance Transport Systems",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-32"}
@TechReport{AIB-1992-33,
    author = "B. Heinrichs and  K. Jakobs and  K. Lenßen and  W. Reinhardt and  A. Spinner",
    title = "Euro-Bridge: Communication Services for Multimedia Applications",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-33"}
@TechReport{GerlhofKemperKilgerMoerkotte92,
  author =    "Carsten Gerlhof and Alfons Kemper and Christoph Kilger and Guido Moerkotte",
  title =     "Partition-{B}ased {C}lustering in {O}bject {B}ases: {F}rom {T}heory to {P}ractice",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-34-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-34.ps.gz",
}
@TechReport{Boerstler92,
  author =    {J\"urgen B\"orstler},
  title =     "Feature-{O}riented {C}lassification and {R}euse in {IPSEN}",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-35-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-35.ps.gz",
}
@TechReport{JarkeBubenkoRollandSutcliffeVassiliou92,
  author =    "Matthias Jarke and Janis Bubenko and Colette Rolland and Alistair Sutcliffe and 
           Yannis Vassiliou",
  title =     "Theories {U}nderlying {R}equirements {E}ngineering: {A}n {O}verview of {NATURE} at {G}enesis",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-36-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-36.ps.gz",
}
@TechReport{AIB-1992-37,
    author = "K. Pohl and  M. Jarke",
    title = "Quality Information Systems: Repository Support for Evolving Process Models",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-37"}
@TechReport{Zuendorf92,
  author =    "Albert Zuendorf",
  title =     "Implementation of the imperative / rule based language {PROGRES}",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-38-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-38.ps.gz",
}
@TechReport{Koch92,
  author =    "Patrik Koch",
  title =     "Intelligentes {B}acktracking bei der {A}uswertung funktional-logischer {P}rogramme",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-39-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-39.ps.gz",
}
@TechReport{AIB-1992-40,
    author = "Rudolf Mathar and  Jürgen Mattfeldt",
    title = "Channel Assignment in Cellular Radio Networks",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-40"}
@TechReport{AIB-1992-41,
    author = "Gerhard Friedrich and  Wolfgang Neidl",
    title = "Constructive Utility in Model-Based Diagnosis Repair Systems",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-41"}
@TechReport{AIB-1992-42,
    author = "P. S. Chen and  R. Hennicker and  M. Jarke",
    title = "On the Retrieval of Reusable Software Components",
    institution = "RWTH Aachen",
    year = "1992",
    number = "AIB-1992-42"}
@TechReport{HansWinkler92,
  author =    "Werner Hans and Stephan Winkler",
  title =     "Abstract {I}nterpretation of {F}unctional {L}ogic {L}anguages",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-43-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-43.ps.gz",
}
@TechReport{KieselSchuerrWestfechtel92,
  author =    {N. Kiesel and A. Sch\"urr and B. Westfechtel},
  title =     "Design and {E}valuation of {GRAS}, a {G}raph-{O}riented {D}atabase {S}ystem for {E}ngineering {A}pplications",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-44-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-44.ps.gz",
}
@TechReport{AIB-1993-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1992",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-01"}
@TechReport{AIB-1993-02,
    author = "Patrick Shicheng Chen",
    title = "On Inference Rules of Logic-Based Information Retrieval Systems",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-02"}
@TechReport{HogenLoogen93,
  author =    "Guido Hogen and Rita Loogen",
  title =     "A {N}ew {S}tack {T}echnique for the {M}anagement of {R}untime {S}tructures in {D}istributed {E}nvironments",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-03-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-03.ps.gz",
}
@TechReport{Zuendorf93,
  author =    "Albert Zuendorf",
  title =     "A {H}euristic for the {S}ubgraph {I}somorphism {P}roblem in {E}xecuting {PROGRES}",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-05-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-05.ps.gz",
}
@TechReport{KemperKossmann93,
  author =    "Alfons Kemper and Donald Kossmann",
  title =     "Adaptable {P}ointer {S}wizzling {S}trategies in {O}bject {B}ases: {D}esign, {R}ealization, and {Q}uantitative {A}nalysis",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-06-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-06.ps.gz",
}
@TechReport{AIB-1993-07,
    author = "Graduiertenkolleg Informatik und Technik (Hrsg.)",
    title = "Graduiertenkolleg Informatik und Technik",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-07"}
@TechReport{AIB-1993-08,
    author = "Matthias Berger",
    title = "k-Coloring Vertices using a Neural Network with Convergence to Valid Solutions",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-08"}
@TechReport{BuchheitJeusfeldNuttStaudt93,
  author =    "Martin Buchheit and Manfred A. Jeusfeld and Werner Nutt and Martin Staudt",
  title =     "Subsumption between {Q}ueries to {O}bject-{O}riented {D}atabases",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-09-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-09.ps.gz",
}
@TechReport{BurkartSteffen93,
  author =    "Olaf Burkart and Bernhard Steffen",
  title =     "Pushdown {P}rocesses: {P}arallel {C}omposition and {M}odel {C}hecking",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-10-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-10.ps.gz",
}
@TechReport{AIB-1993-11,
    author = "R. Große-Wienker and  O. Hermanns and  D. Menzenbach and  A. Pollacks and  S. Repetzki and  J. Schwartz and  K. Sonnenschein and  B. Westfechtel",
    title = "Das SUKITS-Projekt: A-posteriori-Integration heterogener CIM-Anwendungssysteme",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-11"}
@TechReport{AIB-1993-12,
    author = "Rudolf Mathar and  Jürgen Mattfeldt",
    title = "On the Distribution of Cumulated Interference Power in Rayleigh Fading Channels",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-12"}
@TechReport{MalerStaiger93,
  author =    "Oded Maler and Ludwig Staiger",
  title =     "On {S}yntactic {C}ongruences for omega-languages",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-13-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-13.ps.gz",
}
@TechReport{JarkeEhererGallersdoerferJeusfeldStaudt93,
  author =    "Matthias Jarke and Stefan Eherer and Rainer Gallersdoerfer and
           Manfred A. Jeusfeld and Martin Staudt",
  title =     "Concept{B}ase - {A} {D}eductive {O}bject {B}ase {M}anager",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-14-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-14.ps.gz",
}
@TechReport{StaudtNissenJeusfeld93,
  author =    "M. Staudt and H.W. Nissen and M.A. Jeusfeld",
  title =     "Query by {C}lass, {R}ule and {C}oncept",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-15-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-15.ps.gz",
}
@TechReport{AIB-1993-16,
    author = "M. Jarke and  K. Pohl and  St. Jacobs et al.",
    title = "Requirements Engineering: An Integrated View of Representation Process and Domain",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-16"}
@TechReport{AIB-1993-17,
    author = "M. Jarke and  K. Pohl",
    title = "Establishing Vision in Context: Towards a Model of Requirements Processes",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-17"}
@TechReport{HansKuchenWinkler93,
  author =    "W. Hans and H. Kuchen and St. Winkler",
  title =     "Full {I}ndexing for {L}azy {N}arrowing",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-18-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-18.ps.gz",
}
@TechReport{HansRuzSaenzWinkler93,
  author =    "W. Hans and J.J. Ruz and F. Saenz and St. Winkler",
  title =     "A {VHDL} {S}pecification of a {S}hared {M}emory {P}arallel {M}achine for {B}abel",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-19-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-19.ps.gz",
}
@TechReport{AIB-1993-20,
    author = "K. Finke and  M. Jarke and  P. Szczurko and  R. Soltysiak",
    title = "Quality Management for Expert Systems in Process Control",
    institution = "RWTH Aachen",
    year = "1993",
    number = "AIB-1993-20"}
@TechReport{JarkeJeusfeldSzczurko93,
  author =    "Matthias Jarke and Manfred A. Jeusfeld and Peter Szczurko",
  title =     "Three {A}spects of {I}ntelligent {C}ooperation in the {Q}uality {C}ycle",
  institution = "RWTH Aachen",
  year =      "1993",
  number =    "AIB-21-1993",
  url =       "http://aib.informatik.rwth-aachen.de/1993/1993-21.ps.gz",
}
@TechReport{GeneretMartin94,
  author =    "Margit Generet and Sven Martin (eds.) Fachgruppe Informatik",
  title =     "Jahresbericht 1993",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-01-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-01.ps.gz",
}
@TechReport{Lefering94,
  author =    "Martin Lefering",
  title =     "Development of {I}ncremental {I}ntegration {T}ools {U}sing {F}ormal {S}pecifications",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-02-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-02.ps.gz",
}
@TechReport{AIB-1994-03,
    author = "P. Constantopoulos and  M. Jarke and  J. Mylopoulos and  Y. Vassiliou",
    title = "The Software Information Base: A Server for Reuse",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-03"}
@TechReport{AIB-1994-04,
    author = "Rolf Hager and  Rudolf Mathar and  Jürgen Mattfeldt",
    title = "Intelligent Cruise Control and Reliable Communication of Mobile Stations",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-04"}
@TechReport{AIB-1994-05,
    author = "Rolf Hager and  Peter Hermesmann and  Michael Portz",
    title = "Feasibility of Authentication Procedures within Advanced Transport Telematics",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-05"}
@TechReport{AIB-1994-06,
    author = "Claudia Popien and  Bernd Meyer and  Axel Kuepper",
    title = "A Formal Approach to Service Import in ODP Trader Federations",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-06"}
@TechReport{PetersSzczurko94,
  author =    "Peter Peters and Peter Szczurko",
  title =     "Integrating {M}odels of {Q}uality {M}anagement {M}ethods by an {O}bject-{O}riented {R}epository",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-07-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-07.ps.gz",
}
@TechReport{AIB-1994-08,
    author = "Manfred Nagl and  Bernhard Westfechtel",
    title = "A Universal Component for the Administration in Distributed and Integrated Development Environments",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-08"}
@TechReport{AIB-1994-09,
    author = "Patrick Horster and  Holger Petersen",
    title = "Signatur- und Authentifikationsverfahren auf der Basis des diskreten Logarithmusproblems",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-09"}
@TechReport{Schuerr94,
  author =    {Andy Sch\"uerr},
  title =     "{PROGRES}, {A} {V}isual {L}anguage and {E}nvironment for {PRO}gramming with {G}raph {RE}write {S}ystems",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-11-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-11.ps.gz",
}
@TechReport{Schuerr94,
  author =    {Andy Sch\"uerr},
  title =     "Specification of {G}raph {T}ranslators with {T}riple {G}raph {G}rammars",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-12-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-12.ps.gz",
}
@TechReport{Schuerr94,
  author =    {Andy Sch\"urr},
  title =     "Logic {B}ased {P}rogrammed {S}tructure {R}ewriting {S}ystems",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-13-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-13.ps.gz",
}
@TechReport{Staiger94,
  author =    "Ludwig Staiger ",
  title =     "Codes, {S}implifying {W}ords, and {O}pen {S}et {C}ondition",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-14-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-14.ps.gz",
}
@TechReport{AIB-1994-15,
    author = "Bernhard Westfechtel",
    title = "A Graph-Based System for Managing Configurations of Engineering Design Documents",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-15"}
@TechReport{Klein94,
  author =    "Peter Klein ",
  title =     "Designing {S}oftware with {M}odula-3",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-16-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-16.ps.gz",
}
@TechReport{LitovskyStaiger94,
  author =    "Igor Litovsky and Ludwig Staiger ",
  title =     "Finite acceptance of infinite words",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-17-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-17.ps.gz",
}
@TechReport{HogenLoogen94,
  author =    "Guido Hogen and Rita Loogen ",
  title =     "Parallel {F}unctional {I}mplementations: {G}raphbased vs. {S}tackbased {R}eduction",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-18-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-18.ps.gz",
}
@TechReport{JeusfeldJohnen94,
  author =    "Manfred A. Jeusfeld and Uwe A. Johnen",
  title =     "An {E}xecutable {M}eta {M}odel for {R}e-{E}ngineering of {D}atabase {S}chemas",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-19-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-19.ps.gz",
}
@TechReport{AIB-1994-20,
    author = "R. Gallersdörfer and  M. Jarke and  K. Klabunde",
    title = "Intelligent Networks as a Data Intensive Application (INDIA)",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-20"}
@TechReport{Mohnen94,
  author =    "Markus Mohnen",
  title =     "Proving the {C}orrectness of the {S}tatic {L}ink {T}echnique {U}sing {E}volving {A}lgebras",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-21-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-21.ps.gz",
}
@TechReport{FernauStaiger94,
  author =    "Henning Fernau and Ludwig Staiger",
  title =     "Valuations and {U}nambiguity of {L}anguages, with {A}pplications to {F}ractal {G}eometry",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-22-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-22.ps.gz",
}
@TechReport{AIB-1994-24,
    author = "M. Jarke and  K. Pohl and  R. Dömges and  St. Jacobs and  H. W. Nissen",
    title = "Requirements Information Management: The NATURE Approach",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-24"}
@TechReport{AIB-1994-25,
    author = "M. Jarke and  K. Pohl and  C. Rolland and  J.-R. Schmitt",
    title = "Experience-Based Method Evaluation and Improvement: A Process Modeling Approach",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-25"}
@TechReport{AIB-1994-26,
    author = "St. Jacobs and  St. Kethers",
    title = "Improving Communication and Decision Making within Quality Function Deployment",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-26"}
@TechReport{AIB-1994-27,
    author = "M. Jarke and  H. W. Nissen and  K. Pohl",
    title = "Tool Integration in Evolving Information Systems Environments",
    institution = "RWTH Aachen",
    year = "1994",
    number = "AIB-1994-27"}
@TechReport{BurkartCaucalSteffen94,
  author =    "O. Burkart and D. Caucal and B. Steffen",
  title =     "An {E}lementary {B}isimulation {D}ecision {P}rocedure for {A}rbitrary {C}ontext-{F}ree {P}rocesses",
  institution = "RWTH Aachen",
  year =      "1994",
  number =    "AIB-28-1994",
  url =       "http://aib.informatik.rwth-aachen.de/1994/1994-28.ps.gz",
}
@TechReport{AIB-1995-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1994",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-01"}
@TechReport{Sch\"urrWinterZ\"undorf95,
  author =    {Andy Sch\"urr and Andreas J. Winter and Albert Z\"undorf},
  title =     "Graph {G}rammar {E}ngineering with {PROGRES}",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-02-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-02.ps.gz",
}
@TechReport{Staiger95,
  author =    "Ludwig Staiger",
  title =     "A {T}ight {U}pper {B}ound on {K}olmogorov {C}omplexity by {H}ausdorff {D}imension and {U}niformly {O}ptimal {P}rediction",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-03-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-03.ps.gz",
}
@TechReport{KoenigRiesHelmerMoerkotte95,
  author =    {K\"onig-Ries,Birgitta and Helmer, Sven and Moerkotte,Guido},
  title =     "An experimental study on the complexity of left-deep join ordering problems for cyclic queries",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-04-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-04.ps.gz",
}
@TechReport{CluetMoerkotte95,
  author =    "Sophie Cluet and Guido Moerkotte",
  title =     "Efficient {E}valuation of {A}ggregates on {B}ulk {T}ypes",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-05-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-05.ps.gz",
}
@TechReport{CluetMoerkotte95,
  author =    "Sophie Cluet and Guido Moerkotte",
  title =     "Nested {Q}ueries in {O}bject {B}ases",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-06-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-06.ps.gz",
}
@TechReport{CluetMoerkotte95,
  author =    "Sophie Cluet and Guido Moerkotte",
  title =     "Query {O}ptimization {T}echniques {E}xploiting {C}lass {H}ierarchies",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-07-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-07.ps.gz",
}
@TechReport{Mohnen95,
  author =    "Markus Mohnen",
  title =     "Efficient {C}ompile-{T}ime {G}arbage {C}ollection for {A}rbitrary {D}ata {S}tructures",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-08-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-08.ps.gz",
}
@TechReport{Mohnen95,
  author =    "Markus Mohnen",
  title =     "Functional {S}pecification of {I}mperative {P}rograms: {A}n {A}lternative {P}oint of {V}iew of {F}unctional {L}anguages",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-09-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-09.ps.gz",
}
@TechReport{GallersdoerferNicola95,
  author =    {Rainer Gallersd\"orfer and Matthias Nicola},
  title =     "Improving {P}erformance in {R}eplicated {D}atabases through {R}elaxed {C}oherency",
  institution = "RWTH Aachen",
  year =      "1995",
  number =    "AIB-10-1995",
  url =       "http://aib.informatik.rwth-aachen.de/1995/1995-10.ps.gz",
}
@TechReport{AIB-1995-11,
    author = "M.Staudt and  K.von Thadden",
    title = "Subsumption Checking in Knowledge Bases",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-11"}
@TechReport{AIB-1995-12,
    author = "G.V.Zemanek and  H.W.Nissen and  H.Hubert and  M.Jarke",
    title = "Requirements Analysis from Multiple Perspectives: Experiences with Conceptual Modeling Technology",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-12"}
@TechReport{AIB-1995-13,
    author = "M.Staudt and  M.Jarke",
    title = "Incremental Maintenance of Externally Materialized Views",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-13"}
@TechReport{AIB-1995-14,
    author = "P.Peters and  P.Szczurko and  M.Jeusfeld",
    title = "Oriented Information Management: Conceptual Models at Work",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-14"}
@TechReport{AIB-1995-15,
    author = "Matthias Jarke and  Sudha Ram (Hrsg.)",
    title = "WITS 95 Proceedings of the 5th Annual Workshop on Information Technologies and Systems",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-15"}
@TechReport{AIB-1995-16,
    author = "W.Hans and  St.Winkler and  F.Saenz",
    title = "Distributed Execution in Functional Logic Programming",
    institution = "RWTH Aachen",
    year = "1995",
    number = "AIB-1995-16"}
@TechReport{AIB-1996-01,
    author = "",
    title = "Jahresbericht 1995",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-01"}
@TechReport{HanusPrehofer96,
  author =    "Michael Hanus and Christian Prehofer",
  title =     "Higher-{O}rder {N}arrowing with {D}efinitional {T}rees",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-02-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-02.ps.gz",
}
@TechReport{AIB-1996-03,
    author = "W.Scheufele and  G.Moerkotte",
    title = "Optimal Ordering of Selections and Joins in Acyclic Queries with Expensive Predicates",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-03"}
@TechReport{Pohl96,
  author =    "Klaus Pohl",
  title =     "{PRO}-{ART}: {E}nabling {R}equirements {P}re-{T}raceability",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-04-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-04.ps.gz",
}
@TechReport{Pohl96,
  author =    "Klaus Pohl",
  title =     "Requirements {E}ngineering: {A}n {O}verview",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-05-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-05.ps.gz",
}
@TechReport{AIB-1996-06,
    author = "M.Jarke and  W.Marquardt",
    title = "Design and Evaluation of Computer--Aided Process Modelling Tools",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-06"}
@TechReport{Chitil96,
  author =    "Olaf Chitil",
  title =     "The {S}igma-{S}emantics: {A} {C}omprehensive {S}emantics for {F}unctional {P}rograms",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-07-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-07.ps.gz",
}
@TechReport{AIB-1996-08,
    author = "S.Sripada",
    title = "On Entropy and the Limitations of the Second Law of Thermodynamics",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-08"}
@TechReport{AIB-1996-09,
    author = "Michael Hanus (Ed.)",
    title = "Proceedings of the Poster Session of ALP96 - Fifth International Conference on Algebraic and Logic Programming",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09"}
@TechReport{AIB-1996-09-0,
    author = "Michael Hanus (Ed.)",
    title = "Proceedings of the Poster Session of ALP 96 - Fifth International Conference on Algebraic and Logic Programming: Introduction and table of contents",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-0"}
@TechReport{AIB-1996-09-1,
    author = "Ilies Alouini",
    title = "An Implementation of Conditional Concurrent Rewriting on Distributed Memory Machines",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-1"}
@TechReport{AIB-1996-09-2,
    author = "Olivier Danvy and  Karoline Malmkjær",
    title = "On the Idempotence of the CPS Transformation",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-2"}
@TechReport{AIB-1996-09-3,
    author = "Víctor M. Gulías and  José L. Freire",
    title = "Concurrent Programming in Haskell",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-3"}
@TechReport{AIB-1996-09-4,
    author = "Sébastien Limet and  Pierre Réty",
    title = "On Decidability of Unifiability Modulo Rewrite Systems",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-4"}
@TechReport{AIB-1996-09-5,
    author = "Alexandre Tessier",
    title = "Declarative Debugging in Constraint Logic Programming",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-09-5"}
@TechReport{ConradiWestfechtel96,
  author =    "Reidar Conradi and Bernhard Westfechtel",
  title =     "Version {M}odels for {S}oftware {C}onfiguration {M}anagement",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-10-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-10.ps.gz",
}
@TechReport{AIB-1996-11,
    author = "C.Weise and  D.Lenzkes",
    title = "A Fast Decision Algorithm for Timed Refinement",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-11"}
@TechReport{AIB-1996-12,
    author = "R.Dömges and  K.Pohl and  M.Jarke and  B.Lohmann and  W.Marquardt",
    title = "PRO-ART/CE* --- An Environment for Managing the Evolution of Chemical Process Simulation Models",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-12"}
@TechReport{AIB-1996-13,
    author = "K.Pohl and  R.Klamma and  K.Weidenhaupt and  R.Dömges and  P.Haumer and  M.Jarke",
    title = "A Framework for Process-Integrated Tools",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-13"}
@TechReport{AIB-1996-14,
    author = "R.Gallersdörfer and  K.Klabunde and  A.Stolz and  M.Eßmajor",
    title = "INDIA --- Intelligent Networks as a Data Intensive Application, Final Project Report, June 1996",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-14"}
@TechReport{AIB-1996-15,
    author = "H.Schimpe and  M.Staudt",
    title = "VAREX: An Environment for Validating and Refining Rule Bases",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-15"}
@TechReport{AIB-1996-16,
    author = "M.Jarke and  M.Gebhardt and  S.Jacobs and  H.Nissen",
    title = "Conflict Analysis Across Heterogeneous Viewpoints: Formalization and Visualization",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-16"}
@TechReport{JeusfeldBui96,
  author =    "Manfred A. Jeusfeld and Tung X. Bui",
  title =     "Decision {S}upport {C}omponents on the {I}nternet",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-17-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-17.ps.gz",
}
@TechReport{JeusfeldPapazoglou96,
  author =    "Manfred A. Jeusfeld and Mike Papazoglou",
  title =     "Information {B}rokering: {D}esign, {S}earch and {T}ransformation",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-18-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-18.ps.gz",
}
@TechReport{AIB-1996-19,
    author = "P.Peters and  M.Jarke",
    title = "Simulating the impact of information flows in networked organizations",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-19"}
@TechReport{JarkePetersJeusfeld96,
  author =    "Matthias Jarke and Peter Peters and Manfred A. Jeusfeld ",
  title =     "Model-driven planning and design of cooperative information systems",
  institution = "RWTH Aachen",
  year =      "1996",
  number =    "AIB-20-1996",
  url =       "http://aib.informatik.rwth-aachen.de/1996/1996-20.ps.gz",
}
@TechReport{AIB-1996-21,
    author = "G.de Michelis and  E.Dubois and  M.Jarke and  F.Matthes and  J.Mylopoulos and  K.Pohl and  J.Schmidt and  C.Woo and  E.Yu",
    title = "Cooperative information systems: a manifesto",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-21"}
@TechReport{AIB-1996-22,
    author = "S.Jacobs and  M.Gebhardt and  S.Kethers and  W.Rzasa",
    title = "Filling HTML forms simultaneously: CoWeb architecture and functionality",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-22"}
@TechReport{AIB-1996-23,
    author = "M.Gebhardt and  S.Jacobs",
    title = "Conflict Management in Design",
    institution = "RWTH Aachen",
    year = "1996",
    number = "AIB-1996-23"}
@TechReport{HanusZartmann97,
   author=      "Michael Hanus and Frank Zartmann (eds.)",
   title=       "Jahresbericht 1996",
   institution= "RWTH Aachen",
   year=        "1997",
   number=      "AIB-01-1997",
   url=         "http://aib.informatik.rwth-aachen.de/1997/1997-01.ps.gz"
}

@TechReport{Faassen97,
   author=      "Johannes Faassen",
   title=       "Using full parallel {B}oltzmann {M}achines for {O}ptimization",
   institution= "RWTH Aachen",
   year=        "1997",
   number=      "AIB-02-1997",
   url=         "http://aib.informatik.rwth-aachen.de/1997/1997-02.ps.gz"
}

@TechReport{WinterSch\"urr97,
   author=      {Andreas Winter, Andy Sch\"urr},
   title=       "Modules and {U}pdatable {G}raph {V}iews for {PRO}grammed {G}raph {RE}writing {S}ystems",
   institution= "RWTH Aachen",
   year=        "1997",
   number=      "AIB-03-1997",
   url=         "http://aib.informatik.rwth-aachen.de/1997/1997-03.ps.gz"
}

@TechReport{MohnenTobies97,
   author=      "Markus Mohnen and Stefan Tobies",
   title=       "Implementing {C}ontext {P}atterns in the {G}lasgow {H}askell {C}ompiler",
   institution= "RWTH Aachen",
   year=        "1997",
   number=      "AIB-04-1997",
   url=         "http://aib.informatik.rwth-aachen.de/1997/1997-04.ps.gz"
}

@TechReport{AIB-1997-05,
    author = "S.Gruner",
    title = "Schemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge",
    institution = "RWTH Aachen",
    year = "1997",
    number = "AIB-1997-05"}
@TechReport{NicolaJarke97,
   author=      "Matthias Nicola and Matthias Jarke",
   title=       "Design and {E}valuation of {W}ireless {H}ealth {C}are {I}nformation {S}ystems in {D}eveloping {C}ountries",
   institution= "RWTH Aachen",
   year=        "1997",
   number=      "AIB-06-1997",
   url=         "http://aib.informatik.rwth-aachen.de/1997/1997-06.ps.gz"
}

@TechReport{Hofstedt97,
  author =    "Petra Hofsted",
  title =     "Taskparallele {S}kelette f\"ur irregul\"ar strukturierte {P}robleme in deklarativen {S}prachen",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-07-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-07.ps.gz",
}
@TechReport{BlosteinSchuerr97,
  author =    {Dorothea Blostein and Andy Sch\"urr},
  title =     "Computing with {G}raphs and {G}raph {R}ewriting",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-08-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-08.ps.gz",
}
@TechReport{KrappWestfechtel97,
  author =    "Carl-Arndt Krapp and Bernhard Westfechtel",
  title =     "Feedback {H}andling in {D}ynamic {T}ask {N}ets",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-09-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-09.ps.gz",
}
@TechReport{NicolaJarke97,
  author =    "Matthias Nicola and Matthias Jarke",
  title =     "Integrating {R}eplication and {C}ommunication in {P}erformance {M}odels of {D}istributed {D}atabases",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-10-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-10.ps.gz",
}
@TechReport{AIB-1997-11,
    author = "R. Klamma and  P. Peters and  M. Jarke",
    title = "Workflow Support for Failure Management in Federated Organizations",
    institution = "RWTH Aachen",
    year = "1997",
    number = "AIB-1997-11"}
@TechReport{Mohnen97,
  author =    "Markus Mohnen",
  title =     "Optimising the {M}emory {M}anagement of {H}igher-{O}rder {F}unctional {P}rograms",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-13-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-13.ps.gz",
}
@TechReport{Baumann97,
  author =    "Roland Baumann",
  title =     "Client/{S}erver {D}istribution in a {S}tructure-{O}riented {D}atabase {M}anagement {S}ystem",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-14-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-14.ps.gz",
}
@TechReport{Botorog97,
  author =    "George Botorog",
  title =     "High-{L}evel {P}arallel {P}rogramming and the {E}fficient {I}mplementation of {N}umerical {A}lgorithms",
  institution = "RWTH Aachen",
  year =      "1997",
  number =    "AIB-15-1997",
  url =       "http://aib.informatik.rwth-aachen.de/1997/1997-15.ps.gz",
}
@TechReport{AIB-1998-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 1997",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-01"}
@TechReport{GrunerNagelSchuerr98,
   author=      {Stefan Gruner and Manfred Nagel and Andy Sch\"urr},
   title=       "Fine-grained and {S}tructure-{O}riented {D}ocument {I}ntegration {T}ools are {N}eeded for {D}evelopment {P}rocesses",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-02-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-02.ps.gz",
}

@TechReport{Gruner98,
   author=      "Stefan Gruner",
   title=       {Einige {A}nmerkungen zur graphgrammatischen {S}pezifikation von {I}ntegrationswerkzeugen nach {W}estfechtel, {J}anning, {L}efering und {S}ch\"urr},
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-03-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-03.ps.gz",
}

@TechReport{AIB-1998-04,
    author = "O. Kubitz",
    title = "Mobile Robots in Dynamic Environments",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-04"}
@TechReport{LeuckerTobies98,
   author=      "Martin Leucker and Stephan Tobies",
   title=       "Truth - {A} {V}erification {P}latform for {D}istributed {S}ystems",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-05-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-05.ps.gz"
}

@TechReport{AIB-1998-06,
    author = "Matthias Oliver Berger",
    title = "DECT in the Factory of the Future",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-06"}
@TechReport{ArnoldErdmannGlinzHaumerKnollPaechPohlRyserStuderWeidenhaupt98,
   author=      "M. Arnold and M. Erdmann and M. Glinz and P. Haumer and R. Knoll and B. Paech and K. Pohl and J. Ryser and R. Studer and K. Weidenhaupt",
   title=       "Survey on the {S}cenario {U}se in {T}welve {S}elected {I}ndustrial {P}rojects",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-07-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-07.ps.gz"
}

@TechReport{AIB-1998-09,
    author = "Th. Lehmann",
    title = "Geometrische Ausrichtung medizinischer Bilder am Beispiel intraoraler Radiographien",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-09"}
@TechReport{AIB-1998-10,
    author = "M. Nicola and  M. Jarke",
    title = "Performance Modeling of Distributed and Replicated Databases",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-10"}
@TechReport{SchleicherWestfechtelJaeger98,
   author=      {Ansgar Schleicher and Bernhard Westfechtel and Dirk J\"ager},
   title=       "Modeling {D}ynamic {S}oftware {P}rocesses in {UML}",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-11-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-11.ps.gz"
}

@TechReport{AIB-1998-11
    author = "Ansgar Schleicher, Bernhard Westfechtel, Dirk Jäger",
    title = "Modeling Dynamic Software Processes in UML",
    institution = "RWTH Aachen",
    year = "1998",
    number = "1998-11",
}
@TechReport{AIB-1998-12,
    author = "W. Appelt and  M. Jarke",
    title = "Interoperable Tools for Cooperation Support using the World Wide Web",
    institution = "RWTH Aachen",
    year = "1998",
    number = "AIB-1998-12"}
@TechReport{Indermark98,
   author=      "Klaus Indermark",
   title=       "Semantik rekursiver {F}unktionsdefinitionen mit {S}triktheitsinformation",
   institution= "RWTH Aachen",
   year=        "1998",
   number=      "AIB-13-1998",
   url=         "http://aib.informatik.rwth-aachen.de/1998/1998-13.ps.gz",
}

@TechReport{AIB-1999-01,
    author = "",
    title = "Jahresbericht 1998",
    institution = "RWTH Aachen",
    year = "1999",
    number = "AIB-1999-01"}
@TechReport{AIB-1999-02,
    author = "F. Huch",
    title = "Verifcation of Erlang Programs using Abstract Interpretation and Model Checking --- Extended Version",
    institution = "RWTH Aachen",
    year = "1999",
    number = "AIB-1999-02"}
@TechReport{AIB-1999-03,
    author = "R. Gallersdörfer and  M. Jarke and  M. Nicola",
    title = "The ADR Replication Manager",
    institution = "RWTH Aachen",
    year = "1999",
    number = "AIB-1999-03"}
@TechReport{AlpuenteHanusLucasVidal99,
   author=      "Mar\'ia Alpuente and Michael Hanus and Salvador Lucas and Germ\'an Vidal",
   title=       "Specialization of {F}unctional {L}ogic {P}rograms {B}ased on {N}eeded {N}arrowing",
   institution= "RWTH Aachen",
   year=        "1999",
   number=      "AIB-04-1999",
   url=         "http://aib.informatik.rwth-aachen.de/1999/1999-04.ps.gz",
}

@TechReport{AIB-1999-05,
    author = "W. Thomas (Ed.)",
    title = "DLT 99 - Developments in Language Theory Fourth International Conference",
    institution = "RWTH Aachen",
    year = "1999",
    number = "AIB-1999-05"}
@TechReport{AIB-1999-06,
    author = "Kai Jakobs and  Klaus-Dieter Kleefeld",
    title = "Informationssysteme für die angewandte historische Geographie",
    institution = "RWTH Aachen",
    year = "1999",
    number = "AIB-1999-06"}
@TechReport{Wilke99,
   author=      "Thomas Wilke",
   title=       "C{TL}+ is exponentially more succinct than {CTL}",
   institution= "RWTH Aachen",
   year=        "1999",
   number=      "AIB-07-1999",
   url=         "http://aib.informatik.rwth-aachen.de/1999/1999-07.ps.gz",
}

@TechReport{Matz99,
   author=      "Oliver Matz",
   title=       "Dot-{D}epth and {M}onadic {Q}uantifier {A}lternation over {P}ictures",
   institution= "RWTH Aachen",
   year=        "1999",
   number=      "AIB-08-1999",
   url=         "http://aib.informatik.rwth-aachen.de/1999/1999-08.ps.gz",
}

@TechReport{AIB-2000-01,
    author = "",
    title = "Jahresbericht 1999",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-01"}
@TechReport{AIB-2000-02,
    author = "Jens Vöge and  Marcin Jurdzinski",
    title = "A Discrete Strategy Improvement Algorithm for Solving Parity Games",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-02"}
@TechReport{AIB-2000-03,
    author = "D. Jäger and  A. Schleicher and  B. Westfechtel",
    title = "UPGRADE: A Framework for Building Graph-Based Software Engineering Tools",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-03"}
@TechReport{AIB-2000-04,
    author = "Andreas Becks and  Stefan Sklorz and  Matthias Jarke",
    title = "Exploring the Semantic Structure of Technical Document Collections: A Cooperative Systems Approach",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-04"}
@TechReport{Schoop00,
  author =    "Mareike Schoop",
  title =     "Cooperative Document Management",
  institution = "RWTH Aachen",
  year =      "2000",
  number =    "AIB-05-2000",
  month =        jul,
  url =
"http://aib.informatik.rwth-aachen.de/2000/00-05.ps.gz",
}
@TechReport{SchoopQuix00,
  author =    "Mareike Schoop and Christoph Quix (eds.)",
  title =     "Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling",
  institution = "RWTH Aachen",
  year =      "2000",
  number =    "AIB-06-2000",
  month =        sep,
  url =          "http://aib.informatik.rwth-aachen.de/2000/2000-06.ps.gz",
}
@TechReport{AIB-2000-07,
    author = "Markus Mohnen and  Pieter Koopman (Eds.)",
    title = "Proceedings of the 12th International Workshop of Functional Languages",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-07"}
@TechReport{AIB-2000-08,
    author = "Thomas Arts and  Thomas Noll",
    title = "Verifying Generic Erlang Client-Server Implementations",
    institution = "RWTH Aachen",
    year = "2000",
    number = "AIB-2000-08"}
@TechReport{AIB-2001-01,
    author = "",
    title = "Jahresbericht 2000",
    institution = "RWTH Aachen",
    year = "2001",
    number = "AIB-2001-01"}
@TechReport{BolligLeucker01,
  author =	 "Benedikt Bollig and Martin Leucker",
  title =	 "Deciding {LTL} over {M}azurkiewicz traces",
  institution =	 "{RWTH} {A}achen",
  year =	 "2001",
  number =	 "AIB-02-2001",
  month =	 feb,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-02.ps.gz",
}
@TechReport{Cachat01,
  author =       "Thierry Cachat",
  title =        "The power of one-letter rational languages",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-03-2001",
  month =        march,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-03.ps.gz",
  keywords =     "rationality, one-letter languages, integers, power
                  operation, divisibility",
}
@TechReport{BolligLeuckerWeber01,
  author =	 "Benedikt Bollig and Martin Leucker and Michael Weber",
  title =	 "Local Parallel Model Checking for the Alternation
                  Free $\mu$--Calculus",  
  institution =	 "RWTH Aachen",
  year =	 "2001",
  number =	 "AIB-04-2001",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-04.ps.gz", 
}
@TechReport{BolligLeuckerNoll01,
  author =	 "Benedikt Bollig and Martin Leucker and Thomas Noll",
  title =	 "Regular {MSC} {L}anguages",
  institution =	 "RWTH Aachen",
  year =	 "2001",
  number =	 "AIB-05-2001",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-05.ps.gz",
}
@TechReport{Blumensath01,
  author =       "Achim Blumensath",
  title =        "Prefix-Recognisable Graphs and Monadic Second-Order Logic",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-06-2001",
  month =        may,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-06.ps.gz",
}
@TechReport{BolligLeucker01,
  author =       "Martin Grohe and Stefan W\"ohrle",
  title =        "An Existential Locality Theorem",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-07-2001",
  month =        june,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-07.ps.gz",
}@TechReport{SchoopTaylor01,
  author =    "Mareike Schoop and James Taylor (eds.)",
  title =     "Proceedings of the Sixth International Workshop on the Language-Action Perspective on Communication Modelling",
  institution = "RWTH Aachen",
  year =      "2001",
  number =    "AIB-08-2001",
  month =        jul,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-08.ps.gz",
}
@TechReport{ArtsGiesl01,
  author =       "Thomas Arts and J\"urgen Giesl",
  title =        "A collection of examples for termination of term
                  rewriting using dependency pairs",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-09-2001",
  month =        sep,
  url =
"http://aib.informatik.rwth-aachen.de/2001/2001-09.ps.gz",
}

@TechReport{Blumensath01,
  author =       "Achim Blumensath",
  title =        "Axiomatising Tree-interpretable Structures",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-10-2001",
  month =        dec,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-10.ps.gz",
}
@TechReport{IndermarkNoll01,
  author =       "Klaus Indermark and Thomas Noll (eds.)",
  title =        "Kolloquium Programmiersprachen und
                  Grundlagen der Programmierung",
  institution =  "RWTH Aachen",
  year =         "2001",
  number =       "AIB-2001-11",
  month =        dec,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-11.ps.gz",
}
@TechReport{AIB-2002-01,
    author = "",
    title = "Jahresbericht 2001",
    institution = "RWTH Aachen",
    year = "2002",
    number = "AIB-2002-01"}
@TechReport{GieslMiddeldorp02,
  author =       "J{\"u}rgen Giesl and Aart Middeldorp",
  title =        "Transformation Techniques for Context-Sensitive Rewrite Systems",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-02-2002",
  month =        jan,
  url = "http://aib.informatik.rwth-aachen.de/2002/2002-02.ps.gz"
}
@TechReport{BolligLeuckerNoll02,
  author =	 "Benedikt Bollig and Martin Leucker and Thomas Noll",
  title =	 "Generalised Regular {MSC} {L}anguages",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-03-2002",
  month =	 jan,
  url =          "ftp://ftp.informatik.rwth-aachen.de/pub/reports/2002/2002-03.ps.gz",
}
@TechReport{GieslMiddeldorp02b,
  author =       "J\"{u}rgen Giesl and Aart Middeldorp",
  title =        "Innermost Termination of Context-Sensitive Rewriting",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-2002-04",
  month =        feb,
  url = "http://aib.informatik.rwth-aachen.de/2002/2002-04.ps.gz"
}
@TechReport{LichterMassenWeiler02,
  author = "Lichter, Horst and von der Massen, Thomas and Weiler, Thomas",
  title = "Modelling Requirements and Architectures for Software Product Lines",
  institution =  "RWTH Aachen",
  year = 	 2002,
  number =	 "AIB-2002-05",
  month =	 feb,
  url = "http://aib.informatik.rwth-aachen.de/2002/2002-05.ps.gz"
}

@TechReport{Adorna02,
  author =	 "Henry N. Adorna",
  title =	 "3-Party Message Complexity is Better than 2-Party Ones for Proving Lower Bounds 
on the Size of Minimal Nondeterministic Finite Automata",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-06-2002",
  month =	 feb,
  url =          "http://aib.informatik.rwth-aachen.de/2002/2002-06.ps.gz",
}
@TechReport{Dahmen02,
  author =	 "J\"org Dahmen",
  title =	 "Invariant Image Object Recognition using Gaussian Mixture Densities",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-07-2002",
  month =	 feb,
  url =          "http://aib.informatik.rwth-aachen.de/2002/2002-07.ps.gz",
}
@TechReport{Mohnen:AIB-02-08,
  author =	 "M. Mohnen",
  title =	 "{An Open Framework for Data--Flow Analysis in Java}",
  number =	 "AIB-2002-08",
  year =	 "2002",
  institution =	 "{RWTH Aachen}",
  abstract =	 "{We describe work in progress on a framework for data--flow based
                  program analysis. By using this framework, researchers and
                  developers can easily implement analyses, test their correctness,
                  and evaluate their performance. In addition, the framework allows
                  the definition of intraprocedural analyses for Java Virtual Machine
                  (JVM) code on a high level of abstraction. The framework is
                  provided as a set of APIs for Java. Through the extensive use of
                  Java interface concept, we established an open framework: For
                  instance, specific implementations of abstract domains can easily
                  be used in our framework. }",
  month =	 apr,
  url =		 "http://aib.informatik.rwth-aachen.de/2002/2002-08.ps.gz",
}
@TechReport{Mohnen:AIB-02-09,
  author =	 "M. Mohnen",
  title =	 "{Interfaces with Default Implementations in Java}",
  number =	 "AIB-2002-09",
  year =	 "2002",
  institution =	 "{RWTH Aachen}",
  abstract =	 "{With the interface construct, Java features a concept with high
                  potential for producing reusable code: Java's interfaces allow the
                  definition of class properties independently of class
                  inheritance. We propose an extension of Java for providing default
                  implementations in interfaces. Default implementations are useful
                  since they reduce the effort required to implement an
                  interface. They are especially interesting if there is a canonical
                  way to implement methods of the interface in terms of some other
                  methods. In these cases, an implementation can be obtained by
                  implementing the base methods and use the default implementations
                  of the other methods. We discuss the rationale for our design and
                  show that the extension can be implemented both efficiently and
                  conservatively, i.e. without modification of the Java virtual
                  machine. }",
  month =	 apr,
  url =		 "http://aib.informatik.rwth-aachen.de/2002/2002-09.ps.gz",
}
@TechReport{Leucker02,
  author =	 "Martin Leucker",
  title =	 "Logics for {M}azurkiewicz traces",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-10-2002",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2002/2002-10.ps.gz",
}

@TechReport{GieslZantema02,
  author =       "J\"urgen Giesl and Hans Zantema",
  title =        "Liveness in Rewriting",
  institution =  "RWTH Aachen",
  year =         "2002",
  number =       "AIB-11-2002",
  month =        oct,
  url =
"http://aib.informatik.rwth-aachen.de/2002/2002-11.ps.gz",
}
@TechReport{AIB-2003-01,
    author = "",
    title = "Jahresbericht 2002",
    institution = "RWTH Aachen",
    year = "2003",
    number = "AIB-2003-01"}
@TechReport{ThiemannGiesl03,
  author =       "Rene\'e Thiemann and J\"urgen Giesl",
  title =        "Size-Change Termination for Term Rewriting",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-2003-02",
  month =        jan,
  url =
"http://aib.informatik.rwth-aachen.de/2003/2003-02.ps.gz"
}
@TechReport{GieslKapur03,
  author =       "J\"urgen Giesl and Deepak Kapur",
  title =        "Deciding Inductive Validity of Equations",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-2003-03",  
  month =        feb,
  url =
"http://aib.informatik.rwth-aachen.de/2003/2003-03.ps.gz",
}
@TechReport{GieslThiemannSchneiderKampFalke03,
  author =       "J\"urgen Giesl and Ren\'e Thiemann and Peter
                  Schneider-Kamp and Stephan Falke",
  title =        "Improving Dependency Pairs",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-2003-04",
  month =        may,
  url =
"http://aib.informatik.rwth-aachen.de/2003/2003-04.ps.gz"
} 
@TechReport{LoedingRohde03,
  author =   "Christof L{\"o}ding and Philipp Rohde",
  title =    "Solving the Sabotage Game is {PSPACE}-hard",
  institution =  "RWTH Aachen",
  year =     "2003",
  number =   "AIB-05-2003",
  month =    mar,
  url =          "http://aib.informatik.rwth-aachen.de/2003/2003-05.ps.gz",
}
@TechReport{Och03,
  author =	 "Franz Josef Och",
  title =	 "Statistical Machine Translation: From Single-Word Models to Alignment Templates",
  institution =	 "RWTH Aachen",
  year =	 "2003",
  number =	 "AIB-2003-06",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2003/2003-06.ps.gz",
}
@TechReport{lichter03,
  author =       "Horst Lichter and Thomas von der Ma{\ss}en and Alexander Ny{\ss}en and Thomas Weiler",
  title =        "Vergleich von {A}ns"atzen zur {F}eature {M}odellierung bei der {S}oftwareproduktlinienentwicklung",
  institution =  "RWTH Aachen",
  year =         "2003",
  number =       "AIB-07-2003",
  month =        jul,
  url = "http://aib.informatik.rwth-aachen.de/2003/2003-07.ps.gz",
}
@TechReport{GieslThiemannSchneiderKampFalke03b,                                               
  author =       "J\"urgen Giesl and Ren\'e Thiemann and Peter                                
                  Schneider-Kamp and Stephan Falke",                                          
  title =        "Mechanizing Dependency Pairs",                                              
  institution =  "RWTH Aachen",                                                               
  year =         "2003",                                                                      
  number =       "AIB-2003-08",                                                               
  month =        december,                                                                    
  url =                                                                                       
"http://aib.informatik.rwth-aachen.de/2003/2003-08.ps.gz"                                     
} 
@TechReport{AIB-2004-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2003",
    institution = "RWTH Aachen",
    year = "2004",
    number = "AIB-2004-01"}
@TechReport{BolligLeucker04,                                               
  author =       "Benedikt Bollig and Martin Leucker",
  title =        "Message-Passing Automata are expressively equivalent to EMSO logic",
  institution =  "RWTH Aachen",
  year =         "2004",                                        
  number =       "AIB-2004-02",
  month =        feb,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-02.ps.gz"
}@TechReport{HOR04,
  author =       "Delia Kesner and Femke {van Raamsdonk} and Joe Wells
  (eds.)",
  title =        "HOR 2004 2nd International Workshop on Higher-Order
  Rewriting",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-03",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-03.ps.gz",
}

@TechReport{RULE04,
  author =       "Slim Abdennadher and Christophe Ringeissen (eds.)",
  title =        "RULE'04 Fifth International Workshop on Rule-Based
  Programming",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-04",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-04.ps.gz",
}
@TechReport{WFLP04,
  author =       "Herbert Kuchen (ed.)",
  title =        "WFLP'04 13th International Workshop on Functional and
                 (Constraint) Logic Programming",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-05",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-05.ps.gz",
}

@TechReport{WRS04,
  author =       "Sergio Antoy and Yoshihito Toyama (eds.)",
  title =        "WRS'04 4th International Workshop on Reduction Strategies
  in
                  Rewriting and Programming",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-06",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-06.ps.gz",
}
@TechReport{WST04,
  author =       "Michael Codish and Aart Middeldorp (eds.)",
  title =        "WST'04 7th International Workshop on Termination",
  institution =  "RWTH Aachen",
  year =         "2004",
  number =       "AIB-2004-07",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-07.ps.gz",
}
@TechReport{IndermarkNoll04,
  author =	 "Klause Indermark and Thomas Noll",
  title =	 "Algebraic Correctness Proofs for Compiling 
                  Recursive Function Definitions with Strictness Information",
  institution =	 "RWTH Aachen University",
  year =	 "2004",
  number =	 "AIB--08--2004",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-08.ps.gz",
}
@TechReport{KMRR04,
  author      = {Joachim Kneis and Daniel M\"olle and Stefan Richter and Peter Rossmanith},
  title       = {Parameterized Power Domination Complexity},
  institution = {RWTH Aachen},
  year        =	2004,
  number      =	{AIB-09-2004},
  month       =	dec,
  url         = {http://aib.informatik.rwth-aachen.de/2004/2004-09.ps.gz},
}
@TechReport{BenensonGaertnerKesdogan04,
  author =	 "Zinaida Benenson and Felix C. Gärtner and Dogan Kesdogan",
  title =	 "Secure Multi-Party Computation with Security Modules",
  institution =	 "RWTH Aachen",
  year =	 "2004",
  number =	 "AIB-10-2004",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2004/2004-10.ps.gz",
}
@TechReport{AIB-2005-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2004",
    institution = "RWTH Aachen",
    year = "2005",
    number = "AIB-2005-01"}
@TechReport{DornseifGaertnerHolzMink05,
  author =       {Maximillian Dornseif and Felix C. G\"artner and Thorsten Holz and Martin Mink},
  title =        "An Offenisve Approach to teaching Information Security:
		  ``Aachen Summer School Applied IT Security''",
  institution =  "RWTH Aachen",
  year =         "2005",
  number =       "AIB-2005-02",
  month =        jan,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-02.ps.gz"
}

@TechReport{GieslThiemannSchneiderKamp05,
  author =       "J\"urgen Giesl and Ren\'e Thiemann and Peter
                  Schneider-Kamp",
  title =        "Proving and Disproving Termination of Higher-Order
  Functions",
  institution =  "RWTH Aachen",
  year =         "2005",
  number =       "AIB-2005-03",
  month =        march,
  url =
"http://aib.informatik.rwth-aachen.de/2005/2005-03.ps.gz"
}
@TechReport{MRR05,
  author      = {Daniel M\"olle and Stefan Richter and Peter Rossmanith},
  title       = {A Faster Algorithm for the Steiner Tree Problem},
  institution = {RWTH Aachen},
  year        =	2005,
  number      =	{AIB-04-2005},
  month       =	mar,
  url         = {http://aib.informatik.rwth-aachen.de/2005/2005-04.ps.gz},
}
@TechReport{Pouget:2005:PAC,
  author =     "Fabien Pouget and Thorsten Holz",
  title =     "A Pointillist Approach for Comparing Honeypots",
  institution =     "RWTH Aachen",
  year =     "2005",
  number =     "AIB-05-2005",
  month =     mar,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-05.ps.gz",
}
@TechReport{FischerVoecking05,
  author =	 "Fischer, Simon and V{\"o}cking, Berthold",
  title =	 "Adaptive Routing with Stale Information",
  institution =	 "RWTH Aachen",
  year =	 2005,
  number =	 "AIB-2005-06",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-06.ps.gz",
  keywords =     {adaptive routing, stale information, selfish routing, (evolutionary) game theory}
}
@TechReport{Freiling:2005:TBE
  author =	 "Felix C. Freiling and Thorsten Holz and Georg Wicherski"
  title =	 "Botnet Tracking: Exploring a Root-Cause Methodology to Prevent
		  Distributed Denial-of-Service Attacks",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-07",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-07.ps.gz",
}
@TechReport{KneisRossmanith05,
  author =	 "Joachim Kneis and Peter Rossmanith",
  title =	 "A New Satisfiability Algorithm With Applications To {Max-Cut}",
  institution =	 "RWTH Aachen",
  year =	 2005,
  number =	 "AIB-2005-08",
  month =	 apr,
  url = "http://aib.informatik.rwth-aachen.de/2005/2005-08.ps.gz",
}

@TechReport{KursaweFreiling05,
  author =	 "Klaus Kursawe and Felix C. Freiling",
  title =	 "Byzantine Fault Tolerance on General Hybrid Adversary Structures",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-09",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-09.ps.gz",
}
@TechReport{AIB-2005-10,
    author = "Benedikt Bollig",
    title = "Automata and Logics for Message Sequence Charts",
    institution = "RWTH Aachen",
    year = "2005",
    number = "AIB-2005-10"}
@TechReport{FischerVoecking05,
  author =	 {Fischer, Simon and V{\"o}cking, Berthold},
  title =	 {A Counterexample to the\\Fully Mixed Nash Equilibrium Conjecture},
  institution =	 {RWTH Aachen},
  year =	 {2005},
  number =	 {AIB-2005-11},
  month =	 {may},
  url =          {http://aib.informatik.rwth-aachen.de/2001/2005-11.ps.gz},
}
@TechReport{MittalFreilingVenkatesanPenso05,
  author =	 "Neeraj Mittal and Felix Freiling and S. Venkatesan and Lucia Draque Penso",
  title =	 "Efficient Reductions for Wait-Free Termination Detection in Faulty Distributed Systems",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-12",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-12.ps",
}
@TechReport{DelporteFauconnierFreiling05,
  author =       "Carole Delporte-Gallet and Hugues Fauconnier and
                  Felix C. Freiling",
  title =        "Revisiting Failure Detection and Consensus
                  in Omission Failure Environments",
  institution =  "RWTH Aachen",
  year =         "2005",
  number =       "AIB-2005-13",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-13.ps.gz",
}
@TechReport{FreilingGhosh05,
  author =       "Felix C. Freiling and Sukumar Ghosh",
  title =        "Code Stabilization",
  institution =  "RWTH Aachen",
  year =         "2005",
  number =       "AIB-2005-14",
  month =        jun,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-14.ps.gz",
}
@TechReport{NaumannAIB2005TCo,
  author =	 "Uwe Naumann",
  title =	 "The Complexity of Derivative Computation",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-15",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-15.ps.gz",
}
@TechReport{NaumannAIB2005SDDI,
 author =       "Uwe Naumann",
 title =        "Syntax-Directed Derivative Code (Part I: Tangent-Linear Code)",
 institution =  "RWTH Aachen",
 year =         "2005",
 number =       "AIB-2005-16",
 month =        aug,
 url =          "http://aib.informatik.rwth-aachen.de/2005/2005-16.ps.gz",
}
@TechReport{NaumannAIB2005SDDII,
  author =	 "Uwe Naumann",
  title =	 "Syntax-Directed Derivative Code (Part II: Intraprocedural Adjoint Code)",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-17",
  month =	 aug,
  type = "Preprint",
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-17.ps.gz",
}
@TechReport{BolligLeucker01,
  author =	 "Thomas von der Maßen, Hans-Veit Bacher, Jörg Dörr, Eva Geisberger, Frank Houdek, John MacGregor, Klaus Müller, Barbara Paech, Harbhajan Singh, Holger Wußmann",
  title =	 "Einsatz von Features im Software-Entwicklungsprozess",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-18",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-18.ps.gz",
}
@TechReport{NaumannAIB2005TLC,
 author =       "Uwe Naumann and Andre Vehreschild",
 title =        "Tangent-Linear Code by Augmented LL-Parsers",
 institution =  "RWTH Aachen",
 year =         "2005",
 number =       "AIB-2005-19",
 month =        sep,
 url =          "http://aib.informatik.rwth-aachen.de/2005/2005-19.ps.gz",
}
@TechReport{FreilingMink05
  author = "Felix C. Freiling and Martin Mink", 
  title = "Bericht über den Workshop zur Ausbildung im Bereich IT-Sicherheit --
    Hochschulausbildung, berufliche Weiterbildung, Zertifizierung von Ausbildungsangeboten", 
  institution = "RWTH Aachen", 
  year = "2005",
  number = "AIB-2005-20",
  month = sep,
  url = "http://aib.informatik.rwth-aachen.de/2005/2005-20.pdf",
}
@techreport{NollRieger05,
 author = {Thomas Noll and Stefan Rieger},
 title = {Optimization of Straight--Line Code Revisited},
 institution = {RWTH Aachen University, Dept.\ of Computer Science},
 address = {Germany},
 series = {Aachener Informatik Berichte},
 number = {2005--21},
 month = {nov}
 year = {2005},
 url = "http://aib.informatik.rwth-aachen.de/2005/2005-21.ps.gz", 
}
@TechReport{FreilingHerlihyPenso05,
  author =	 "Felix Freiling and Maurice Herlihy and Lucia Draque Penso",
  title =	 "Optimal Randomized Fair Exchange with Secret Shared Coins",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-22",
  month =	 december,
  url =          "http://aib.informatik.rwth-aachen.de/2005/2005-22.ps",
}
@TechReport{AckermannNewmanRoeglinVoecking05,
  author =	"Heiner Ackermann and Alantha Newman and Heiko R\"oglin and Berthold V\"ocking",
  title =	"{D}ecision {M}aking {B}ased on {A}pproximate and {S}moothed {P}areto {C}urves",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2005-23",
  month =	 dec,
  url =	"http://aib.informatik.rwth-aachen.de/2005/2005-23.ps.gz",
  key = "{D}ecision {M}aking, {A}pproximation {A}lgorithm, {S}moothed {A}nalysis"
}

@TechReport{AIB:2005-24,
  author       = {Alexander Becher and Zinaida Benenson and Maximillian Dornseif},
  title        = {{Tampering with Motes: Real-World Physical Attacks on Wireless Sensor Networks}},
  year         = {2005},
  month        = {oct},
  institution  = {RWTH Aachen University},
  issn         = {0935-3232},
  number       = {AIB-2005-24}
}

@TechReport{AIB-2006-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2005",
    institution = "RWTH Aachen",
    year = "2006",
    number = "AIB-2006-01"}
@techreport{Weber:2006a,
    Author = {Michael Weber},
    Institution = {RWTH Aachen University},
    Keywords = {Verification, Model Checking, Games, mu-Calculus, parallel algorithms},
    Month = {12},
    Number = {AIB-2006-02},
    Title = {Parallel Algorithms for Verification of Large Systems},
    Url = {http://aib.informatik.rwth-aachen.de/2006/2006-02.pdf},
    Year = {2006},
    Abstract = {The model-checking problem is the question whether a given system model satisfies a property.  The property is usually given as formula of a temporal logic, and the system model as labelled transition system.  However, the well-known state-space explosion effect is responsible for yielding transition systems of exponential size when compared to their description, and common sequential algorithms often are not capable to solve the model-checking problem with resources available on a single computer.
In this thesis, we develop parallel and, in particular, distributed algorithms which exploit the combined resources of a network of commodity workstations to solve problem instances which are beyond the capabilities of today's sequential algorithms.
In a second part, we investigate ways to efficiently generate (low-level) transition systems suitable for many verification tools from compact high-level descriptions of the input model.  We propose a virtual-machine based approach, which uses an intermediate format to break the translation from high-level to low-level representations of a model into two steps.  This well-known compiler technique simplifies the translation and still is very fast in practice.
}}
@TechReport{MaierAIB2006,
  author =	 "Michael Maier and Uwe Naumann",
  title =	 "Intraprocedural Adjoint Code Generated by the Differentiation-Enabled NAGWare Fortran Compiler",
  institution =	 "RWTH Aachen",
  year =	 "2006",
  number =	 "AIB-2006-03",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-03.ps.gz",
}
@TechReport{EVUNAL06,
  author =	 "Ebadollah Varnik, Uwe Naumann and Andrew Lyons",
  title =	 "Toward Low Static Memory {J}acobian Accumulation",
  institution =	 "Department of Computer Science, RWTH Aachen",
  year =	 "2006",
  number =	 "AIB-2006-04",
  month =	 March,
  url ="http://aib.informatik.rwth-aachen.de/2006/2006-04.ps.gz",
}
@TechReport{NaumannAIB2005TLC,
  author =	 "Uwe Naumann and Jean Utke and Patrick Heimbach and Chris Hill
and Derya Ozyurt and Carl Wunsch and Mike Fagan and Nathan Tallent and Michelle Strout",
  title =	 "Adjoint Code by Source Transformation with OpenAD/F",
  institution =	 "RWTH Aachen",
  year =	 "2006",
  number =	 "AIB-2006-05",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-05.ps.gz",
}
@TechReport{KMRR06,
  author =	 "Joachim Kneis and Daniel M\"olle and Stefan Richter and Peter Rossmanith",
  title =	 "Divide-and-Color",
  institution =	 "RWTH Aachen",
  year =	 2006,
  number =	 "AIB-2006-06",
  month =	 may,
  url = "http://aib.informatik.rwth-aachen.de/2006/2006-06.ps.gz"
}
@TechReport{ColcombetLoding06,
  author =       {Thomas Colcombet and Christof L{\"o}ding},
  title =        {Transforming structures by set interpretations},
  institution =  {RWTH Aachen},
  year =         {2006},
  number =       {AIB-2006-07},
  month =        may,
  url =          {http://aib.informatik.rwth-aachen.de/2006/2006-07.ps.gz}
}@TechReport{NaumannAIB2006OVE,
  author =	 "Uwe Naumann and Yuxiao Hu",
  title =	 "Optimal Vertex Elimination in Single-Expression-Use Graphs",
  institution =	 "RWTH Aachen",
  year =	 "2005",
  number =	 "AIB-2006-08",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-08.ps.gz",
}
@TECHREPORT{AIB200609,
  AUTHOR =        {Tingting Han and Joost-Pieter Katoen},
  TITLE =         {Counterexamples in Probabilistic Model Checking},
  NUMBER =        {AIB200609},
  INSTITUTION =   {Software Modelling and Verification (i2), RWTH Aachen},
  ADDRESS =       {},
  ABSTRACT =      {This paper considers algorithms and complexity results for the
generation of counterexamples in model checking of probabilistic
until-formulae in discrete-time Markov chains (DTMCs). It is shown
that finding the strongest evidence (i.e, the most probable path)
that violates a (bounded) until-formula can be found in polynomial
time using single-source (hop-constrained) shortest path
algorithms. We also show that computing the smallest
counterexample that is mostly deviating from the required
probability bound can be found in a pseudo-polynomial time
complexity by adopting a certain class of algorithms for the
(hop-constrained) $k$ shortest paths problem.},
  KEYWORDS =      {},
  NOTE =          {},
  MONTH =         {August},
  YEAR  =         {2006},
  AUTHOR1_URL =   {http://www-i2.informatik.rwth-aachen.de/i2/han/},
  AUTHOR1_EMAIL = {tingting.han@cs.rwth-aachen.de},
  AUTHOR2_URL =   {http://www-i2.informatik.rwth-aachen.de/i2/katoen/},
  AUTHOR2_EMAIL = {katoen@cs.rwth-aachen.de},
  PAGES =         {20},
  FILE  =         {},
  URL   =         {},
  CONTACT =       {tingting.han@cs.rwth-aachen.de}
}
@techreport{GunZimWen06,
  Author = {Mesut G{\"u}nes and Alexander Zimmermann and Martin Wenig and Jan Ritzerfeld and Ulrich Meis},
  Institution = {RWTH Aachen University},
  Keywords = {MCG-Mesh, Wireless Mesh Networks, WMN, Testbed, Xen},
  Month = {August},
  Number = {AIB-2006-10},
  Title = {From Simulations to Testbeds - Architecture of the Hybrid MCG-Mesh Testbed},
  Url = {http://aib.informatik.rwth-aachen.de/2006/2006-10.pdf},
  Year = {2006}
}
@TechReport{SRWK06,
  author =		"Bastian Schlich and Michael Rohrbach and Michael Weber and Stefan Kowalewski",
  title =		"Model Checking Software for Microcontrollers",
  institution =	"RWTH Aachen",
  year =		"2006",
  number =		"AIB-2006-11",
  month = 		August,
  url = 		"http://aib.informatik.rwth-aachen.de/2006/2006-11.ps.gz",
}
@TechReport{BKKL06,
  author =       {Benedikt Bollig and Joost-Pieter Katoen and Carsten Kern and Martin Leucker},
  title =        {Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning},
  institution =  {RWTH Aachen},
  year =         {2006},
  number =       {AIB-2006-12},
  month =        oct,
  url =          {http://aib.informatik.rwth-aachen.de/2006/2006-12.ps.gz}
}
@TechReport{AIB-2006-13,
  author =	 {Wong Karianto and Christof L{\"o}ding},
  title =	 {Unranked Tree Automata with Sibling Equalities and
                  Disequalities},
  institution =	 {RWTH Aachen},
  year =	 2006,
  number =	 {AIB-2006-13},
  month =	 {October},
  url =		 {http://aib.informatik.rwth-aachen.de/2006/2006-13.pdf},
  keywords =	 {(unranked) tree automata, monadic second-order logic, equality
                  and disequality constraints}
}

@TechReport{vonderMassen06,
  author = "Danilo Beuche, Andreas Birk, Heinrich Dreier, Andreas Fleischmann, Heidi Galle, Gerald Heller, Dirk Janzen, Isabel John, Ramin Tavakoli Kolagari, Thomas von der Maßen, Andreas Wolfram",
  title = "Report of the GI Work Group Requirements Management Tools for Product Line Engineering",
  institution = "RWTH Aachen",
  year = "2006",
  number = "AIB-2006-14",
  month = dec,
  url = "http://aib.informatik.rwth-aachen.de/2006/2006-14.ps.gz",
}
@techreport{UllrichAIB2006,
  Author = "Sebastian Ullrich and Jakob T. Valvoda and Torsten Kuhlen",
  Title = "Utilizing optical sensors from mice for new input devices",
  Institution = "RWTH Aachen University",
  Keywords = "input devices, optical mouse sensor, 3D interaction, registration, image analysis, character animation, virtual reality",
  Year = "2006",
  Month = dec,
  Number = "AIB-2006-15",
  Url = "http://aib.informatik.rwth-aachen.de/2006/2006-15.ps.gz",
}
@TechReport{BallagasBorchers06,
  author =	 "Rafael Ballagas and Jan Borchers",
  title =	 "Selexels: a Conceptual Framework for Pointing Devices with Low Expressiveness",
  institution =	 "RWTH Aachen",
  year =	 "2006",
  number =	 "AIB-2006-16",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-16.ps.gz",
}
@TechReport{LeeKielBorchers17,
  author =     "Eric Lee and Henning Kiel and Jan Borchers",
  title =     "Scrolling Through Time: Improving Interfaces for Searching and Navigating Continuous Audio Timelines",
  institution =     "RWTH Aachen",
  year =     "2006",
  number =     "AIB-2006-17",
  month =     dec,
  keywords =     "audio interfaces, audio scrubbing, audio timeline navigation, empirical study, time-based media, time-stretching"
  url =          "http://aib.informatik.rwth-aachen.de/2006/2006-17.ps.gz",
} @TechReport{AIB-2007-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2006",
    institution = "RWTH Aachen",
    year = "2007",
    number = "AIB-2007-01"}
@TechReport{satpolo07,
  author = "Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, and Harald Zankl",
  title = "SAT Solving for Termination Analysis with Polynomial Interpretations",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-02",
  month = jan,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-02.ps.gz",
}
@TechReport{increasing07,
  author = "Jürgen Giesl, René Thiemann, Stephan Swiderski, and Peter Schneider-Kamp",
  title = "Proving Termination by Bounded Increase",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-03",
  month = feb,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-03.ps.gz",
}
@TechReport{BuchholzLeeKleinBorchers04,
  author =     "Jan Buchholz and Eric Lee and Jonathan Klein and Jan Borchers",
  title =     "{coJIVE}: A System to Support Collaborative Jazz Improvisation",
  institution =     "RWTH Aachen",
  year =     "2007",
  number =     "AIB-2007-04",
  month =     mar,
  keywords =     "jazz improvisation, harmony analysis, musical support, collaboration support"
  url =          "http://aib.informatik.rwth-aachen.de/2006/2007-04.ps.gz",
} 
@TechReport{AIB-2007-05,
  author =	 "Uwe Naumann",
  title =	 "On Optimal DAG Reversal",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-05",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-05.ps.gz",
}
@techreport{NollRiegerKatoen07,
 author = {Joost--Pieter Katoen and Thomas Noll and Stefan Rieger},
 title = {Verifying Concurrent List-Manipulating Programs by LTL Model Checking},
 institution = {RWTH Aachen University, Dept.\ of Computer Science},
 address = {Germany},
 series = {Aachener Informatik Berichte},
 number = {2007--06},
 month = {April},
 year = {2007},
 url = "http://aib.informatik.rwth-aachen.de/2007/2007-06.ps.gz", 
}
@TechReport{nyssenlichter07,
  author =	 "Alexander Nyßen and Horst Lichter",
  title =	 "{M}e{DUSA} - {Me}tho{D} for {U}ML2-based {D}esign of {E}mbedded {S}oftware {A}pplications",
  institution =	 "RWTH Aachen University",
  year =	 "2007",
  number =	 "AIB-2007-07",
  month =	 May,
  url =      "http://aib.informatik.rwth-aachen.de/2007/2007-07.ps.gz",
}

@TechReport{SalewskiKowalewski07,
  author =  "Falk Salewski and Stefan Kowalewski",
  title  =  "Achieving Highly Reliable Embedded Software: An empirical evaluation of different approaches",
  institution =  "RWTH Aachen",
  year   =  "2007",
  number =  "AIB-2007-08",
  month  =  Jun,
  url    = "http://aib.informatik.rwth-aachen.de/2007/2007-08.pdf",
} 
@TechReport{KrausserMantelSudbrock07,
  author =	 "Tina Krau{\ss}er} and Heiko Mantel and Henning Sudbrock",
  title  =	 "{A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption}",
  institution =	 "RWTH Aachen",
  year   =	 "2007",
  number =	 "AIB-2007-09",
  month  =	 may
}
@techreport{NeuhaeusserKatoen07,
 author = {Martin R. Neuh{\"a}u{\ss}er and Joost--Pieter Katoen},
 title = {Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes},
 institution = {RWTH Aachen University, Dept.\ of Computer Science},
 address = {Germany},
 series = {Aachener Informatik Berichte},
 number = {2007--10},
 month = {August},
 year = {2007},
 url = "http://aib.informatik.rwth-aachen.de/2007/2007-10.ps.gz", 
}
@techreport{Wehrle:2007,
    Author = {Klaus Wehrle},
    Institution = {RWTH Aachen University},
    Keywords = {Sensor Netzwerk, Sensor Network, Wireless Sensor Network, WSN},
    Month = {7},
    Number = {AIB-2007-11},
    Title = {6. Fachgespräch Sensornetzwerke},
    Url = {},
    Year = {2007},
    Abstract = {}
}@TechReport{Naumann2007ALAaib,
  author =	 "Uwe Naumann",
  title =	 "An L-Attributed Grammar for Adjoint Code",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-12",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-12.ps.gz",
}
@TechReport{Naumann2007SOAaib,
  author =	 "Uwe Naumann, Michael Maier, Jan Riehme, and Bruce Christianson",
  title =	 "Second-Order Adjoints by Source Code Manipulation of Numerical Programs",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-13",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-13.ps.gz",
}
@TechReport{Utke2007OAMaib,
  author =	 "Jean Utke and Uwe Naumann and Mike Fagan and Nathan Tallent and Michelle Strout and
Patrick Heimbach and Chris Hill and Carl Wunsch",
  title =	 "OpenAD/F: A Modular, Open-Source Tool for Automatic Differentiation of Fortran Codes",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-14",
  month =	 jul,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-14.ps.gz",
}
@TechReport{AIB2007-15,
  author =	 "Volker Stolz",
  title =	 "Temporal assertions for sequential and concurrent programs",
  institution =	 "RWTH Aachen University",
  year =	 "2007",
  number =	 "AIB-2007-15",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-15.pdf",
}
@TechReport{Makram07,
  author =	 "Sadeq Ali Makram, Mesut G\"une\c{s}, Martin Wenig, Alexander Zimmermann",
  title =	 "Adaptive Channel Assignment to Support QoS and Load Balancing for Wireless Mesh Networks",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-16",
  month =	 Aug,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-16.ps.gz",
}
@TechReport{AIB2007-17,
  author      = "René Thiemann",
  title       = "The DP Framework for Proving Termination of Term Rewriting",
  institution = "RWTH Aachen University",
  year        = "2007",
  number      = "AIB-2007-17",
  month       = oct,
  url         = "http://aib.informatik.rwth-aachen.de/2007/2007-17.pdf",
}
@TechReport{NaumannAIB2007CTR,
  author =       "Uwe Naumann",
  title =        "Call Tree Reversal is NP-Complete",
  institution =  "RWTH Aachen",
  year =         "2007",
  number =       "AIB-2007-18",
  month =        dec,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-18.ps.gz",
}

@TechReport{RiehmeAIB2007AfT,
  author =       "Jan Riehme, Andrea Walther, J\"org Stiller, Uwe Naumann",
  title =        "Adjoints for Time-Dependent Optimal Control",
  institution =  "RWTH Aachen",
  year =         "2007",
  number =       "AIB-2007-19",
  month =        dec,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-19.ps.gz",
}
@TechReport{KKLW07,
  author =	 "Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf",
  title =	 "Three-Valued Abstraction for Probabilistic Systems",
  institution =	 "RWTH Aachen",
  year =	 "2007",
  number =	 "AIB-2007-20",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2007/2007-20.ps.gz",
}
@TechReport{alexmer,
  author = "Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre",
  title = "Compositional {M}odeling and {M}inimization of {T}ime-{I}nhomogeneous {M}arkov {C}hains",
  institution = "RWTH Aachen",
  year = "2007",
  number = "AIB-2007-21",
  month = dec,
  url = "http://aib.informatik.rwth-aachen.de/2007/2007-21.ps.gz",
}
@TechReport{AckermannGMRV07,
  author      = {Heiner Ackermann and Paul W. Goldberg and Vahab S. Mirrokni and Heiko R{\"o}glin and Berthold V{\"o}cking},
  title       = {Uncoordinated Two-Sided Markets},
  institution =	{RWTH Aachen},
  year        = {2007},
  number      = {AIB-2007-22},
  month       = dec,
  url         = {http://aib.informatik.rwth-aachen.de/2007/2007-22.ps.gz},
}
@TechReport{AIB-2008-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2007/2008",
    institution = "RWTH Aachen",
    year = "2008",
    number = "AIB-2008-01"}
@TechReport{BohnenkampStoelinga0108,
  author =	 "Henrik Bohnenkamp and Mari{\"e}lle Stoelinga",
  title =	 "Quantitative Testing",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-02",
  month =	 jan,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-02.pdf"
}

@TechReport{MaxTermination,
  author =	 "Carsten Fuhs and Jürgen Giesl and Aart Middeldorp and Peter Schneider-Kamp and René Thiemann and Harald Zankl",
  title =	 "Maximal Termination",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-03",
  month =	 jan,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-03.pdf"
}

@TechReport{NaumannAIB2008SAi,
  author =	 "Uwe Naumann and Jan Riehme",
  title =	 "Sensitivity Analysis in Sisyphe with the AD-Enabled NAGWare Fortran Compiler",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-04",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-04.ps.gz",
}
@TechReport{Radmacher08,
  author =       {Frank~G.\ Radmacher},
  title =        {An Automata Theoretic Approach to the Theory of
                  Rational Tree Relations},
  institution =  {RWTH Aachen},
  number =       {AIB-2008-05},
  year =         2008,
  month =        mar,
  url =          {http://aib.informatik.rwth-aachen.de/2008/2008-05.ps.gz},
  keywords =     {tree automata, rational tree relations, transductions},
  abstract =     {We investigate rational relations over trees.
    Our starting point is the definition of rational tree relations via
    rational expressions by Raoult (Bull.\,Belg.\,Math.\,Soc.\ 1997).
    We develop a new class of automata, called asynchronous tree automata,
    which recognize exactly these relations.
    The automata theoretic approach is convenient for the solution of
    algorithmic problems (like the emptiness problem).
    The second contribution of this paper is a new subclass of the rational
    tree relations, called separate-rational tree relations, defined via a
    natural restriction on asynchronous tree automata. These relations are
    closed under composition, preserve regular tree languages, and generate
    precisely the regular sets in the unary case (all these properties fail
    for the general model), and they are still more powerful than, for
    instance, the automatic tree relations.}
}

@TechReport{NaumannAIB2008AFf,
  author =	 "Uwe Naumann and Laurent Hasco\"et and Chris Hill and Paul Hovland and Jan Riehme and Jean Utke",
  title =	 "A Framework for Proving Correctness of Adjoint Message Passing Programs",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-06",
  month =	 april,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-06.ps.gz",
}
@TechReport{MEDUSA2nd,
  author =	 "Alexander Nyßen and Horst Lichter",
  title =	 "The MeDUSA Reference Manual, Second Edition",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-07",
  month =	 july,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-07.pdf",
}
@TechReport{MertziosNikolopoulosAIB0808,
 author =      "George B. Mertzios and Stavros D. Nikolopoulos",
 title =       "The $\lambda$-cluster Problem on Parameterized Interval Graphs",
 institution = "RWTH Aachen",
 year =        "2008",
 number        "AIB-2008-08",
 month =       "May",
 url =         "http://aib.informatik.rwth-aachen.de/2008/2008-08.pdf"
} 
@TechReport{MertziosUngerAIB0809,
 author =      "George B. Mertzios and Walter Unger",
 title =       "An optimal algorithm for the k-fixed-endpoint path cover on proper interval graphs",
 institution = "RWTH Aachen",
 year =        "2008",
 number =      "AIB-2008-09",
 month =       "May",
 url =         "http://aib.informatik.rwth-aachen.de/2008/2008-09.pdf"
} 
@TechReport{MertziosUngerAIB0810,
author =      "George B. Mertzios and Walter Unger",
title =       "Preemptive Scheduling of Equal-Length Jobs in Polynomial Time",
institution = "RWTH Aachen",
year =        "2008",
number =      "AIB-2008-10",
month =       "May",
url =         "http://aib.informatik.rwth-aachen.de/2008/2008-10.pdf"
} 
@TechReport{MertziosAIB0811,
author =      "George B. Mertzios",
title =       "Fast Convergence of Routing Games with Splittable Flows",
institution = "RWTH Aachen",
year =        "2008",
number =      "AIB-2008-11",
month =       "May",
url =         "http://aib.informatik.rwth-aachen.de/2008/2008-11.pdf"
}
@TechReport{KKLW08,
  author =	 "Joost-Pieter Katoen and Daniel Klink and Martin Leucker and Verena Wolf",
  title =	 "Abstraction for stochastic systems by {E}rlang's method of stages",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-12",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-12.ps.gz",
}@TechReport{CSDPs,
  author =	 "Beatriz Alarcón and Fabian Emmes and Carsten Fuhs and Jürgen  Giesl and Raúl Gutierrez and Salvador Lucas and Peter Schneider-Kamp and René Thiemann",
  title =	 "Improving Context-Sensitive Dependency Pairs",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-13",
  month =	 jun,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-13.ps.gz"
}@TechReport{Schlich08,
  author =	 {Bastian Schlich},
  title =	 {Model Checking of Software for Microcontrollers},
  institution =	 {RWTH Aachen University},
  year =	 {2008},
  number =	 {AIB-2008-14},
  month =	 {June},
  url =          {http://aib.informatik.rwth-aachen.de/2008/2008-14.pdf},
  type =         {{Dissertation Thesis}},
  issn =	 {0935-3232}
}
@TechReport{KneisLangerRossmanith08,
  author =	 "Joachim Kneis and Alexander Langer and Peter Rossmanith",
  title =	 "A New Algorithm for Finding Trees with Many Leaves",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-15",
  month =	 jun,
  keywords =     "Exact Algorithms, Parameterized Complexity, Maximum Leaf Trees"
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-15.ps.gz",
}

@TechReport{VomlehnWeingaertnerWehrle08,
  author =	 "Hendrik vom Lehn and Elias Weing\"{a}rtner and Klaus Wehrle",
  title =	 "Comparing recent network simulators: A performance evaluation study",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-16",
  month =	 jul,
  keywords =     "network simulation, discrete-event simulation, overview, comparison"
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-16.pdf",
}
@TechReport{Schneider-Kamp08,
  author =	 "Peter Schneider-Kamp",
  title =	 "Static Termination Analysis for Prolog using Term Rewriting and SAT Solving",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-17",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-17.pdf",
}
@TechReport{Salewski08,
  author =	 "Falk Salewski",
  title =	 "Empirical Evaluations of Safety-Critical Embedded Systems",
  institution =	 "RWTH Aachen",
  year =	 "2008",
  number =	 "AIB-2008-18",
  month =	 feb,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-18.pdf",
}
@TechReport{Wilking08,
  author =	 "Dirk Wilking",
  title =	 "Empirical Studies for the Application of Agile Methods to Embedded Systems",
  institution =	 "RWTH Aachen University",
  year =	 "2008",
  number =	 "AIB-2008-19",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2008/2008-19.ps.gz",
}
@TechReport{AIB-2009-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2009",
    institution = "RWTH Aachen",
    year = "2009",
    number = "AIB-2009-01"}
@TechReport{AIB200902,
  author =	 "Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre",
  title =	 "{Q}uantitative {M}odel {C}hecking of {C}ontinuous-{T}ime {M}arkov {C}hains {A}gainst {T}imed {A}utomata {S}pecifications",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-02",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-02.ps.gz"
}
@TechReport{Nyssen09,
   author =      "Alexander Nyßen",
   title =       "Model-Based Construction of Embedded \& Real-Time Software - A Methodology for Small Devices",
   institution =  "RWTH Aachen",
   year =        "2009",
   number =      "AIB-2009-03",
   month =       feb,
   url =          "http://aib.informatik.rwth-aachen.de/2009/2009-03.pdf",
}
@TechReport{MertziosSauZaksAIB0905,
 author =       "George B. Mertzios and Ignasi Sau and Shmuel Zaks",
 title =        "A New Intersection Model and Improved Algorithms for Tolerance Graphs",
 institution =  "RWTH Aachen",
 year =         "2009",
 number =       "AIB-2009-05",
 month =        "March",
 url =          "http://aib.informatik.rwth-aachen.de/2009/2009-05.pdf"
}
@TechReport{MertziosSauZaksAIB0906,
author =     "George B. Mertzios and Ignasi Sau and Shmuel Zaks",
title =     "The Recognition of Tolerance and Bounded Tolerance Graphs is NP-complete",
institution =     "RWTH Aachen",
year =     "2009",
number =     "AIB-2009-06",
month =     "April",
url =          "http://aib.informatik.rwth-aachen.de/2009/2009-06.pdf"
}
@TechReport{KneisLangerRossmanith09,
  author =	 "Joachim Kneis and Alexander Langer and Peter Rossmanith",
  title =	 "Derandomizing Non-uniform Color-Coding {I}",
  institution =	 "RWTH Aachen University",
  year =	 "2009",
  number =	 "AIB-2009-07",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-07.ps.gz",
  keywords =     "Randomized Algorithms, Parameterized Algorithms, Color Coding, Derandomization, Unique Coverage"
}

@TechReport{KneisLanger09,
  author =	 "Joachim Kneis and Alexander Langer",
  title =	 "Satellites and Mirrors for Solving Independent Set on Sparse Graphs",
  institution =	 "RWTH Aachen University",
  year =	 "2009",
  number =	 "AIB-2009-08",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-08.ps.gz",
  keywords =     "Exact Algorithms, Independent Set, Sparse Graphs"
}

@TechReport{Nett09,
  author =	 "Michael Nett",
  title =	 "Implementation of an Automated Proof for an Algorithm Solving the Maximum Independent Set Problem",
  institution =	 "RWTH Aachen University",
  year =	 "2009",
  number =	 "AIB-2009-09",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-09.ps.gz",
  keywords =     "Exact Algorithms, Independent Set, Computer-generated Proof"
}
@TechReport{ReidlSanchez09,
  author =	 "Felix Reidl and Fernando S{\'}anchez Villaamil",
  title =	 "Automatic Verification of the Correctness of the Upper Bound of a Maximum Independent Set Algorithm",
  institution =	 "RWTH Aachen University",
  year =	 "2009",
  number =	 "AIB-2009-10",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-10.ps.gz",
  keywords =     "Exact Algorithms, Independent Set, Computer-generated Proof"
}
@TechReport{IoannidouMertziosNikolopoulos-AIB0911,
author = "Kyriaki Ioannidou and George B. Mertzios and Stavros D. Nikolopoulos",
title = "The Longest Path Problem is Polynomial on Interval Graphs",
institution = "RWTH Aachen",
year = "2009",
number = "AIB-2009-11",
month = "April",
url = "http://aib.informatik.rwth-aachen.de/2009/2009-11.pdf"
}
@TechReport{NeuZhang09,
  author =	 "Martin Neuh{\"a}u{\ss}er and Lijun Zhang",
  title =	 "Time-bounded reachability in continuous-time {M}arkov decision processes",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-12",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-12.ps.gz",
}

@TechReport{Z09,
  author =       "Martin Zimmermann",
  title =        "Time-optimal Winning Strategies for Poset Games",
  institution =  "RWTH Aachen University",
  year =         "2009",
  number =       "AIB-2009-13",
  month =        may,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-13.ps.gz",
  keywords =     "Infinite Games, Optimal Strategies, Scheduling, Mean-Payoff Games"
}
@proceedings{HKS09,
    Address = {Aachen, Germany},
    Editor = {Huuck, R. and Klein, G. and Schlich, B.},
    Issn = {0935-3232},
    Month = {June},
    Number = {AIB-2009-14},
    Publisher = {RWTH Aachen University},
    Series = {Aachener Informatik Berichte},
    Title = {{Doctoral Symposium on Systems Software Verification (DS SSV'09), Aachen, Germany}},
    Url = {http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf},
    Year = {2009}
}
@TechReport{KatoenKlinkNeuhaeusser09,
  author =	 "Joost-Pieter Katoen and Daniel Klink and Martin Neuh\"au{\ss}er",
  title =	 "Compositional Abstraction for Stochastic Systems",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-15",
  month =	 jun,
  url =      "http://aib.informatik.rwth-aachen.de/2009/2009-15.pdf",
}
@TechReport{MertziosCorneil-AIB0916,
author = "George B. Mertzios and Derek G. Corneil",
title = "Vertex Splitting and the Recognition of Trapezoid Graphs",
institution = "RWTH Aachen",
year = "2009",
number = "AIB-2009-16",
month = "September",
url = "http://aib.informatik.rwth-aachen.de/2009/2009-16.pdf"
}
@TechReport{Kern09,
  author =	 "Carsten Kern",
  title =	 "Learning Communicating and Nondeterministic Automata",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-17",
  month =	 sept,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-17.pdf",
}

@TechReport{HaenschSlaatsThomas09,
  author =	 "Paul H\"ansch and Michaela Slaats and Wolfgang Thomas",
  title =	 "Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies",
  institution =	 "RWTH Aachen",
  year =	 "2009",
  number =	 "AIB-2009-18",
  month =	 sep,
  url =          "http://aib.informatik.rwth-aachen.de/2009/2009-18.ps.gz",
}
@TechReport{AIB-2010-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2010",
    institution = "RWTH Aachen",
    year = "2010",
    number = "AIB-2010-01"}
@TechReport{NeiderLoeding10,
  author      =	 {Neider, Daniel and L\"oding, Christof},
  title       =	 {Learning Visibly One-Counter Automata in Polynomial Time},
  institution =	 {RWTH Aachen},
  year        =  {2010},
  number      =	 {AIB-2010-02},
  month       =	 jan,
  keywords =     {visibly, one-counter automata, learning},
  url         =  {http://aib.informatik.rwth-aachen.de/2010/2010-02.pdf}
}
@TechReport{Krahn10,
  author =	 "Holger Krahn",
  title =	 {MontiCore: Agile Entwicklung von dom\"anenspezifischen Sprachen im Software-Engineering},
  institution =	 "RWTH Aachen",
  year =	 "2010",
  number =	 "AIB-2010-03",
  month =	 mar,
  keywords = {dsl, domain specific languages, monticore, dissertation},
  url =      "http://aib.informatik.rwth-aachen.de/2010/2010-03.pdf",
}
@TechReport{Woerzberger01,
  author = "Ren{\'e} W{\"o}rzberger",
  title =	"{Management dynamischer Gesch{\"a}ftsprozesse auf Basis statischer Prozessmanagementsysteme}",
  institution =	 "RWTH Aachen",
  year =	 "2010",
  number =	 "AIB-2010-04",
  month =	 apr,
  keywords = "business process management, process models, dynamics, WS-BPEL, graph grammars, process similarity, dissertation",
  url = "http://aib.informatik.rwth-aachen.de/2010/2010-04.pdf"
}

@TechReport{Retkowitz10,
  author = "Daniel Retkowitz",
  title = "{Softwareunterst{\"u}tzung f{\"u}r adaptive eHome-Systeme}",
  institution = "RWTH Aachen University",
  year = "2010",
  number = "AIB-2010-05",
  month = jul,
  keywords = "Software Engineering, Semantic Modeling, eHome Systems, Smart Homes, Software Composition, Dissertation",
  url = "http://aib.informatik.rwth-aachen.de/2010/2010-05.pdf",
}
@TechReport{AIB-2010-06-CHKM10,
 author =       "Taolue Chen and Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre",
 title =        "Computing maximum reachability probabilities in {M}arkovian timed automata",
 institution =  "RWTH Aachen",
 year =         "2010",
 number =       "AIB-2010-06",
 month =        jun,
 url =          "http://aib.informatik.rwth-aachen.de/2010/2010-06.ps.gz",
}
@TechReport{Mertzios-AIB1007,
author = "George B. Mertzios",
title = "A New Intersection Model for Multitolerance Graphs, Hierarchy, and Efficient Algorithms",
institution = "RWTH Aachen",
year = "2010",
number = "AIB-2010-07",
month = "March",
url ="http://aib.informatik.rwth-aachen.de/2010/2010-07.pdf"
}
@TechReport{OttoEtAl-AIB1008,
author = "C.\ Otto and M.\ Brockschmidt and C.\ {von Essen} and J.\ Giesl",
title = "Automated Termination Analysis of \textsf{Java Bytecode} by Term Rewriting",
institution = "RWTH Aachen",
year = "2010",
number = "AIB-2010-08",
month = "April",
url ="http://aib.informatik.rwth-aachen.de/2010/2010-08.pdf"
}
@TechReport{Mertzios-Zaks-AIB1009,
author = "Mertzios, George B. and Shmuel Zaks",
title = "The Structure of the Intersection of Tolerance and Cocomparability Graphs",
institution = "RWTH Aachen",
year = "2011 (revised version)",
number = "AIB-2010-09",
month = "December",
url ="http://aib.informatik.rwth-aachen.de/2010/2010-09.pdf"
}
@TechReport{SchneiderKampEtAl-AIB1010,
  author = "P.\ Schneider-Kamp and J.\ Giesl and T.\ Str\"oder and A.\ Serebrenik and R.\ Thiemann",
  title = "Automated Termination Analysis of Logic Programs with Cut",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-10",
  month = "April",
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-10.pdf"
}
@TechReport{AIB201011Z10,
  author =       "Martin Zimmermann",
  title =        "Parametric LTL Games",
  institution =  "RWTH Aachen University",
  year =         "2010",
  number =       "AIB-2010-11",
  month =        june,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2010-11.ps.gz",
  keywords =     "Infinite Games, Temporal Logic, Optimal Strategies"
}
@TechReport{StroederEtAl-AIB2010-12,
  author = "T.\ Str\"oder and P.\ Schneider-Kamp and J.\ Giesl",
  title = "Dependency Triples for Improving Termination Analysis of Logic Programs with Cut",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-12",
  month = "June",
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-12.pdf"
}
@TECHREPORT{Armoush10,
  author = {Ashraf Armoush},
  title = {Design Patterns for Safety-Critical Embedded Systems},
  institution = {RWTH Aachen},
  year = {2010},
  number = {AIB-2010-13},
  month = Jun,
  url = {http://aib.informatik.rwth-aachen.de/2010/2010-13.pdf}
}

@TechReport{CodishEtAl-AIB2010-14,
  author = "M.\ Codish and C.\ Fuhs and J.\ Giesl and P.\ Schneider-Kamp",
  title = "Lazy Abstraction for Size-Change Termination",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-14",
  month = aug,
  url = "http://aib.informatik.rwth-aachen.de/2010/2010-14.pdf"
}
@TechReport{BrockschmidtEtAl-AIB2010-15,
  author = "M.\ Brockschmidt and C.\ Otto and C.\ {von Essen} and J.\ Giesl",
  title = "Termination Graphs for \textsf{Java Bytecode}",
  institution = "RWTH Aachen",
  year = "2010",
  number = "AIB-2010-15",
  month = jul,
  url ="http://aib.informatik.rwth-aachen.de/2010/2010-15.pdf"
}
@TechReport{Berger10,
 author =       "Christian Berger",
 title =        {Automating Acceptance Tests for Sensor- and Actuator-based Systems on the Example of Autonomous Vehicles},
 institution =  "RWTH Aachen",
 year =         "2010",
 number =       "AIB-2010-16",
 month =        aug,
 keywords = {autonomous vehicles, DARPA Urban Challenge, modeling, simulation, validation, sensor simulation, regression testing, multi-platform C++ realtime framework},
 url =      "http://aib.informatik.rwth-aachen.de/2010/2010-16.pdf",
}

@TechReport{Groenniger10,
  author =	 "Hans Gr{\"o}nniger",
  title =	 "Systemmodell-basierte {D}efinition objektbasierter {M}odellierungssprachen mit semantischen {V}ariationspunkten",
  institution =	 "RWTH Aachen",
  year =	 "2010",
  number =	 "AIB-2010-17",
  month =	 aug,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2010-17.ps.gz",
}
@TechReport{Armac10,
  author = "Ibrahim Arma\c{c}",
  title = "{Personalisierte eHomes: Mobilit{\"a}t, Privatsph{\"a}re und Sicherheit}",  
  institution = "RWTH Aachen University",
  year = "2010",
  number = "AIB-2010-18",
  month = september,
  keywords = "Software Engineering, eHome Systems, Smart Homes, Mobility, Privacy, Security, Personalization, Dissertation",
  url = "http://aib.informatik.rwth-aachen.de/2010/2010-18.pdf",
}
@TechReport{Reidl10,
  author =	 "Felix Reidl",
  title =	 "Experimental Evaluation of an Independent Set Algorithm",
  institution =	 "RWTH Aachen University",
  year =	 "2010",
  number =	 "AIB-2010-19",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2010-19.ps.gz",
  keywords =     "Exact Algorithms, Independent Set, Experiments"
}
@TechReport{AIB201020,
  author =       "Wladimir Fridman and Christof L{\"o}ding and Martin Zimmermann",
  title =        "Degrees of Lookahead in Context-free Infinite Games",
  institution =  "RWTH Aachen University",
  year =         "2010",
  number =       "AIB-2010-20",
  month =        dec,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2010-20.ps.gz",
  keywords =     "Infinite Games, Context-free Languages, Games with Delay"
}
@TechReport{AIB-2011-01,
    author = "Fachgruppe Informatik",
    title = "Jahresbericht 2011",
    institution = "RWTH Aachen",
    year = "2011",
    number = "AIB-2011-01"}
@TechReport{AIB-2011-02-BOG11,
   author =      "Marc Brockschmidt and Carsten Otto and J\"urgen Giesl",
   title =       "Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting",
   institution = "RWTH Aachen",
   year =        "2011",
   number =      "AIB-2011-02",
   month =       apr,
   keywords =    "termination, Java Bytecode, term rewriting, recursion"
   url =         "http://aib.informatik.rwth-aachen.de/2011/2011-02.pdf",
}
@TechReport{AIB-2011-03-NEG11,
   author =       "Lars Noschinski and Fabian Emmes and J\"urgen Giesl",
   title =        "A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-03",
   month =        apr,
   keywords =     "complexity, termination, term rewriting, dependency pairs",
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-03.pdf",
}
@TechReport{AIB-2011-04-JHKN11,
  author =       "Christina Jansen and Jonathan Heinen and Joost-Pieter Katoen and Thomas Noll",
  title =        "A Local Greibach Normal Form for Hyperedge Replacement Grammars",
  institution =  "RWTH Aachen",
  year =         "2011",
  number =       "AIB-2011-04",
  month =        jan,
  keywords =     "hyperedge replacement grammars, heap abstraction, Greibach Normal Form",
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-04.pdf",
}
@TechReport{MaozRingertRumpe11,
  author =	 "Shahar Maoz and Jan Oliver Ringert and Bernhard Rumpe",
  title =	 "An Operational Semantics for Activity Diagrams using SMV",
  institution =	 "RWTH Aachen University",
  year =	 "2011",
  number =	 "AIB-2011-07",
  month =	 jul,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-07.ps.gz",
}
@TechReport{LOPSTR2011,
  author =	 "T.\ Str\"{o}der and F.\ Emmes and P.\ Schneider-Kamp and J.\  Giesl and C.\ Fuhs",
  title =	 "A Linear Operational Semantics for Termination and Complexity Analysis of \textsf{ISO Prolog}",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-08",
  month =	 jul,
  keywords = "Prolog, Semantics, Complexity, Termination, Logic Programming",
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-08.pdf",
}
@TechReport{AIB-2011-09,
   author =       "Markus Beckers and Johannes Lotz and Viktor Mosenkis and Uwe Naumann (Editors)",
   title =        "Fifth SIAM Workshop on Combinatorial Scientific Computing",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-09",
   month =        october,
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-09.pdf",
}

@TechReport{AIB-2011-10,
   author =       "Markus Beckers and Viktor Mosenkis and Michael Maier and Uwe Naumann",
   title =        "Adjoint Subgradient Calculation for McCormick Relaxations",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-10",
   month =        october,
   keywords =     "Algorithmic Differentiation, Adjoints, McCormick Relaxations, Subgradients, Global Optimization, Branch-and-Bound",
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-10.pdf",
}
@TechReport{JAKWKB11,
  author =	 "Nils Jansen and Erika \'Abrah\'am and Jens Katelaan and Ralf Wimmer and Joost-Pieter Katoen and Bernd Becker",
  title =	 "Hierarchical Counterexamples for Discrete-Time Markov Chains",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-11",
  month =	 may,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-11.pdf",
  keywords = 	 "stochastic model checking, probabilistic systems, abstraction, counterexamples"
}

@TECHREPORT{FelscherThomas-AIB-2011-12,
  author =	 "Ingo Felscher and Wolfgang Thomas",
  title =	 "On {C}ompositional {F}ailure {D}etection in {S}tructured {T}ransition {S}ystems",
  institution =	 "RWTH Aachen University",
  keywords = "model-checking, finitely synchronized products, compositional failure detection",
  year =	 "2011",
  number =	 "AIB-2011-12",
  month =	 aug,
  url =      "http://aib.informatik.rwth-aachen.de/2011/2011-12.ps.gz",
}
@TechReport{FoersterNaumannUtke11,
  author =	 "Michael F\"orster and Uwe Naumann and Jean Utke",
  title =	 "Toward Adjoint OpenMP",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-13",
  month =	 jul,
  keywords=  "Shared Memory Multiprocessing; OpenMP; Algorithmic Differentiation; Source-to-source Transformation; Numerical simulations;",
  url =      "http://aib.informatik.rwth-aachen.de/2011/2011-13.ps.gz",
}
@TechReport{NRZ11-AIB-2011-14,
  author =       "Daniel Neider and Roman Rabinovich and Martin Zimmermann",
  title =        "Solving Muller Games via Safety Games",
  institution =  "RWTH Aachen University",
  year =         "2011",
  number =       "AIB-2011-14",
  month =        jul,
  url =          "http://aib.informatik.rwth-aachen.de/2010/2011-14.ps.gz",
  keywords =     "Infinite Games, Muller Games, Safety Games, Antichains, Scores"
}
@TechReport{SafiranNaumann-AIB-2011-16,
  author =	 "Niloofar Safiran and Uwe Naumann",
  title =	 "Toward Adjoint OpenFOAM",
  institution =	 "RWTH Aachen",
  year =	 "2011",
  number =	 "AIB-2011-16",
  month =	 jul,
  keywords=  "OpenFOAM; Algorithmic Differentiation; Operator Overloading; Numerical simulations;",
  url =      "http://aib.informatik.rwth-aachen.de/2011/2011-16.ps.gz",
}
@TechReport{barakat11,
  author =       "Kamal Barakat",
  title =        "Introducing Timers to $\pi$-Calculus",
  institution =  "RWTH Aachen",
  keywords = "formal models, domain specific languages, congruence and bisimulation, communicating processes",
  year =         "2011",
  number =       "AIB-2011-18",
  month =        aug,
  url =          "http://aib.informatik.rwth-aachen.de/2011/2011-18.ps.gz",
}
@TechReport{JBC-Nonterm,
   author = "Marc Brockschmidt and Thomas Str\"oder and
             Carsten Otto and J\"urgen Giesl",
   title = "Automated Detection of Non-Termination and
            \code{NullPointerException}s for \textsf{Java Bytecode}",
   institution = "RWTH Aachen",
   year = "2011",
   number = "AIB-2011-19",
   month = sep,
   keywords = "Java Bytecode, non-termination, NullPointerException,
               memory safety, program analysis",
   url = "http://aib.informatik.rwth-aachen.de/2011/2011-19.pdf",
}
@TechReport{AIB-2011-24,
   author =       "Callum Corbett and Uwe Naumann",
   title =        "Demonstration of a Branch-and-Bound Algorithm for Global Optimization using McCormick Relaxations",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-24",
   month =        november,
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-24.pdf",
}
@TechReport{AIB-2011-25,
   author =       "Callum Corbett and Michael Maier and Markus Beckers and Uwe Naumann and Amin Ghobeity and Alexander Mitsos",
   title =        "Compiler-Generated Subgradient Code for McCormick Relaxations",
   institution =  "RWTH Aachen",
   year =         "2011",
   number =       "AIB-2011-25",
   month =        november,
   url =          "http://aib.informatik.rwth-aachen.de/2011/2011-25.pdf",
}
@TechReport{HFu2011,
  author =	 "Hongfei Fu",
  title =	 "The Complexity of Deciding a Behavioural Pseudometric on Probabilistic Automata",
  institution =	 "RWTH Aachen",
  keywords = "quantified verification, behavioural pseudometrics, bisimulation",
  year =	 "2011",
  number =	 "AIB-2011-26",
  month =	 dec,
  url =          "http://aib.informatik.rwth-aachen.de/",
}
@TechReport{AIB-2012-01,
    author = "Fachgruppe Informatik",
    title = "Annual Report 2012",
    institution = "RWTH Aachen",
    year = "2012",
    number = "AIB-2012-01"}
@TechReport{Heer12,
  author =	 "Thomas Heer",
  title =	 "Controlling Development Processes",
  institution =	 "RWTH Aachen",
  keywords = "process management, project controlling",
  year =	 "2012",
  number =	 "AIB-2012-02",
  month =	 january,
  url =      "http://aib.informatik.rwth-aachen.de/2012/2012-02.ps.gz"
}
@TechReport{HRR12,
  author =     "Arne Haber and Jan Oliver Ringert and Bernard Rumpe",
  title =     "MontiArc - Architectural Modeling of Interactive
                  Distributed and Cyber-Physical Systems",
  institution =     "RWTH Aachen",
  keywords =     "architecture description language, MontiCore",
  year =     "2012",
  number =     "AIB-2012-03",
  month =     "february",
  url =  "http://aib.informatik.rwth-aachen.de/2012/2012-03.pdf"
}
@TechReport{Gel12,
  author =	 "Marcus Gelderie",
  title =	 "Strategy Machines and their Complexity",
  institution =	 "RWTH Aachen",
  keywords = "game theory, controller synthesis, strategy representation",
  year =	 "2012",
  number =	 "AIB-2001-02",
  month =	 mar,
  url =          "http://aib.informatik.rwth-aachen.de/2012/2012-04.ps.gz",
}
@TechReport{StroederEmmesGieslSchneiderkampFuhs12,
  author      = "Thomas Str\"oder and Fabian Emmes and J\"urgen Giesl and Peter Schneider-Kamp and Carsten Fuhs",
  title       = "Automated Complexity Analysis for \textsf{Prolog} by Term Rewriting",
  institution = "RWTH Aachen",
  keywords    = "complexity analysis, automated reasoning, logic programs, term rewriting",
  year        = "2012",
  number      = "AIB-2012-05",
  month       = mar,
  url         = "http://aib.informatik.rwth-aachen.de/2012/2012-05.ps.gz"
}
@TechReport{BMOG12,
  author =     "Marc Brockschmidt and Richard Musiol and Carsten Otto and J\"urgen Giesl",
  title =     "Automated Termination Proofs for Java Programs with Cyclic Data",
  institution =     "RWTH Aachen",
  year =     "2012",
  number =     "AIB-2012-06",
  month =     "April",
  url = "http://aib.informatik.rwth-aachen.de/2012/2012-06.pdf"
}