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
Local strategy improvement for parity game solving	2021-02-16	Paper
On guarded transformation in the modal \(\mu\)-calculus	2019-01-08	Paper
Deciding the unguarded modal \(\mu\)-calculus	2018-08-28	Paper
A subexponential lower bound for the random facet algorithm for parity games	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 \(\mu \)-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 \(\mathrm{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