| |
| 2000 | ||
|---|---|---|
| 5 | EE | Helmut Lescow, Jens Vöge: Minimal Separating Sets for Acceptance Conditions in Muller Automata. Theor. Comput. Sci. 231(1): 47-57 (2000) |
| 1997 | ||
| 4 | Helmut Lescow, Jens Vöge: Minimal Separating Sets for Muller Automata. Workshop on Implementing Automata 1997: 109-121 | |
| 1996 | ||
| 3 | Nils Buhrke, Helmut Lescow, Jens Vöge: Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS 1996: 207-224 | |
| 1995 | ||
| 2 | Helmut Lescow: On Polynomial-Size Programs Winning Finite-State Games. CAV 1995: 239-252 | |
| 1993 | ||
| 1 | Wolfgang Thomas, Helmut Lescow: Logical Specifications of Infinite Computations. REX School/Symposium 1993: 583-621 | |
| 1 | Nils Buhrke | [3] |
| 2 | Wolfgang Thomas | [1] |
| 3 | Jens Vöge | [3] [4] [5] |