Search the dblp DataBase

Publications of Author

1. Philipp Rohde
   Moving in a Crumbling Network: The Balanced Case. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:310-324 [Conf]
   
2. Philipp Rohde
   Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
   Automata, Logics, and Infinite Games, 2001, pp:239-257 [Conf]
   
3. Philipp Rohde, Wolfgang Thomas
   Ein e-Lecture-System für die Theoretische Informatik. [Citation Graph (0, 0)][DBLP]
   DeLFI, 2003, pp:17-26 [Conf]
   
4. Philipp Rohde
   On the µ-Calculus Augmented with Sabotage. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:142-156 [Conf]
   
5. Christof Löding, Philipp Rohde
   Model Checking and Satisfiability for Sabotage Modal Logic. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2003, pp:302-313 [Conf]
   
6. Christof Löding, Philipp Rohde
   Solving the Sabotage Game Is PSPACE-Hard. [Citation Graph (0, 0)][DBLP]
   MFCS, 2003, pp:531-540 [Conf]
   
7. 
   Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals. [Citation Graph (, )][DBLP]
   
   
8. 
   Ein integrierter, digitaler Semesterapparat. [Citation Graph (, )][DBLP]
   
   
9. 
   Feedback mit einem webbasierten Übungsbetrieb. [Citation Graph (, )][DBLP]