Publikationen von Frank Radmacher

Publikationen am Lehrstuhl für Informatik 7

[GRT12] Sten Grüner, Frank G. Radmacher, and Wolfgang Thomas. Connectivity games over dynamic networks. Theoretical Computer Science, 2012. Extended version of [RT07] and [GRT11]. (c) Elsevier.
[ pdf | Abstract ]
[Rad12] Frank G. Radmacher. Games on dynamic networks: Routing and connectivity. PhD thesis, RWTH Aachen, 2012.
[ pdf | Abstract ]
[GRT11] Sten Grüner, Frank G. Radmacher, and Wolfgang Thomas. Connectivity games over dynamic networks. In Proceedings of the 2nd International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, volume 54 of Electronic Proceedings in Theoretical Computer Science, pages 131-145, 2011.
[ pdf | Abstract ]
[GRT10] James Gross, Frank G. Radmacher, and Wolfgang Thomas. A game-theoretic approach to routing under adversarial conditions. In Proceedings of the 6th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2010, volume 323 of IFIP Advances in Information and Communication Technology, pages 355-370. Springer, 2010. (c) IFIP.
[ pdf | Abstract ]
[KRT10] Dominik Klein, Frank G. Radmacher, and Wolfgang Thomas. Moving in a network under random failures: A complexity analysis. Science of Computer Programming, 77(7-8):940-954, 2010. Extended version of [KRT09]. (c) Elsevier.
[ pdf | Abstract ]
[KRT09] Dominik Klein, Frank G. Radmacher, and Wolfgang Thomas. The complexity of reachability in randomized sabotage games. In Proceedings of the 3rd International Conference on Fundamentals of Software Engineering, FSEN 2009, volume 5961 of Lecture Notes in Computer Science, pages 162-177. Springer, 2009. (c) Springer.
[ pdf | Abstract ]
[Rad08a] Frank G. Radmacher. An automata theoretic approach to rational tree relations. In Proceedings of the 34th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, volume 4910 of Lecture Notes in Computer Science, pages 424-435. Springer, 2008. (c) Springer.
[ pdf | Abstract ]
[Rad08b] Frank G. Radmacher. An automata theoretic approach to the theory of rational tree relations. Technical Report AIB-2008-05, RWTH Aachen, March 2008. Full version of [Rad08a].
[ pdf | ps | Abstract ]
[Rad07] Frank G. Radmacher. Automatendefinierbare Relationen über Bäumen. Diploma thesis (revised version), RWTH Aachen, 2007.
[ pdf | Abstract ]
[RT07] Frank G. Radmacher and Wolfgang Thomas. A game theoretic approach to the analysis of dynamic networks. In Proceedings of the 1st Workshop on Verification of Adaptive Systems, VerAS 2007, volume 200(2) of Electronic Notes in Theoretical Computer Science, pages 21-37, Kaiserslautern, Germany, 2007. Elsevier Science Publishers. (c) Elsevier.
[ pdf | Abstract ]