Dissertationen und Habilitationen (AG Krieg-Brückner)

Habilitationen

• Mossakowski, Till (2005)
• Lüth, Christoph (2005)
• Schröder, Lutz (2005)
• Schlingloff, Holger (2001)*: Partial State Space Analysis of Safety-Critical Systems
• Qian, Zhenyu (1996): Foundations for Extended Data Type Specifications and Related Logic Programs

Dissertationen

• Ziegler, Alexander (2009)
• Wünstel, Michael (2009)
• Mandel, Christian (2008)
• Kohlhase, Andrea (2008)*
• Ott, Aliki (2007)*
• Lüttich, Klaus (2007)
• Hübner, Kai (2006)
• Meyer, Thomas (2005)
• Tej, Haykal (2003)
• Lankenau, Axel (2002)
• Dürer, Holger (2001)*
• Schrönen, Michael (1998)*
• Einar Karlsen (1998): Tool Integration in a Functional Setting
• Liu, Jun (1998): Subclass Inheritance in SPECTRALand Higher-Order Pattern Narrowing
• Jürgen Monnerjahn (1998)*: Medizinische Datenanalyse mit selbstorganisierten Karten
• Thomas Röfer (1998): Panoramic Image Processing and Route Navigation
• Michael Fröhlich (1997): Inkrementelles Graphlayout im Visualisierungssystem daVinci
• Kolyang (1997): An Integrated Formal Support Environment for Z in Isabelle/HOL
• Burkhart Wolff (1997): A Generic Calculus of Transformation
• Till Mossakowski (1996)*: Representations, Hierarchies and Graphs of Institutions
• Andreas Bühlmeier (1996)*: Analog Neural Networks in Autonomous Systems
• Matthias Heger (1996): Risk-Averse Reinforcement Learning
• Christoph Herwig (1996, Bremer Studienpreis 1996): Visual Motion Processing for Active Observers
• Thomas Wittmann (1995)*: Insektennavigation: Modelle und Simulationen
• Liu, Junbo (1994): Higher-Order Structured Presentations in a Logical Framework
• Shi, Hui (1994): Extended Matching and Application to Program Transformation
• Wang, Kang (1994)*: Higher-Order Constraint Logic Programming
• Jörn von Holten (1994): Kombination von funktionalen und objekt-orientierten Programmierparadigmen
• Richard Seifert (1993): Property Analysis of Term Rewriting Systems
• Detlef Plump (1993)*: Evaluation of Functional Expressions by Hypergraph Rewriting
• Bernd Gersdorf (1992): Entwurf, Formale Definition und Implementierung der funktional-logischen Programmiersprache ET
• Qian, Zhenyu (1991): Extensions of Order-Sorted Algebraic Specifications: Parameterization, Higher-Order Functions and Polymorphism
• Stefan Kahrs (1991): Lambda-Rewriting: Vereinigung von Lambda-Kalkül und Termersetzung

[Zweitbetreuung (assoziiert zur AG) gekennzeichnet durch *]