| Publication | Date of Publication | Type |
|---|
An exponential lower bound for Zadeh's pivot rule
Mathematical Programming. Series A. Series B | 2023-05-02 | Paper |
| Local strategy improvement for parity game solving | 2021-02-16 | Paper |
On guarded transformation in the modal \(\mu\)-calculus
Logic Journal of the IGPL | 2019-01-08 | Paper |
Deciding the unguarded modal \(\mu\)-calculus
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| A subexponential lower bound for the random facet algorithm for parity games | 2017-09-29 | Paper |
Ramsey-based inclusion checking for visibly pushdown automata
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
An exponential lower bound for Cunningham's rule
Mathematical Programming. Series A. Series B | 2017-02-03 | Paper |
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
Proceedings of the forty-third annual ACM symposium on Theory of computing | 2014-06-05 | Paper |
A superpolynomial lower bound for strategy iteration based on snare memorization
Discrete Applied Mathematics | 2014-04-16 | Paper |
Satisfiability games for branching-time logics
Logical Methods in Computer Science | 2013-10-16 | Paper |
Ramsey goes visibly pushdown
Automata, Languages, and Programming | 2013-08-07 | Paper |
Two local strategy iteration schemes for parity game solving
International Journal of Foundations of Computer Science | 2012-08-30 | Paper |
Ramsey-based analysis of parity automata
Tools and Algorithms for the Construction and Analysis of Systems | 2012-06-29 | Paper |
An exponential lower bound for the latest deterministic strategy iteration algorithms
Logical Methods in Computer Science | 2012-04-02 | Paper |
Recursive algorithm for parity games requires exponential time
RAIRO - Theoretical Informatics and Applications | 2012-02-28 | Paper |
Recursive algorithm for parity games requires exponential time
RAIRO - Theoretical Informatics and Applications | 2012-02-28 | Paper |
More on balanced diets
Journal of Functional Programming | 2011-07-25 | Paper |
The modal \(\mu \)-calculus caught off guard
Lecture Notes in Computer Science | 2011-07-01 | Paper |
A subexponential lower bound for Zadeh's pivoting rule for solving linear programs and games
Integer Programming and Combinatoral Optimization | 2011-06-24 | Paper |
A decision procedure for \(\mathrm{CTL}^{*}\) based on tableaux and automata
Automated Reasoning | 2010-09-14 | Paper |
The Stevens-Stirling-algorithm for solving parity games locally requires exponential time
International Journal of Foundations of Computer Science | 2010-06-18 | Paper |
Solving parity games in practice
Automated Technology for Verification and Analysis | 2009-12-01 | Paper |
