BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Friedmann:Oliver

Contributed to:

ICALP (2) 20132013
TACAS 20122012
STOC 20112011
IJCAR 20102010
LICS 20092009

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.