| |
| 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 | Patrick Hütten | [1] |
| 3 | Wolfgang Thomas | [1] [2] [3] |