`Travelled to:`

1 × Estonia

1 × Latvia

1 × United Kingdom

2 × USA

`Collaborated with:`

M.Lange ∅ F.Klaedtke T.D.Hansen U.Zwick M.Latte

`Talks about:`

algorithm (2) automata (2) ramsey (2) pariti (2) lower (2) bound (2) base (2) subexponenti (1) exponenti (1) tableaux (1)

## Person: Oliver Friedmann

### DBLP: Friedmann:Oliver

### Contributed to:

### Wrote 5 papers:

- ICALP-v2-2013-FriedmannKL #automaton
- Ramsey Goes Visibly Pushdown (OF, FK, ML), pp. 224–237.
- TACAS-2012-FriedmannL #analysis #automaton
- Ramsey-Based Analysis of Parity Automata (OF, ML), pp. 64–78.
- STOC-2011-FriedmannHZ #algorithm #bound #random
- Subexponential lower bounds for randomized pivoting rules for the simplex algorithm (OF, TDH, UZ), pp. 283–292.
- IJCAR-2010-FriedmannLL #automaton
- A Decision Procedure for CTL* Based on Tableaux and Automata (OF, ML, ML), pp. 331–345.
- LICS-2009-Friedmann #algorithm #bound #exponential #game studies
- An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it (OF), pp. 145–156.