Oliver Friedmann

Available identifiers

zbMath Open friedmann.oliverWikidataQ50540679 ScholiaQ50540679MaRDI QIDQ507320

List of research outcomes

Publication	Date of Publication	Type
An exponential lower bound for Zadeh's pivot rule	2023-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q5151004	2021-02-16	Paper
On guarded transformation in the modal  -calculus	2019-01-08	Paper
Deciding the unguarded modal -calculus	2018-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5365038	2017-09-29	Paper
Ramsey-Based Inclusion Checking for Visibly Pushdown Automata	2017-07-12	Paper
An exponential lower bound for Cunningham's rule	2017-02-03	Paper
Subexponential lower bounds for randomized pivoting rules for the simplex algorithm	2014-06-05	Paper
A superpolynomial lower bound for strategy iteration based on snare memorization	2014-04-16	Paper
Satisfiability games for branching-time logics	2013-10-16	Paper
Ramsey Goes Visibly Pushdown	2013-08-07	Paper
Two local strategy iteration schemes for parity game solving	2012-08-30	Paper
Ramsey-Based Analysis of Parity Automata	2012-06-29	Paper
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms	2012-04-02	Paper
Recursive algorithm for parity games requires exponential time	2012-02-28	Paper
More on balanced diets	2011-07-25	Paper
The Modal μ-Calculus Caught Off Guard	2011-07-01	Paper
A Subexponential Lower Bound for Zadeh’s Pivoting Rule for Solving Linear Programs and Games	2011-06-24	Paper
A Decision Procedure for CTL* Based on Tableaux and Automata	2010-09-14	Paper
THE STEVENS-STIRLING-ALGORITHM FOR SOLVING PARITY GAMES LOCALLY REQUIRES EXPONENTIAL TIME	2010-06-18	Paper
Solving Parity Games in Practice	2009-12-01	Paper

Research outcomes over time

This page was built for person: Oliver Friedmann