| |
| 2006 | ||
|---|---|---|
| 6 | EE | Philipp Rohde: On the µ-Calculus Augmented with Sabotage. FoSSaCS 2006: 142-156 |
| 2004 | ||
| 5 | EE | Philipp Rohde: Moving in a Crumbling Network: The Balanced Case. CSL 2004: 310-324 |
| 2003 | ||
| 4 | Philipp Rohde, Wolfgang Thomas: Ein e-Lecture-System für die Theoretische Informatik. DeLFI 2003: 17-26 | |
| 3 | EE | Christof Löding, Philipp Rohde: Model Checking and Satisfiability for Sabotage Modal Logic. FSTTCS 2003: 302-313 |
| 2 | EE | Christof Löding, Philipp Rohde: Solving the Sabotage Game Is PSPACE-Hard. MFCS 2003: 531-540 |
| 2001 | ||
| 1 | EE | Philipp Rohde: Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. Automata, Logics, and Infinite Games 2001: 239-257 |
| 1 | Christof Löding | [2] [3] |
| 2 | Wolfgang Thomas | [4] |