Concepedia

Oliver Friedmann

OF

Statistics

Publications

10

Citations

299

H-Index

10

Active since

2009

Affiliations

Ludwig-Maximilians-Universität München(Current)

Aarhus University

Oliver Friedmann is an author at Ludwig-Maximilians-Universität München specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceGamesGame TheoryFormal MethodsComputational ComplexityCombinatorial OptimizationBusinessProbabilityVerification

Publications per year

2009–2022

10

Publications

10

An Exponential Lower Bound for the Parity Game Strategy Improvement Algorithm as We Know it

Oliver Friedmann · 2009 · 83 citations

Mathematical Programming, Engineering, Combinatorial Game +18

Subexponential lower bounds for randomized pivoting rules for the simplex algorithm

Oliver Friedmann, Thomas Dueholm Hansen, Uri Zwick · 2011 · 71 citations

Recursive algorithm for parity games requires exponential time

Oliver Friedmann · RAIRO - Theoretical Informatics and Applications · 2011 · 36 citations

Mathematical Programming, Engineering, Combinatorial Game +15

A Solver for Modal Fixpoint Logics

Oliver Friedmann, Martin Lange · Electronic Notes in Theoretical Computer Science · 2010 · 26 citations · Full text

Computational Logic, Parity Game, Parity Game Solver +14

An exponential lower bound for Cunningham’s rule

David Avis, Oliver Friedmann · Mathematical Programming · 2016 · 17 citations

Engineering, Entropy, Lower Bound +4

Rows per page

1–5 of 10