Logical Specifications of Infinite Computations. - Wolfgang Thomas; Helmut Lescow (REX School/Symposium, 1993)

On Polynomial-Size Programs Winning Finite-State Games. - Helmut Lescow (CAV, 1995)

Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions. - Nils Buhrke; Helmut Lescow; Jens Vöge (TACAS, 1996)

Minimal Separating Sets for Muller Automata. - Helmut Lescow; Jens Vöge (Workshop on Implementing Automata, 1997)

Modular construction of strategies winning infinite games. - Helmut Lescow (1997)

Minimal Separating Sets for Acceptance Conditions in Muller Automata. - Helmut Lescow; Jens Vöge (Theor. Comput. Sci., 2000)