| 2013 | FOSSACS | Computing Quantiles in Markov Reward Models. | Michael Ummels, Christel Baier |
| 2012 | CONCUR | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | FOSSACS | Concurrent Games with Ordered Objectives. | Patricia Bouyer, Romain Brenguier, Nicolas Markey, Michael Ummels |
| 2011 | ATVA | Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited. | Patricia Bouyer, Nicolas Markey, Jrg Olschewski, Michael Ummels |
| 2011 | CONCUR | The Complexity of Nash Equilibria in Limit-Average Games. | Michael Ummels, Dominik Wojtczak |
| 2010 | MFCS | The Complexity of Finding Reset Words in Finite Automata. | Jrg Olschewski, Michael Ummels |
| 2009 | CSL | Decision Problems for Nash Equilibria in Stochastic Games. | Michael Ummels, Dominik Wojtczak |
| 2009 | ICALP | The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games. | Michael Ummels, Dominik Wojtczak |
| 2008 | FOSSACS | The Complexity of Nash Equilibria in Infinite Multiplayer Games. | Michael Ummels |