dblp.uni-trier.dewww.uni-trier.de

Jens Vöge

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Nils Buhrke [1] [2] [4]
2Marcin Jurdzinski [7]
3Helmut Lescow [1] [3] [5]
4Oliver Matz [2]
5Dominik Schmitz [6]
6Wolfgang Thomas [4]
7S. Ulbrand [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)