supervised theses
Supervised Bachelor, Master and PhD theses
- Supervised PhD theses
- Matrin Glauer (current PhD student, topic: axiom selection for theorem provers)
- Madhura Thosar (current PhD student, topic: tool substitution for robots)
- Eugen Kuksa (current PhD student, topic: calculi and tool support for structured DOL)
- Stephan Günther (current PhD student, topic: ontology design patterns)
- Christoph Engel (current PhD student, topic: extraction of traffic information from microblogs)
- Andre Scholz (current PhD student, topic: qualitative spatial reasoning)
- Maria Hedblom (2018). Image Schemas and Concept Invention: Cognitive, Logical and Linguistic Investigations
- Mihai Codescu (2012). Architectural Refinement in Hets
- Dominik Lücke (2012). Qualitative Spatial Reasoning about Relative Orientation - A Question of Consistency
- Klaus Lüttich (2006). Development of Structured Ontologies in CASL
- Second referee or review committee member of PhD theses
- Armen Inants (2016). Qualitative Calculi with Heterogeneous Universes (supervisor: Dr. Jérôme Euzenat)
- Matthias Westphal (2015). Qualitative Constrained-Based Reasoning: Methods and Applications (first referee: Prof. Dr. Bernhard Nebel)
- Fulya Horozal (2014). Theories, Extensions and Translations (first referee: Prof. Dr. Michael Kohlhase)
- 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)
- Supervised diploma theses
- 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
- Second referee of diploma theses
- Kai Mahlmann (2012). Ein graphtransformatorischer Zugang zu Ramsey-Zahlen
- Wiebke Kukielka (2012). Implementierung und Evaluierung des kombinierten Ansatzes zum Ontologie-basierten Datenzugriff
- 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)
- Supervised Master theses
- Norman Günther (current master student). Modeling of inter-station communication for voltage control in UML.
- Carlo Dib (2016). Syntax Highlighting for Nested Formal Languages
- Kamlesh Koladiya (2016). Model Driven Realization for MMS Protocol
- Ramya Dirsumilli (2016). RESTful Encapsulation of OWL API
- Eugen Kuksa (2016). Driving in the Rain and Eating Cookies – Do We Need This? Logic-independent Axiom Selection for Automated Theorem Proving in Ontohub
- Martin Glauer (2015). Institution for hierarchical UML State Machines
- Tim Reddehase (2015). Ontohub Federation API. Webschnittstelle für ein Open-Ontology-Repository
- Codruta Girlea (2011). An Extended Modal Logic Institution
- Second referee of Master theses
- Sascha Graef (2016). Valogy. Ontologiebasierte Objektvalidierung in Ruby on Rails-Anwendungen
- Tim Gonschorek (2015). A Backward Model Checking Approach with Slicing
- Fabian Benduhn (2014). Representing Variability in Product Lines: A Survey of Modeling and Specification Techniques
- Viviana Alcalde (2014). Wizard Design Patterns for enhancing the Usability and User Experience of Communtu's Website
- Peter Hansen (2013). Non-Uniform Data Complexity of Query Answering in the Presence of Weakly Guarded TDGs
- Supervised Bachelor theses
- Marco Finkendei (current bachelor student). Maßgeschneiderte Verhandlungsdesigns in der Beschaffung: Constraint Solving
- Eileen Bolloff (2015). Von Selenium nach Cucumber - Testgenerierung durch Anwendungsnutzung
- Christopher Wennhold (2012). Quelloffene Modellierung und auktionsbasierte Regulierung dezentraler Energienetze
- Second referee of Bachelor theses
- Michael Jacobsen (2015). Navigation auf Plätzen mit Hilfe von OpenStreetMap-Daten
- Eugen Kuksa (2012). Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen
- 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