Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009 | 140 | 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 | 95 | 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 | 50 | 2009 |

An exponential lower bound for the latest deterministic strategy iteration algorithms O Friedmann Logical Methods in Computer Science 7, 2011 | 42 | 2011 |

A Decision Procedure for CTL^{*} Based on Tableaux and AutomataO Friedmann, M Latte, M Lange Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 41 | 2010 |

Recursive algorithm for parity games requires exponential time O Friedmann RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2011 | 39 | 2011 |

A solver for modal fixpoint logics O Friedmann, M Lange Electronic Notes in Theoretical Computer Science 262, 99-111, 2010 | 37 | 2010 |

On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015 | 35 | 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 | 23 | 2011 |

An exponential lower bound for Cunningham’s rule D Avis, O Friedmann Mathematical Programming 161, 271-305, 2017 | 21 | 2017 |

Deciding the unguarded modal-calculus O Friedmann, M Lange Journal of Applied Non-Classical Logics 23 (4), 353-371, 2013 | 16 | 2013 |

An exponential lower bound for Zadeh’s pivot rule Y Disser, O Friedmann, AV Hopp Mathematical Programming 199 (1), 865-936, 2023 | 14 | 2023 |

The Modal *μ*-Calculus Caught Off GuardO 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 | 11 | 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 | 10 | 2009 |

Ramsey goes visibly pushdown O Friedmann, F Klaedtke, M Lange Automata, Languages, and Programming: 40th International Colloquium, ICALP …, 2013 | 9 | 2013 |