Publikationen von Michael Holtmann
Publikationen am Lehrstuhl für Informatik 7
| [GH11] |
Marcus Gelderie and Michael Holtmann.
Memory reduction via delayed simulation.
In Johannes Reich and Bernd Finkbeiner, editors, Proceedings
International Workshop on Interactions, Games and Protocols Saarbrücken,
Germany, 27th March 2011, volume 50 of Electronic Proceedings in
Theoretical Computer Science, pages 46-60. Open Publishing Association,
February 2011. |
| [Hol11] |
Michael Holtmann.
Memory and delay in regular infinite games.
PhD thesis, RWTH Aachen, 2011. [ pdf | http | Abstract ] |
| [HKT10] |
Michael Holtmann, Łukasz Kaiser, and Wolfgang Thomas.
Degrees of Lookahead in Regular Infinite Games.
In Luke Ong, editor, Foundations of Software Science and
Computational Structures, volume 6014 of Lecture Notes in Computer
Science, pages 252-266. Springer, 2010. [ Abstract ] |
| [Hol07] |
M. Holtmann.
Memory Reduction for Strategies in Infinite Games.
Diploma Thesis (revised version), RWTH Aachen, 2007. [ pdf | ps | Abstract ] |
| [HL07] |
Michael Holtmann and Christof Löding.
Memory Reduction for Strategies in Infinite Games.
In Jan Holub and Jan Zdárek, editors, Implementation and
Application of Automata, 12th International Conference, CIAA 2007, Prague,
Czech Republic, July 16-18, 2007, Revised Selected Papers, volume 4783 of
Lecture Notes in Computer Science, pages 253-264. Springer, 2007. [ pdf | ps | Abstract ] |