Diplomthemen in Bearbeitung

  • Nina Beckmann
    Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
    Betreuung: W. Thomas; Zweitgutachter:
  • Georgios Dilgerakis
    Simulationsrelationen und ihre Anwendung für die Reduktion von Baumautomaten
    Betreuung: W. Thomas; Zweitgutachter:J.-P. Katoen
  • Christian Ebert
    Baumstrukturen aus Graphen und die Entscheidbarkeit von MSO-definierbaren Eigenschaften
    Betreuung: W. Thomas; Zweitgutachter:E. Grädel
  • Stefan Schulz
    Logik erster Stufe mit Erreichbarkeitsprädikaten über unendlichen Systemen
    Betreuung: W. Thomas; Zweitgutachter:E. Grädel