| |
| 2006 | ||
|---|---|---|
| 6 | EE | Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70 |
| 2005 | ||
| 5 | EE | Carsten Fritz: Concepts of Automata Construction from LTL. LPAR 2005: 728-742 |
| 4 | EE | Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005) |
| 2003 | ||
| 3 | EE | Carsten Fritz: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata. CIAA 2003: 35-48 |
| 2002 | ||
| 2 | EE | Carsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168 |
| 2001 | ||
| 1 | EE | Carsten Fritz: Some Fixed Point Basics. Automata, Logics, and Infinite Games 2001: 359-364 |
| 1 | Thomas Wilke | [2] [4] [6] |