Masterarbeiten am i7

 
Name Abgabe Gutachter Thema
Marcel Faßbender WS 19/20 Löding Learning Multiplicity Automata in the exact learning model and from shortest counter examples
Christopher Hugenroth SS 19 Löding Separation Problems for Languages of Infinite Words
Andreas Tollkötter WS 18/19 Löding State Space Reduction for Parity Automata
Timo Gervens WS 18/19 Grohe Spectral Graph Similarity
Eva Fluck WS 18/19 Grohe Real-Valued Connectivity Systems
Jan Böker WS 18/19 Grohe Structural Similarity and Homomorphism Counts
Hinrikus Wolf WS 18/19 Grohe Colour Refinement and Fractional Isomorphism on Weighted Structures
Lasse Nitz WS 18/19 Löding Optimizations for the Complementation of Büchi Automata
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