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 ]