Jens Vöge

According to our database1, Jens Vöge authored at least 7 papers between 1996 and 2000.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2000
Minimal Separating Sets for Acceptance Conditions in Muller Automata.
Theor. Comput. Sci., 2000

Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games.
Proceedings of the Implementation and Application of Automata, 2000

A Discrete Strategy Improvement Algorithm for Solving Parity Games.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1997
The Automata Theory Package <i>omega</i>.
Proceedings of the Automata Implementation, 1997

Minimal Separating Sets for Muller Automata.
Proceedings of the Automata Implementation, 1997

Ein inkrementeller Ansatz zur effizienten Synthese von Controllern aus Spezifikationen mit temporaler Logik.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996


  Loading...