Nico Wallmeier

	2008
4		Florian Horn, Wolfgang Thomas, Nico Wallmeier: Optimal Strategy Synthesis in Request-Response Games. ATVA 2008: 361-373
	2006
3		Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on determinization of Büchi automata. Theor. Comput. Sci. 363(2): 224-233 (2006)
	2005
2		Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier: Observations on Determinization of Büchi Automata. CIAA 2005: 262-272
	2003
1		Nico Wallmeier, Patrick Hütten, Wolfgang Thomas: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. CIAA 2003: 11-22

Coauthor Index

1	Christoph Schulte Althoff	[2] [3]
2	Florian Horn	[4]
3	Patrick Hütten	[1]
4	Wolfgang Thomas	[1] [2] [3] [4]