| Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009 | 143 | 2009 |
| An exponential lower bound for the parity game strategy improvement algorithm as we know it O Friedmann 2009 24th Annual IEEE Symposium on Logic In Computer Science, 145-156, 2009 | 110 | 2009 |
| Subexponential lower bounds for randomized pivoting rules for the simplex algorithm O Friedmann, TD Hansen, U Zwick Proceedings of the forty-third annual ACM symposium on Theory of computing …, 2011 | 99 | 2011 |
| A subexponential lower bound for Zadeh’s pivoting rule for solving linear programs and games O Friedmann International Conference on Integer Programming and Combinatorial …, 2011 | 77 | 2011 |
| The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009 | 51 | 2009 |
| An exponential lower bound for the latest deterministic strategy iteration algorithms O Friedmann Logical Methods in Computer Science 7, 2011 | 43 | 2011 |
| Recursive algorithm for parity games requires exponential time O Friedmann RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2011 | 40 | 2011 |
| A Decision Procedure for CTL* Based on Tableaux and Automata O Friedmann, M Latte, M Lange Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 40 | 2010 |
| A solver for modal fixpoint logics O Friedmann, M Lange Electronic Notes in Theoretical Computer Science 262, 99-111, 2010 | 38 | 2010 |
| On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015 | 36 | 2015 |
| Exponential lower bounds for solving infinitary payoff games and linear programs O Friedmann lmu, 2011 | 24 | 2011 |
| A subexponential lower bound for the random facet algorithm for parity games O Friedmann, TD Hansen, U Zwick Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete …, 2011 | 24 | 2011 |
| An exponential lower bound for Cunningham’s rule D Avis, O Friedmann Mathematical Programming 161, 271-305, 2017 | 22 | 2017 |
| An exponential lower bound for Zadeh’s pivot rule Y Disser, O Friedmann, AV Hopp Mathematical Programming 199 (1), 865-936, 2023 | 18 | 2023 |
| Deciding the unguarded modal-calculus O Friedmann, M Lange Journal of Applied Non-Classical Logics 23 (4), 353-371, 2013 | 17 | 2013 |
| The Modal μ-Calculus Caught Off Guard O Friedmann, M Lange Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011 | 14 | 2011 |
| A superpolynomial lower bound for strategy iteration based on snare memorization O Friedmann Discrete Applied Mathematics 161 (10-11), 1317-1337, 2013 | 12 | 2013 |
| Local strategy improvement for parity game solving O Friedmann, M Lange arXiv preprint arXiv:1006.1409, 2010 | 11 | 2010 |
| A super-polynomial lower bound for the parity game strategy improvement algorithm as we know it O Friedmann arXiv preprint arXiv:0901.2731, 2009 | 11 | 2009 |
| Ramsey goes visibly pushdown O Friedmann, F Klaedtke, M Lange Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 10 | 2013 |
