Publikationen von Frank Radmacher
Alle Publikationen
| [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, Lecture Notes in Computer
Science. 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 ] |