Helmut Lescow

According to our database, Helmut Lescow authored at least 6 papers between 1993 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

Minimal Separating Sets for Acceptance Conditions in Muller Automata.

Helmut Lescow, Jens Vöge

Theor. Comput. Sci., 2000

1997

Modular construction of strategies winning infinite games.

Helmut Lescow

PhD thesis, 1997

Minimal Separating Sets for Muller Automata.

Helmut Lescow, Jens Vöge

Proceedings of the Automata Implementation, 1997

1996

Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions.

Nils Buhrke, Helmut Lescow, Jens Vöge

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

On Polynomial-Size Programs Winning Finite-State Games.

Helmut Lescow

Proceedings of the Computer Aided Verification, 1995

1993

Logical Specifications of Infinite Computations.

Wolfgang Thomas, Helmut Lescow

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993