Diplomthemen in Bearbeitung

  • Nina Beckmann
    Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:
  • Paul Hänsch
    Lösung unendlicher Spiele für parametrisierte Spezifikationen (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:
  • Nils Jansen
    Rationale Relationen unbeschräkt verzweigter Bäume und Anzahlbedingungen (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:
  • Ulrich Loup
    Die monadische Theorie der Ordnung der reellen Zahlen (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:
  • Jörg Olschewski
    Formalsprachliche Lösungen für das Church'sche Problem der Controller-Synthese
    Betreuung: W. Thomas; Zweitgutachter:
  • Andreas Roell
    Das Komplementierungsproblem für Büchi-Automaten: Algorithmen und Implementierung
    Betreuung: W. Thomas; Zweitgutachter:
  • Martin Zimmermann
    Zeitbedingungen als Optimierungsproblem (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter: