Master theses at the chair i7

 
Name Submission Examiner Subject
Christoph Welzel SS 18 Löding Automata-theoretic synthesis for probabilistic environments
Mannel, Lisa WS 17/18 Grohe Algorithmic Approaches to Testing Isomorhism of Graphs of bounded treewidth
Patrick Smandzich WS 17/18 Löding Learning Algorithms for Tree Automata
Philipp Niemietz SS 17 Grohe The Complexity of Graph Homomorphism
Christopher Spinrath WS 16/17 Löding Eintscheidungsprobleme für Rationale Relationen über endlichen und unendlichen Wörtern
Martin Ritzert WS 16/17 Grohe PAC-Learning Definable Concepts
Oliver Scheel WS 16/17 Grohe Scheduling mit Verfügbarkeitszeiten und Setupkosten
Jochen Schmücking SS 16 Löding Analyse iterativer Lernverfahren für endliche Automaten
Dirk Hauptmann SS 16 Löding Die Komplexität des Leerheitsproblems für Automaten auf unendlichen Bäumen
Yanfie Wang SS 16 Grohe Explorations of the PATH algorithm
Phillip Keldenich WS 15/16 Grohe Random Robust Graph Isomorphism
Neuen, Daniel WS 15/16 Schweitzer Graph Isomorphism for Geometric Graphs
Tim Adrian Hartmann WS 15/16 Grohe Algorithmen für das Isomorphie-Problem mit Baumweite als Parameter
Gödicke, Maximilian SS 15 Schweitzer The iteration number of the Weisfeiler-Lehman algorithm
Joachim Redies WS 14/15 Grohe Defining PTIME Problems on Planar Graphs