Philipp Rohde

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Patrick Stalljohann, Eva Altenbernd-Giani, Anna Lea Dyckhoff, Philipp Rohde, Ulrik Schroeder
Feedback mit einem webbasierten Übungsbetrieb. DeLFI (2009)
Patrick Stalljohann, Philipp Rohde, Thomas van Aken
Ein integrierter, digitaler Semesterapparat. DeLFI (2008)
Anna Lea Dyckhoff, Philipp Rohde, Ulrik Schroeder, Patrick Stalljohann
Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals. DeLFI (2008)
Philipp Rohde
-Calculus Augmented with Sabotage. FoSSaCS (2006)
Philipp Rohde
Moving in a Crumbling Network: The Balanced Case. CSL (2004)
Christof Löding, Philipp Rohde
Solving the Sabotage Game Is PSPACE-Hard. MFCS (2003)
Philipp Rohde, Wolfgang Thomas
Ein e-Lecture-System für die Theoretische Informatik. DeLFI (2003)
Christof Löding, Philipp Rohde
Model Checking and Satisfiability for Sabotage Modal Logic. FSTTCS (2003)
Philipp Rohde
Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. Automata, Logics, and Infinite Games (2001)