Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. - Nils Buhrke; Helmut Lescow; Jens Vöge (TACAS, 1996)

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. - Nils Buhrke; Wolfgang Thomas; Jens Vöge (FBT, 1997)

Minimal Separating Sets for Muller Automata. - Helmut Lescow; Jens Vöge (Workshop on Implementing Automata, 1997)

The Automata Theory Package omega. - Jens Vöge; S. Ulbrand; Oliver Matz; Nils Buhrke (Workshop on Implementing Automata, 1997)

A Discrete Strategy Improvement Algorithm for Solving Parity Games. - Jens Vöge; Marcin Jurdzinski (CAV, 2000)

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. - Dominik Schmitz; Jens Vöge (CIAA, 2000)

Minimal Separating Sets for Acceptance Conditions in Muller Automata. - Helmut Lescow; Jens Vöge (Theor. Comput. Sci., 2000)