supervised theses

Supervised Bachelor, Master and PhD theses

  • Supervised PhD 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
  • 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
    • 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

Last Modification: 09.08.2017 - Contact Person:

Sie können eine Nachricht versenden an: Webmaster
Sicherheitsabfrage:
Captcha
 
Lösung: