Synthesizing Structured Reactive Programs via Deterministic Tree Automata - Benedikt Brütsch (SR, 2013)

Playing Games in the Baire Space. - Benedikt Brütsch; Wolfgang Thomas (Cassting/SynCoP, 2016)

N-Memory Automata over the Alphabet N. - Benedikt Brütsch; Patrick Landwehr; Wolfgang Thomas (LATA, 2017)

Strategies in infinite games: structured reactive programs and transducers over infinite alphabets. - Benedikt Brütsch (2018)

Solving Infinite Games in the Baire Space. - Benedikt Brütsch; Wolfgang Thomas (Fundam. Informaticae, 2022)