Oliver Friedmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
9
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICALP | Ramsey Goes Visibly Pushdown. | Oliver Friedmann, Felix Klaedtke, Martin Lange |
| 2012 | TACAS | Ramsey-Based Analysis of Parity Automata. | Oliver Friedmann, Martin Lange |
| 2011 | IPCO | A Subexponential Lower Bound for Zadeh's Pivoting Rule for Solving Linear Programs and Games. | Oliver Friedmann |
| 2011 | SODA | A subexponential lower bound for the Random Facet algorithm for Parity Games. | Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick |
| 2011 | STOC | Subexponential lower bounds for randomized pivoting rules for the simplex algorithm. | Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick |
| 2011 | TABLEAUX | The Modal | Oliver Friedmann, Martin Lange |
| 2010 | CADE | A Decision Procedure for CTL | Oliver Friedmann, Markus Latte, Martin Lange |
| 2009 | ATVA | Solving Parity Games in Practice. | Oliver Friedmann, Martin Lange |
| 2009 | LICS | An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it. | Oliver Friedmann |