Positional Strategies for Higher-Order Pushdown Parity Games. - Arnaud Carayol; Michaela Slaats (MFCS, 2008)

Parametrized Regular Infinite Games and Higher-Order Pushdown Strategies. - Paul Hänsch; Michaela Slaats; Wolfgang Thomas (FCT, 2009)

DFG Research Training Group "Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)" (DFG-Graduiertenkolleg "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)"). - Wolfgang Thomas; Kai Bollue; Dominique Gückel; Gustavo Quiros; Michaela Slaats; Michael Ummels (it Inf. Technol., 2009)

Aspects of Higher-Order Pushdown Systems - Infinite Regular Games and Strategies. - Michaela Slaats (AlgoSyn, 2010)

Synthesis of behavioral controllers for DES: Increasing efficiency. - Kai Bollue; Michaela Slaats; Erika Ábrahám; Wolfgang Thomas; Dirk Abel (WODES, 2010)

Infinite regular games in the higher-order pushdown and the parametrized setting. - Michaela Slaats (2011)