Rational Behaviour and Strategy Construction in Infinite Multiplayer Games. - Michael Ummels (FSTTCS, 2006)

The Complexity of Nash Equilibria in Infinite Multiplayer Games. - Michael Ummels (FoSSaCS, 2008)

Decision Problems for Nash Equilibria in Stochastic Games. - Michael Ummels; Dominik Wojtczak (CSL, 2009)

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. - Michael Ummels; Dominik Wojtczak (ICALP (2), 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)

The Complexity of Finding Reset Words in Finite Automata. - Jörg Olschewski; Michael Ummels (MFCS, 2010)

Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. - Patricia Bouyer; Nicolas Markey; Jörg Olschewski; Michael Ummels (ATVA, 2011)

The Complexity of Nash Equilibria in Limit-Average Games. - Michael Ummels; Dominik Wojtczak (CONCUR, 2011)

Nash Equilibria in Concurrent Games with Büchi Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FSTTCS, 2011)

The Complexity of Nash Equilibria in Stochastic Multiplayer Games - Michael Ummels; Dominik Wojtczak (Log. Methods Comput. Sci., 2011)

Stochastic multiplayer games: theory and algorithms. - Michael Ummels (2011)

Playing Stochastic Games Precisely. - Taolue Chen 001; Vojtech Forejt; Marta Z. Kwiatkowska; Aistis Simaitis; Ashutosh Trivedi 001; Michael Ummels (CONCUR, 2012)

Concurrent Games with Ordered Objectives. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (FoSSaCS, 2012)

The Complexity of Quantitative Information Flow in Recursive Programs. - Rohit Chadha; Michael Ummels (FSTTCS, 2012)

Computing Quantiles in Markov Reward Models. - Michael Ummels; Christel Baier (FoSSaCS, 2013)

Pure Nash Equilibria in Concurrent Deterministic Games. - Patricia Bouyer; Romain Brenguier; Nicolas Markey; Michael Ummels (Log. Methods Comput. Sci., 2015)