- CSB - MetaPress - Google - Bing - Yahoo
 | 2000 | |
|---|---|---|
| 5 |      | 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] |