Oliver Friedmann - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 22 from 22

2023

An exponential lower bound for Zadeh's pivot ruleYann Disser, Oliver Friedmann, Alexander V. Hopp. mp, 199(1):865-936, May 2023. [doi]

2017

An exponential lower bound for Cunningham's ruleDavid Avis, Oliver Friedmann. mp, 161(1-2):271-305, 2017. [doi]

2015

On guarded transformation in the modal μ-calculusFlorian Bruse, Oliver Friedmann, Martin Lange. igpl, 23(2):194-216, 2015. [doi]

Ramsey-Based Inclusion Checking for Visibly Pushdown AutomataOliver Friedmann, Felix Klaedtke, Martin Lange. tocl, 16(4):34, 2015. [doi]

2013

A superpolynomial lower bound for strategy iteration based on snare memorizationOliver Friedmann. DAM, 161(10-11):1317-1337, 2013. [doi]

Ramsey Goes Visibly PushdownOliver Friedmann, Felix Klaedtke, Martin Lange. icalp 2013: 224-237 [doi]

Deciding the unguarded modal µ-calculusOliver Friedmann, Martin Lange. jancl, 23(4):353-371, 2013. [doi]

2012

Ramsey-Based Analysis of Parity AutomataOliver Friedmann, Martin Lange. TACAS 2012: 64-78 [doi]

Two Local Strategy Iteration Schemes for Parity Game SolvingOliver Friedmann, Martin Lange. ijfcs, 23(3):669-685, 2012. [doi]

2011

A Subexponential Lower Bound for Zadeh s Pivoting Rule for Solving Linear Programs and GamesOliver Friedmann. ipco 2011: 192-206 [doi]

Exponential Lower Bounds for Solving Infinitary Payoff Games and Linear ProgramsOliver Friedmann. PhD thesis, Ludwig Maximilians University Munich, 2011. [doi]

Recursive algorithm for parity games requires exponential timeOliver Friedmann. ita, 45(4):449-457, 2011. [doi]

Exponentielle untere Schranken zur Lösung infinitärer Auszahlungsspiele und linearer ProgrammeOliver Friedmann. gi 2012: 51-60

Subexponential lower bounds for randomized pivoting rules for the simplex algorithmOliver Friedmann, Thomas Dueholm Hansen, Uri Zwick. stoc 2011: 283-292 [doi]

A subexponential lower bound for the Random Facet algorithm for Parity GamesOliver Friedmann, Thomas Dueholm Hansen, Uri Zwick. soda 2011: 202-216 [doi]

The Modal ::::μ::::-Calculus Caught Off GuardOliver Friedmann, Martin Lange. tableaux 2011: 149-163 [doi]

More on balanced dietsOliver Friedmann, Martin Lange. JFP, 21(2):135-157, 2011. [doi]

2010

The Stevens-Stirling-Algorithm for Solving Parity Games Locally Requires Exponential TimeOliver Friedmann. ijfcs, 21(3):277-287, 2010. [doi]

A Decision Procedure for CTL:::*::: Based on Tableaux and AutomataOliver Friedmann, Markus Latte, Martin Lange. cade 2010: 331-345 [doi]

A Solver for Modal Fixpoint LogicsOliver Friedmann, Martin Lange. ENTCS, 262:99-111, 2010. [doi]

2009

An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know itOliver Friedmann. lics 2009: 145-156 [doi]

Solving Parity Games in PracticeOliver Friedmann, Martin Lange. ATVA 2009: 182-196 [doi]

Sign in or sign up to see more results.

runs on WebDSL