Bachelor-, Master- und Diplomthemen in Bearbeitung

Bachelorarbeiten

  • Karolin Köhler
    Ein formales Modell für die Verifikation und Synthese von "Access Control"
    Betreuung: W. Thomas
  • Florian Richter
    Regular systems with many premises
    Betreuung: W. Thomas
  • Dirk Hauptmann
    Omega-Automaten für die Theorie der reellen Zahlen mit Addition
    Betreuung: C. Löding
  • Jera Hensel
    Bimaschinen und ihre Minimierung
    Betreuung: W. Thomas
  • Christoph Matheja
    Zwei-Wege-Transducer über Wörtern
    Betreuung: W. Thomas
  • Jan Rappen
    Ein spieltheoretischer Ansatz für Automaten auf partiell geordneten Strukturen
    Betreuung: W. Thomas
  • Jan Gossens
    Vergleich von Automatenmodellen für unendliche Datenwörter
    Betreuung: C. Löding

Masterarbeiten

Zur Zeit keine.

Diplomarbeiten

  • Dominic Decarolis
    Lernverfahren für endliche Automaten über unendlichen Alphabeten
  • Albert Zeyer
    Sprachoperationen und eine Strukturtheorie der omega-Sprachen (Arbeitstitel)
    Betreuung: W. Thomas
  • Seong-Nam Cho
    Uniformisierung von Wortrelationen
    Betreuung: W. Thomas
  • Benedikt Brütsch
    Synthese strukturierter reaktiver Programme
    Betreuung: W. Thomas
  • Nina Beckmann
    Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
    Betreuung: W. Thomas
  • Christian Ebert
    Vergleich verschiedener Ansätze zur Lösung von Muller-Spielen
    Betreuung: W. Thomas