Philipp Rohde

According to our database, Philipp Rohde authored at least 10 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Feedback mit einem webbasierten Übungsbetrieb.

Patrick Stalljohann, Eva Altenbernd-Giani, Anna Lea Dyckhoff, Philipp Rohde, Ulrik Schroeder

Proceedings of the Lernen im digitalen Zeitalter - DeLFI 2009, die 7. E-Learning-Fachtagung Informatik der Gesellschaft für Informatik e.V., 14., 2009

2008

Ein integrierter, digitaler Semesterapparat.

Patrick Stalljohann, Philipp Rohde, Thomas van Aken

Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals.

Anna Lea Dyckhoff, Philipp Rohde, Ulrik Schroeder, Patrick Stalljohann

Proceedings of the DeLFI 2008: Die 6. e-Learning Fachtagung Informatik der Gesellschaft für Informatik e.V., 07., 2008

2006

On the <i>µ</i>-Calculus Augmented with Sabotage.

Philipp Rohde

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

On games and logics over dynamically changing structures.

Philipp Rohde

PhD thesis, 2005

2004

Moving in a Crumbling Network: The Balanced Case.

Philipp Rohde

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Solving the Sabotage Game Is PSPACE-Hard.

Christof Löding, Philipp Rohde

Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Model Checking and Satisfiability for Sabotage Modal Logic.

Christof Löding, Philipp Rohde

Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Ein e-Lecture-System für die Theoretische Informatik.

Philipp Rohde, Wolfgang Thomas

Proceedings of the DeLFI 2003, 2003

2001

Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.

Philipp Rohde

Proceedings of the Automata, 2001