 | 2012 |
|---|
| 15 |       | Oliver Friedmann,
Martin Lange:
Ramsey-Based Analysis of Parity Automata.
TACAS 2012: 64-78 |
| 2011 |
|---|
| 14 | | Oliver Friedmann:
A Subexponential Lower Bound for Zadeh's Pivoting Rule for Solving Linear Programs and Games.
IPCO 2011: 192-206 |
| 13 | | Oliver Friedmann,
Thomas Dueholm Hansen,
Uri Zwick:
A subexponential lower bound for the Random Facet algorithm for Parity Games.
SODA 2011: 202-216 |
| 12 | | Oliver Friedmann,
Thomas Dueholm Hansen,
Uri Zwick:
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm.
STOC 2011: 283-292 |
| 11 | | Oliver Friedmann,
Martin Lange:
The Modal μ-Calculus Caught Off Guard.
TABLEAUX 2011: 149-163 |
| 10 | | Oliver Friedmann,
Martin Lange:
More on balanced diets.
J. Funct. Program. 21(2): 135-157 (2011) |
| 9 | | Oliver Friedmann:
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
Logical Methods in Computer Science 7(3): (2011) |
| 8 | | Oliver Friedmann:
Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear Programs.
Ludwig Maximilians University Munich 2011 |
| 2010 |
|---|
| 7 | | Oliver Friedmann,
Martin Lange:
Local Strategy Improvement for Parity Game Solving
GANDALF 2010: 118-131 |
| 6 | | Oliver Friedmann,
Markus Latte,
Martin Lange:
A Decision Procedure for CTL* Based on Tableaux and Automata.
IJCAR 2010: 331-345 |
| 5 | | Oliver Friedmann,
Martin Lange:
A Solver for Modal Fixpoint Logics.
Electr. Notes Theor. Comput. Sci. 262: 99-111 (2010) |
| 4 | | Oliver Friedmann:
The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential Time.
Int. J. Found. Comput. Sci. 21(3): 277-287 (2010) |
| 2009 |
|---|
| 3 | | Oliver Friedmann,
Martin Lange:
Solving Parity Games in Practice.
ATVA 2009: 182-196 |
| 2 | | Oliver Friedmann:
An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it.
LICS 2009: 145-156 |
| 1 | | Oliver Friedmann:
A Super-Polynomial Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it
CoRR abs/0901.2731: (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page