supervised theses

Supervised Bachelor, Master and PhD theses

  • Supervised PhD theses
    • Matrin Glauer (current). Neural-symbolic integration for cheminformatics
    • Adel Memariani (current). Knowledge graph embeddings for energy scenario similarity
    • Livia Predoiu (current). Probabilistic Ontological Data Exchange
    • Stephan Günther (current). Modularity of energy system scenarios
    • Madhura Thosar (2022). Rock, Paper, Scissor: What’s a Substitute For Hammer? An Approach to Substitute Selection for Missing Tool Using Robot-Centric Conceptual Knowledge About Objects
    • Francesco Sportelli (2021). Supporting Conceptual Modelling in ORM by 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
    • Tobias Rosenberger (2022). Institution-based Semantics and Tool Support for the UML (supervisor: Prof. Dr. Markus Roggenbach)
    • 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
    • Björn Gehrke (current). Comparison of OWL and FOL reasoning
    • Dennis Lüdecke (current). Symbolische Regression unter Einsatz von Neuronalen Netzen
    • Sinan Smith (current). Ensembles For Molecule Classification
    • Anjan Chatterjee (current). Towards development of a knowledge model for industrial risk assessments
    • Faizan Ali (current). Complexity reduction of energy system models
    • Yash Shah (current). Alignment of EnArgus with the Open Energy Ontology
    • Negar Razzaghian (2022). Use of neural networks to generate ontology tests from natural language descriptions
    • Tamara Rautenstengel (2022). SCONE – Eine Grammatik zur szenariobasierten Ontologie-Evaluation mit Hilfe von controlled English
    • Tom Kranz (2022). Induction Provers in Hets: Leveraging the Tons of Inductive Problems language and tools to talk to more Automated Theorem Provers
    • Michelle Bieber (2021). Flipped classroom for the logic lecture (Neukonzeptionierung und Evaluierung des Moduls „Logik“ für das Online-Sommersemester 2020 auf Grundlage der Methode Flipped Classroom)
    • Adel Memariani (2021). Classification of molecules using deep learning
    • Yevhen Sharonov (2021). Comparison of workflow management systems
    • Andalib Hossain (2020). Outliers in energy databases
    • Nursultan Daupayev (2020). Multiview consistency of energy system UML models
    • Tom Gehrke (2018). Redesigning Ontohub. A Case Study on Software Architecture Choices
    • Norman Günther (2018). 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
    • Jovel Chirayath Jose (2020). Performance Analysis of Traditional and Cloud based DBMS
    • Felix Prothmann (2019). Automatisierte Modellierung von IT-Systemarchitekturen im Kontext von Big Data
    • Daniel Püsche (2019). Implementierung und Evaluierung eines steganographischen Verfahrens basierend auf Synthese von Bildern mittels Face Morphing
    • Kirity Rapuru (2018). Load Balancing Strategies for Spark-Based Entity Resolution
    • Vinod Byakod (2017). An Order-Based Feature Recommender for Product Line Conguration.
    • 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
    • Janek Winkler (current). Language server for OWL 2.
    • Daniel Lespin (current). Prediction of toxicity of molecules.
    • Alexander Stage (2023). Inferring Correlations Among Many-Valued Logics - An Algebraic Approach
    • Simon Flügel (2022). Heterogeneous knowledge representation for OWL and FOL
    • Björn Gehrke (2022). Extension of OWL2 Manchester Syntax to include missing features from OWL2 Abstract Syntax
    • Rick Adamy (2021). Propositional graph calculus (Beweisen der Korrektheit und Unvollständigkeit eines alternativen Kalküls zum Entscheiden des 3SAT Problems und Umsetzung des Kalküls als Polynomialzeitalgorithmus)
    • Claudius Grimm (2019). Development and implementation of a GUI for presenting development graphs
    • Marco Finkendei (2018). Customised negotiation design in procurement: 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

Last Modification: 29.05.2023 - Contact Person: