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