Till Mossakowski: Supervised theses

Andre Scholz (current PhD student, topic: Qualitative Spatial Reasoning )
Mihai Codescu (current PhD student, topic: Architectural Refinement in Hets)
Dominik Lücke (current PhD student, thesis submitted: Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency)
Klaus Lüttich (2006). Development of Structured Ontologies in CASL

Dennis Chong (2011). Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel/Transitions-Netzen (first referee: Prof. Dr. Hans-Jörg Kreowski)
Florian Rabe (2008). Representing Logics and Logic Translations (first referee: Prof. Dr. Michael Kohlhase)
Immanuel Normann (2008). Automated Theory Interpretation (first referee: Prof. Dr. Michael Kohlhase)
Morten P. Lindegaard (2004). Proof support for Raise. A reuse approach based on institutions (informal supervision)
Andreas Beck (1999). The liar lies and snow is white (informal supervision)

Olaf Struß (2012). Open-Source-Modellierung und auktionsorientierte Regulierung dezentraler Energienetze
Martin Kühl (2010). Integrating Maude into Hets
Mingyi Liu (2008). Konsistenz-Check von CASL-Spezifikationen
Dennis Walter (2005). Monadic Dynamic Logic: Application and Implementation
Tina Krausser (2005). Hoare-Logik für monadische Berechnungen
Thomas Soller (2005). Spezifikation und Integration von qualitativem Orientierungswissen
Sonja Gröning (2005). Beweisunterstützung für HasCASL in Isabelle/HOL

Thorsten Klenke (2010). Über die Entscheidbarkeit von konjunktiven Anfragen mit Ungleichheit in der Beschreibungslogik EL
Hanns-Martin Kreie (2009). Transformation von CASL-Spezifikationen in UML-Klassendiagramme
Ahmadullah Aminy (2008). Variants of the rush hour problem: analysis and implementation
Heng Jiang (2008). Qualitative Formklassifikation durch die Orientierung der Segmente
Andreas Daniel (2004). Interaktive Realisierung eines Algorithmus zur Kostenoptimierung von Flüssen (second referee, supervisor: Prof. Dr. Hans-Jörg Kreowski)

Christopher Wennhold (2012). Quelloffene Modellierung und auktionsbasierte Regulierung dezentraler Energienetze

Jet Hoe Tang (2009). AI agent for Tetris
Omar Hentati (2009). Embedding of a Multi-Word Synonyms Module in the Information Retrieval System MorphoSaurus
Damian Lilla, Björn Mellies (2009). Allgemeinwissen spielerisch erwerben. Emotionale Bindung an einen Spielcharakter als Element einer experimentellen Applikation
Florian Pommerening (2008). Norms and Space: Integrating Qualitative Rules in the Situation Calculus