 | 2000 |
|---|
| 7 |       | Jens Vöge,
Marcin Jurdzinski:
A Discrete Strategy Improvement Algorithm for Solving Parity Games.
CAV 2000: 202-215 |
| 6 |  | Dominik Schmitz,
Jens Vöge:
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games.
CIAA 2000: 263-271 |
| 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 | | Nils Buhrke,
Wolfgang Thomas,
Jens Vöge:
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.
FBT 1997: 99-108 |
| 3 | | Helmut Lescow,
Jens Vöge:
Minimal Separating Sets for Muller Automata.
Workshop on Implementing Automata 1997: 109-121 |
| 2 | | Jens Vöge,
S. Ulbrand,
Oliver Matz,
Nils Buhrke:
The Automata Theory Package omega.
Workshop on Implementing Automata 1997: 228-231 |
| 1996 |
|---|
| 1 | | Nils Buhrke,
Helmut Lescow,
Jens Vöge:
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.
TACAS 1996: 207-224 |
