Search the dblp DataBase

Publications of Author

1. Jens Vöge, Marcin Jurdzinski
   A Discrete Strategy Improvement Algorithm for Solving Parity Games. [Citation Graph (0, 0)][DBLP]
   CAV, 2000, pp:202-215 [Conf]
   
2. Nils Buhrke, Wolfgang Thomas, Jens Vöge
   Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik. [Citation Graph (0, 0)][DBLP]
   FBT, 1997, pp:99-108 [Conf]
   
3. Nils Buhrke, Helmut Lescow, Jens Vöge
   Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. [Citation Graph (0, 0)][DBLP]
   TACAS, 1996, pp:207-224 [Conf]
   
4. Helmut Lescow, Jens Vöge
   Minimal Separating Sets for Muller Automata. [Citation Graph (0, 0)][DBLP]
   Workshop on Implementing Automata, 1997, pp:109-121 [Conf]
   
5. Dominik Schmitz, Jens Vöge
   Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. [Citation Graph (0, 0)][DBLP]
   CIAA, 2000, pp:263-271 [Conf]
   
6. Jens Vöge, S. Ulbrand, Oliver Matz, Nils Buhrke
   The Automata Theory Package omega. [Citation Graph (0, 0)][DBLP]
   Workshop on Implementing Automata, 1997, pp:228-231 [Conf]
   
7. Helmut Lescow, Jens Vöge
   Minimal Separating Sets for Acceptance Conditions in Muller Automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2000, v:231, n:1, pp:47-57 [Journal]