E-LIB Suche - Ergebnisse für: Friedmann, Oliver

1

An exponential lower bound for Zadeh's pivot rule:

Disser, Yann ; Friedmann, Oliver ; Hopp, Alexander V.
Mathematical Programming. 199 (2022) 1-2 - p. 865-936 , 2022

Link: https://doi.org/10.1007/..

2

An exponential lower bound for Cunningham's rule:

Avis, David ; Friedmann, Oliver
Mathematical Programming. 161 (2016) 1-2 - p. 271-305 , 2016

Link: https://doi.org/10.1007/..

3

Ramsey-Based Inclusion Checking for Visibly Pushdown Automa..:

Friedmann, Oliver ; Klaedtke, Felix ; Lange, Martin
ACM Transactions on Computational Logic (TOCL). 16 (2015) 4 - p. 1-24 , 2015

Link: https://dl.acm.org/doi/1..

4

Ramsey-Based Inclusion Checking for Visibly Pushdown Automa..:

Friedmann, Oliver ; Klaedtke, Felix ; Lange, Martin
ACM Transactions on Computational Logic. 16 (2015) 4 - p. 1-24 , 2015

Link: https://doi.org/10.1145/..

5

Deciding the unguarded modal -calculus:

Friedmann, Oliver ; Lange, Martin
Journal of Applied Non-Classical Logics. 23 (2013) 4 - p. 353-371 , 2013

Link: https://doi.org/10.1080/..

6

A superpolynomial lower bound for strategy iteration based ..:

Friedmann, Oliver
Discrete Applied Mathematics. 161 (2013) 10-11 - p. 1317-1337 , 2013

Link: https://doi.org/10.1016/..

7

Exponential Lower Bounds for Solving Infinitary Payoff Game..:

Friedmann, Oliver , 2011

Link: http://nbn-resolving.de/..

8

Subexponential lower bounds for randomized pivoting rules f..:

, In: Proceedings of the forty-third annual ACM symposium on Theory of computing,

Friedmann, Oliver ; Hansen, Thomas Dueholm ; Zwick, Uri - p. 283-292 , 2011

Link: https://dl.acm.org/doi/1..

9

A subexponential lower bound for the random facet algorithm..:

, In: Proceedings of the twenty-second annual ACM-SIAM symposium on Discrete algorithms,

Friedmann, Oliver ; Hansen, Thomas Dueholm ; Zwick, Uri - p. 202-216 , 2011

Link: https://dl.acm.org/doi/1..

10

More on balanced diets:

FRIEDMANN, OLIVER ; LANGE, MARTIN
Journal of Functional Programming. 21 (2011) 2 - p. 135-157 , 2011

Link: https://doi.org/10.1017/..

11

A Solver for Modal Fixpoint Logics:

Friedmann, Oliver ; Lange, Martin
Electronic Notes in Theoretical Computer Science. 262 (2010) - p. 99-111 , 2010

Link: https://doi.org/10.1016/..

12

Target costing in der Produktentwicklung am Beispiel eines ..

ein methodisch-empirischer Ansatz zur zielkostenorientierte... Europäische Hochschulschriften, Reihe 5, Volks- und Betriebswirtschaft ; 2195

Friedmann, Oliver , 1997

Copies: TB BHV: wir 228/13

13

An Exponential Lower Bound for Zadeh's pivot rule:

Disser, Yann ; Friedmann, Oliver ; Hopp, Alexander V
http://arxiv.org/abs/1911.01074. , 2019

Link: http://arxiv.org/abs/191..

14

Random-Facet and Random-Bland require subexponential time e..:

Friedmann, Oliver ; Hansen, Thomas Dueholm ; Zwick, Uri
http://arxiv.org/abs/1410.7530. , 2014

Link: http://arxiv.org/abs/141..

15

Errata for: A subexponential lower bound for the Random Fac..:

Friedmann, Oliver ; Hansen, Thomas Dueholm ; Zwick, Uri
http://arxiv.org/abs/1410.7871. , 2014

Link: http://arxiv.org/abs/141..