Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus. - Philipp Rohde (Automata, Logics, and Infinite Games, 2001)

Ein e-Lecture-System für die Theoretische Informatik. - Philipp Rohde; Wolfgang Thomas (DeLFI, 2003)

Model Checking and Satisfiability for Sabotage Modal Logic. - Christof Löding; Philipp Rohde (FSTTCS, 2003)

Solving the Sabotage Game Is PSPACE-Hard. - Christof Löding; Philipp Rohde (MFCS, 2003)

Moving in a Crumbling Network: The Balanced Case. - Philipp Rohde (CSL, 2004)

On games and logics over dynamically changing structures. - Philipp Rohde (2005)

On the µ-Calculus Augmented with Sabotage. - Philipp Rohde (FoSSaCS, 2006)

Integriertes Übungsbetriebmodul im Rahmen eines hochschulweiten eLearning-Portals. - Anna Lea Dyckhoff; Philipp Rohde; Ulrik Schroeder; Patrick Stalljohann (DeLFI, 2008)

Ein integrierter, digitaler Semesterapparat. - Patrick Stalljohann; Philipp Rohde; Thomas van Aken (DeLFI, 2008)

Feedback mit einem webbasierten Übungsbetrieb. - Patrick Stalljohann; Eva Altenbernd-Giani; Anna Lea Dyckhoff; Philipp Rohde; Ulrik Schroeder (DeLFI, 2009)