Diploma Theses in Process

  • Nina Beckmann
    Pfadlogiken mit Synchronisationskonstrukten (Arbeitstitel)
    Supervision: W. Thomas; second advisor:
  • Georgos Dilgerakis
    Simulation Relations and Their Applikation for the Reduction of Tree Automata
    Supervision: W. Thomas; second advisor:J.-P. Katoen
  • Christian Ebert
    Tree Structures from Graphs and the Decidability of MSO-Definable Properties Supervision: W. Thomas; second advisor:E. Grädel
  • Stefan Schulz
    First-Order Logic with Reachability Predicates over Infinite Systems
    Supervision: W. Thomas; second advisor:E. Grädel