Abgeschlossene Diplomarbeiten

2009

  • Paul Hänsch
    Lösung unendlicher Spiele für parametrisierte Spezifikationen (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:E. Grädel
  • Wladimir Fridman
    Kontextfreie Sprachen und das Church'sche Problem der Kontrollersynthese
    Betreuung: W. Thomas; Zweitgutachter: E. Grädel
  • Marion Beckers
    Strukturen der Pushdown-Hierarchie und Prädikate natürlicher Zahlen
    Betreuung: W. Thomas; Zweitgutachter: E. Grädel
  • Ulrich Loup
    Die monadische Theorie der Ordnung der reellen Zahlen
    Betreuung: W. Thomas; Zweitgutachter: E. Grädel
  • Martin Zimmermann
    Time-optimal Winning Strategies in Infinite Games
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen

2008

  • Nils Jansen
    Automatendefinierbare Baumrelationen mit Anzahlbedingungen
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen
  • Dominik Klein
    Lösung randomisierter Sabotagespiele für die Navigation in Netzwerken
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen
  • Jörg Olschewski
    Formalsprachliche Lösungen für das Church'sche Problem der Controllersynthese
    Betreuung: W. Thomas; Zweitgutachter: E. Grädel
  • Andreas Roell
    Das Komplementierungsproblem für Büchi-Automaten: Algorithmen und Implementierung
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen
  • Haidi Yue
    Speicherbedarf für Gewinnstrategien in unendlichen Spielen
    Betreuung: C. Löding; Zweitgutachter: E. Grädel

2007

  • Jonathan Heinen
    Automaten über unendlichen Alphabeten
    Betreuung: W. Thomas
  • Michaela Slaats
    Infinite Games over Higher-Order Pushdown Systems
    Betreuung: W. Thomas, A. Carayol
  • David Thesing
    Unendliche Transitionsgraphen und ihre Sprachen
    Betreuung: W. Thomas
  • Frank Radmacher
    Automatendefinierbare Relationen über Bäumen
    Betreuung: W. Thomas
  • Ingo Felscher
    Model-Checking Over Product Structures
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen
  • Lorenz Merdian
    Implementierung eines Tools zur Analyse des Strategieverbesserungsalgorithmus für Paritätsspiele
    Betreuung: C. Löding; Zweitgutachter: B. Vöcking
  • Daniel Neider
    Lernverfahren für Automaten über linearisierten XML-Dokumenten
    Betreuung: C. Löding; Zweitgutachter: J.-P. Katoen
  • Franziska Roloff
    Unendliche Berechnungen in Pushdown-Systemen
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen

2006

  • Michael Holtmann
    Memory Reduction for Strategies in Infinite Games.
    Betreuung: C. Löding
  • Alex Spelten
    Ersetzungssysteme für unbeschränkt verzweigende Bäume
    Betreuung: C. Löding
  • Philipp Stephan
    Eingabegesteuerte Kellerautomaten über unendlichen Wörtern
    Betreuung: C. Löding

2005

  • Gregor Hink
    Pfadorientierte Automaten und Logiken auf Bäumen
    Betreuung: W. Thomas, C. Löding
  • Christoph Schulte Althoff
    Konstruktion deterministischer omega-Automaten: Eine vergleichende Analyse der Algorithmen von Safra und Muller/Schupp
    Betreuung: W. Thomas

2004

  • Wong Karianto
    Parikh-Automaten mit Kellerspeicher
    Betreuung: W. Thomas

2003

  • Edmund Bayerle
    Model-Checking über unendlichen durch Tree-Rewriting erzeugten Transitionssystemen
    Betreuung: C. Löding
  • Patrick Hütten
    Automatische Synthese optimaler Controller für request-response-Spezifikationen
    Betreuung: W. Thomas, Ph. Rohde
  • Andreas Reichelt
    Global Model-Checking over Generalized Pushdown-Systems
    Betreuung: W. Thomas, C. Löding
  • Nico Wallmeier
    Symbolische Synthese reaktiver Programme
    Betreuung: W. Thomas

2002

  • Jan-Henrik Altenbernd
    Automaten über unendlichen zweidimensionalen Bildern
    Betreuung: W. Thomas, S. Wöhrle
  • Nils Bertschinger
    Simulationsstudien an rückgekoppelten neuronalen Netzen
    Betreuung: W. Thomas; in Kooperation mit Prof. W. Maass, Univ. Graz
  • Eva Giani
    Konzeption und Implementierung eines interaktiven Lernsystems für die Grundvorlesung über Automatentheorie
    Betreuung: W. Thomas

2001

  • Peter Hennes
    Alternating Automata for Temoral Linear Time Properties
    Betreuung: W. Thomas, C. Löding