| The complexity of finding reset words in finite automata J Olschewski, M Ummels International Symposium on Mathematical Foundations of Computer Science, 568-579, 2010 | 62 | 2010 |
| The complexity of Nash equilibria in infinite multiplayer games M Ummels International Conference on Foundations of Software Science and …, 2008 | 62 | 2008 |
| Rational behaviour and strategy construction in infinite multiplayer games M Ummels FSTTCS 2006: Foundations of Software Technology and Theoretical Computer …, 2006 | 58 | 2006 |
| Stochastic multiplayer games: Theory and algorithms M Ummels Pallas Publications, 2010 | 52 | 2010 |
| The complexity of Nash equilibria in limit-average games M Ummels, D Wojtczak International Conference on Concurrency Theory, 482-496, 2011 | 51 | 2011 |
| Pure Nash Equilibria in Concurrent Deterministic Games P Bouyer, R Brenguier, N Markey, M Ummels arXiv preprint arXiv:1503.06826, 2015 | 48 | 2015 |
| Computing quantiles in Markov reward models M Ummels, C Baier International Conference on Foundations of Software Science and …, 2013 | 41 | 2013 |
| The complexity of Nash equilibria in stochastic multiplayer games M Ummels, D Wojtczak Logical Methods in Computer Science 7 (3), 2011 | 41 | 2011 |
| Solution concepts and algorithms for infinite multiplayer games E Grädel, M Ummels New Perspectives on Games and Interaction 4, 151-178, 2008 | 40 | 2008 |
| Concurrent games with ordered objectives P Bouyer, R Brenguier, N Markey, M Ummels International Conference on Foundations of Software Science and …, 2012 | 39 | 2012 |
| Measuring permissiveness in parity games: Mean-payoff parity games revisited P Bouyer, N Markey, J Olschewski, M Ummels International Symposium on Automated Technology for Verification and …, 2011 | 35 | 2011 |
| Nash equilibria in concurrent games with Büchi objectives P Bouyer, R Brenguier, N Markey, M Ummels LIPIcs-Leibniz International Proceedings in Informatics 13, 2011 | 34 | 2011 |
| Playing stochastic games precisely T Chen, V Forejt, M Kwiatkowska, A Simaitis, A Trivedi, M Ummels International Conference on Concurrency Theory, 348-363, 2012 | 18 | 2012 |
| The complexity of Nash equilibria in simple stochastic multiplayer games M Ummels, D Wojtczak International Colloquium on Automata, Languages, and Programming, 297-308, 2009 | 16 | 2009 |
| Decision problems for Nash equilibria in stochastic games M Ummels, D Wojtczak International Workshop on Computer Science Logic, 515-529, 2009 | 11 | 2009 |
| The Complexity of Quantitative Information Flow in Recursive Programs R Chadha, M Ummels IARCS Annual Conference on Foundations of Software Technology and …, 2012 | 8 | 2012 |
| Pure Nash Equilibria in Concurrent Deterministic Games M Ummels, N Markey, R Brenguier, P Bouyer Logical Methods in Computer Science 11, 2015 | 1 | 2015 |
| Operatives Verkehrsmanagement für einen energieeffizienten Bahnbetrieb T Schumann, M Ummels EI-Der Eisenbahningenieur, 36-40, 2015 | 1 | 2015 |
| Operative Traffic Management for Energy-Efficient Train Operation M Ummels, T Schumann 6th International Conference on Railway Operations Modelling and Analysis …, 2015 | | 2015 |
| DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn)” DFG-Graduiertenkolleg “Algorithmische Synthese reaktiver und diskret … W Thomas, K Bollue, D Gückel, G Quiros, M Slaats, M Ummels it-Information Technology 51 (4), 222-230, 2009 | | 2009 |
Nicolas MarkeyCNRS, IRISA, Univ. Rennes, FranceVerified email at irisa.fr
