2000 |
7 | | Jens Vöge,
Marcin Jurdzinski:
A Discrete Strategy Improvement Algorithm for Solving Parity Games.
CAV 2000: 202-215 |
6 | EE | Dominik Schmitz,
Jens Vöge:
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games.
CIAA 2000: 263-271 |
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 | | 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 |