Philipp Rohde

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Feedback mit einem webbasierten Übungsbetrieb.
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.
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.
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.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
On games and logics over dynamically changing structures.
PhD thesis, 2005

2004
Moving in a Crumbling Network: The Balanced Case.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Solving the Sabotage Game Is PSPACE-Hard.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

Model Checking and Satisfiability for Sabotage Modal Logic.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Ein e-Lecture-System für die Theoretische Informatik.
Proceedings of the DeLFI 2003, 2003

2001
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.
Proceedings of the Automata, 2001


  Loading...