Solving parity games in practice O Friedmann, M Lange International Symposium on Automated Technology for Verification and …, 2009 | 116 | 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 | 100 | 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 | 77 | 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 | 58 | 2011 |

The PGSolver collection of parity game solvers O Friedmann, M Lange University of Munich, 4-6, 2009 | 40 | 2009 |

A Decision Procedure for CTL^{*} Based on Tableaux and AutomataO Friedmann, M Latte, M Lange International Joint Conference on Automated Reasoning, 331-345, 2010 | 39 | 2010 |

Recursive algorithm for parity games requires exponential time O Friedmann RAIRO-Theoretical Informatics and Applications 45 (4), 449-457, 2011 | 36 | 2011 |

An exponential lower bound for the latest deterministic strategy iteration algorithms O Friedmann arXiv preprint arXiv:1106.0778, 2011 | 36 | 2011 |

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

On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015 | 25 | 2015 |

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 |

Exponential lower bounds for solving infinitary payoff games and linear programs O Friedmann lmu, 2011 | 17 | 2011 |

The Modal *μ*-Calculus Caught Off GuardO Friedmann, M Lange International Conference on Automated Reasoning with Analytic Tableaux and …, 2011 | 14 | 2011 |

An exponential lower bound for Cunningham’s rule D Avis, O Friedmann Mathematical Programming 161 (1-2), 271-305, 2017 | 11 | 2017 |

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 |

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

Ramsey-based analysis of parity automata O Friedmann, M Lange International Conference on Tools and Algorithms for the Construction and …, 2012 | 9 | 2012 |

Local strategy improvement for parity game solving O Friedmann, M Lange arXiv preprint arXiv:1006.1409, 2010 | 9 | 2010 |

The Stevens-Stirling-algorithm for solving parity games locally requires exponential time O Friedmann International Journal of Foundations of Computer Science 21 (03), 277-287, 2010 | 9 | 2010 |

Ramsey goes visibly pushdown O Friedmann, F Klaedtke, M Lange International Colloquium on Automata, Languages, and Programming, 224-237, 2013 | 7 | 2013 |