We stand with Ukraine  

Michael Holtmann

According to our database1, Michael Holtmann authored at least 5 papers between 2007 and 2012.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Degrees of Lookahead in Regular Infinite Games
[BibTeX]
[DOI]
Michael Holtmann
,
Lukasz Kaiser
,
Wolfgang Thomas
Log. Methods Comput. Sci., 2012

2011
Memory and delay in regular infinite games.
[BibTeX]
[DOI]
Michael Holtmann
PhD thesis, 2011

Memory Reduction via Delayed Simulation
[BibTeX]
[DOI]
Marcus Gelderie
,
Michael Holtmann
Proceedings of the Proceedings International Workshop on Interactions, Games and Protocols, 2011

2010
The Complexity of Winning Strategies in Infinite Games.
[BibTeX]
Michael Holtmann
Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2007
Memory Reduction for Strategies in Infinite Games.
[BibTeX]
[DOI]
Michael Holtmann
,
Christof Löding
Proceedings of the Implementation and Application of Automata, 2007


  Loading...