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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Oliver Friedmann