Abgeschlossene Bachelor-, Master- und Diplomarbeiten

Bachelorarbeiten

2011

  • Yannic Maus
    Automatenoperatoren in Logiken für rekursive Programme
    Betreuung: Chr. Löding Zweitgutachter: Betreuung: W. Thomas
  • Marlin Frickenschmidt
    Eigenschaften von Simulations- und Residualautomaten auf Wörtern und Bäumen
    Betreuung: Chr. Löding Zweitgutachter: Betreuung: W. Thomas
  • Svenja Schalthöfer
    Minimierung von Automaten für unvollständig spezifizierte Sprachen
    Betreuung: Chr. Löding Zweitgutachter: W. Thomas
  • Sarah Winter
    Endliche Automaten über undendlichen Alphabeten
    Betreuung: W. Thomas Zweitgutachter: Chr. Löding
  • Lisa Wagner
    Kürzung und Saturierung: Analyse von Präfix-Ersetzung
    Betreuung: W. Thomas Zweitgutachter: Chr. Löding
  • Annette Huhn
    Automatenmodelle und Logiken für Wortrelationen
    Betreuung: W. Thomas Zweitgutachter: Chr. Löding
  • Thomas Heinemann
    Empirischer Vergleich aktiver Lernverfahren für Automaten
    Betreuung: Chr. Löding Zweitgutachter: W. Thomas

2010

  • Stefan Breuers
    Optimierung und experimentelle Analyse des algebraischen Komplementierungsverfahrens für Büchi Automaten
    Betreuung: W. Thomas Zweitgutachter: Chr. Löding

Masterarbeiten

2011

  • Martin Ulrich Lang
    Erreichbarkeit mit Ressourcenschranken für Pushdownsysteme
    Betreuung: Chr. Löding Zweitgutachter: W. Thomas

Diplomarbeiten

2011

  • Daniel Christian Weber
    Mehrpersonenspiele mit partieller und monoton wachsender Information: Ein mengentheoretisches Rahmenwerk Betreuung: W. Thomas Zweitgutachter: J.-P. Katoen
  • Sten Grüner
    Spieltheoretische Analyse dynamischer Netzwerke
    Betreuung: W. Thomas Zweitgutachter: J.-P. Katoen
  • Dimitri Isaak
    Algorithmen für eindeutige omega-Automaten Betreuung: Chr. Löding Zweitgutachter: W. Thomas

2010

  • Frank Pöttgen
    Unendliche Zweipersonenspiele mit verzögerter Information Infinite Two Player - Games with Delayed Information
    Betreuung: W. Thomas Zweitgutachter: E. Grädel
  • Marcus Gelderie
    Klassifizierung regulärer Sprachen durch Kaskadenprodukten von Automaten
    Betreuung: W. Thomas Zweitgutachter: Chr. Löding

2009

  • Stefan Schulz
    Logik erster Stufe mit Erreichbarkeitsprädikaten über unendlichen Systemen
    Betreuung: W. Thomas; Zweitgutachter: E. Grädel
  • Georgios Dilgerakis
    Simulationsrelationen und ihre Anwendung für die Reduktion von Baumautomaten
    Betreuung: W. Thomas; Zweitgutachter: J.-P. Katoen
  • Paul Hänsch
    Lösung unendlicher Spiele für parametrisierte Spezifikationen
    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