Jens Vöge

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Dominik Schmitz, Jens Vöge
Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. CIAA (2000)
Helmut Lescow, Jens Vöge
Minimal Separating Sets for Acceptance Conditions in Muller Automata. Theor. Comput. Sci. 231 (1) (2000)
Jens Vöge, Marcin Jurdzinski
A Discrete Strategy Improvement Algorithm for Solving Parity Games. CAV (2000)
Helmut Lescow, Jens Vöge
Minimal Separating Sets for Muller Automata. Workshop on Implementing Automata (1997)
Nils Buhrke, Wolfgang Thomas, Jens Vöge
Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. FBT (1997)
Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke
. Workshop on Implementing Automata (1997)
Nils Buhrke, Helmut Lescow, Jens Vöge
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. TACAS (1996)