Hauptinhalt

Topinformationen

Supervised Bachelor and Master theses

Supervised Master theses

Björn Gehrke (2024). Comparison of OWL and FOL reasoning
Dennis Lüdecke (2024). Symbolische Regression unter Einsatz von Neuronalen Netzen
Sinan Smith (2024). Ensembles For Molecule Classification
Anjan Chatterjee (2024). Towards development of a knowledge model for industrial risk assessments
Faizan Ali (2024). Complexity reduction of energy system models
Yash Shah (2024). 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

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)