 | 2008 |
|---|
| 8 |       | Anna Lea Dyckhoff,
Philipp Rohde,
Ulrik Schroeder,
Patrick Stalljohann:
Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals.
DeLFI 2008: 185-196 |
| 7 | | Patrick Stalljohann,
Philipp Rohde,
Thomas van Aken:
Ein integrierter, digitaler Semesterapparat.
DeLFI 2008: 431-432 |
| 2006 |
|---|
| 6 |  | Philipp Rohde:
On the µ-Calculus Augmented with Sabotage.
FoSSaCS 2006: 142-156 |
| 2004 |
|---|
| 5 | | 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 | | Christof Löding,
Philipp Rohde:
Model Checking and Satisfiability for Sabotage Modal Logic.
FSTTCS 2003: 302-313 |
| 2 | | Christof Löding,
Philipp Rohde:
Solving the Sabotage Game Is PSPACE-Hard.
MFCS 2003: 531-540 |
| 2001 |
|---|
| 1 | | Philipp Rohde:
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.
Automata, Logics, and Infinite Games 2001: 239-257 |
