dblp.uni-trier.dewww.uni-trier.de

Philipp Rohde

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
6EEPhilipp Rohde: On the µ-Calculus Augmented with Sabotage. FoSSaCS 2006: 142-156
2004
5EEPhilipp 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
3EEChristof Löding, Philipp Rohde: Model Checking and Satisfiability for Sabotage Modal Logic. FSTTCS 2003: 302-313
2EEChristof Löding, Philipp Rohde: Solving the Sabotage Game Is PSPACE-Hard. MFCS 2003: 531-540
2001
1EEPhilipp Rohde: Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. Automata, Logics, and Infinite Games 2001: 239-257

Coauthor Index

1Thomas van Aken [7]
2Anna Lea Dyckhoff [8]
3Christof Löding [2] [3]
4Ulrik Schroeder [8]
5Patrick Stalljohann [7] [8]
6Wolfgang Thomas [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)