Michael Holtmann

According to our database¹, Michael Holtmann authored at least 5 papers between 2007 and 2011.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2011

Memory and delay in regular infinite games.

[DOI]

PhD thesis, 2011

Memory Reduction via Delayed Simulation

[DOI]

Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

2010

Degrees of Lookahead in Regular Infinite Games.

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2010

The Complexity of Winning Strategies in Infinite Games.

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2007

Memory Reduction for Strategies in Infinite Games.

[DOI]

Proceedings of the Implementation and Application of Automata, 2007