Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications. - Nico Wallmeier; Patrick Hütten; Wolfgang Thomas (CIAA, 2003)

Strategien in unendlichen Spielen mit Liveness-Gewinnbedingungen: Syntheseverfahren, Optimierung und Implementierung. - Nico Wallmeier (2005)

Observations on determinization of Büchi automata. - Christoph Schulte Althoff; Wolfgang Thomas; Nico Wallmeier (Theor. Comput. Sci., 2006)

Optimal Strategy Synthesis in Request-Response Games. - Florian Horn 001; Wolfgang Thomas; Nico Wallmeier (ATVA, 2008)

Optimal strategy synthesis for request-response games. - Florian Horn 001; Wolfgang Thomas; Nico Wallmeier; Martin Zimmermann 002 (RAIRO Theor. Informatics Appl., 2015)