OVGU / supervised theses

supervised theses

Matrin Glauer (current PhD student, topic: logics for UML and databases)
Madhura Thosar (current PhD student, topic: tool substitution for robots)
Maria Hedblom (current PhD student, topic: concept invention for AI using image schemas in conceptual blending)
Eugen Kuksa (current PhD student, topic: axiom selection for theorem provers)
Stephan Günther (current PhD student, topic: reachability logic)
Christoph Engel (current PhD student, topic: extraction of traffic information from microblogs)
Andre Scholz (current PhD student, topic: qualitative spatial reasoning)
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

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)

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

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)

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

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

Eileen Bolloff (2015). Von Selenium nach Cucumber - Testgenerierung durch Anwendungsnutzung
Christopher Wennhold (2012). Quelloffene Modellierung und auktionsbasierte Regulierung dezentraler Energienetze

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