Publikationen von Philipp Rohde
Publikationen am Lehrstuhl für Informatik 7
[Roh06b] |
Philipp Rohde.
On the mu-calculus augmented with sabotage.
In Proceedings of the 9th International Conference on
Foundations of Software Science and Computation Structures, FOSSACS 2006,
volume 3921 of Lecture Notes in Computer Science, pages 142-156.
Springer, 2006.
(c) Springer. [ pdf | Abstract ] |
[Roh06a] |
Philipp Rohde.
On games and logics over dynamically changing structures.
PhD thesis, RWTH Aachen, 2006. [ pdf | Abstract ] |
[Roh04] |
Philipp Rohde.
Moving in a crumbling network: The balanced case.
In Proceedings of the 18th International Workshop on Computer
Science Logic, CSL 2004, volume 3210 of Lecture Notes in Computer
Science, pages 310-324. Springer, 2004.
(c) Springer. [ pdf | ps | Abstract ] |
[GRT03] |
Eva Giani, Philipp Rohde, and Wolfgang Thomas.
A presentation and tutoring environment for courses in
theoretical computer science.
In Proceedings of the 5th International Conference on New
Educational Environments, ICNEE 2003, pages 333-338. net4net, 2003. [ pdf | Abstract ] |
[LR03b] |
Christof Löding and Philipp Rohde.
Solving the sabotage game is PSPACE-hard.
Technical Report AIB-05-2003, RWTH Aachen, 2003. [ pdf | Abstract ] |
[LR03c] |
Christof Löding and Philipp Rohde.
Solving the sabotage game is PSPACE-hard.
In Proceedings of the 28th International Symposium on
Mathematical Foundations of Computer Science, MFCS 2003, volume 2747 of
Lecture Notes in Computer Science, pages 531-540. Springer, 2003.
(c) Springer. [ pdf | ps | Abstract ] |
[LR03a] |
Christof Löding and Philipp Rohde.
Model checking and satisfiability for sabotage modal logic.
In Proceedings of the 23rd Conference on Foundations of Software
Technology and Theoretical Computer Science, FSTTCS 2003, volume 2914 of
Lecture Notes in Computer Science, pages 302-313. Springer, 2003.
(c) Springer. [ pdf | ps | Abstract ] |
[RT03a] |
Philipp Rohde and Wolfgang Thomas.
E-learning in theoretical computer science: Experiences from an
undergraduate course.
Technical Report AIB-01-2003, Annual Report 2002, Department of
Computer Science, Aachen University, 2003. [ pdf ] |
[RT03b] |
Philipp Rohde and Wolfgang Thomas.
Ein e-Lecture-System für die Theoretische
Informatik.
In Proceedings of the 1st e-Learning Fachtagung Informatik,
DeLFI 2003, volume P-37 of Lecture Notes in Informatics, pages 17-26.
Gesellschaft für Informatik, 2003. [ pdf | Abstract ] |
[LR02] |
Benedikt Löwe and Philipp Rohde.
Games of length omega times two.
Proceedings of the American Mathematical Society,
130:1247-1248, 2002. [ ps | Abstract ] |
[Roh02] |
Philipp Rohde.
On the expressive power of the monadic second order logic and
the propositional mu-calculus.
In E. Grädel, W. Thomas, and T. Wilke, editors, Automata,
Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer
Science, pages 239-257. Springer, 2002.
(c) Springer. [ ps | Abstract ] |
[Roh01] |
Philipp Rohde.
Über Erweiterungen des Axioms der Determiniertheit.
Diplomarbeit, Rheinische Friedrich-Wilhelms-Universität Bonn, 2001. [ pdf | Abstract ] |