Kurt Mehlhorn

2013-01-01

A Framework for the Verification of Certifying Computations

Artikel

Journal of Automated Reasoning

Tags

Vertrauenswürdige Informationsverarbeitung

Autor:innen

Eyad Alkassar
Sascha Böhme
Kurt Mehlhorn
Christine Rizkallah

Herunterladen Detail-Seite besuchen

2013-01-01

Every DFS Tree of a 3-Connected Graph Contains a Contractible Edge

Artikel

Journal of Graph Theory

Tags

Vertrauenswürdige Informationsverarbeitung

Autor:innen

Amr Elmasry
Jens M. Schmidt
Kurt Mehlhorn

Herunterladen Detail-Seite besuchen

2013

Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds

Konferenz / Medium

ICALP
ICALP '13 - International Colloquium on Automata Languages and Programming

Tags

Autor:innen

Luca Becchetti
Vincenzo Bonifaci
Michael Dirnberger
Andreas Karrenbauer
Kurt Mehlhorn

Herunterladen Detail-Seite besuchen

2013

From approximate factorization to root isolation

Konferenz / Medium

ISSAC
ISSAC

Tags

Autor:innen

Kurt Mehlhorn
Michael Sagraloff
Pengming Wang

Herunterladen Detail-Seite besuchen

2013

Certifying 3-Edge-Connectivity

Artikel

AlgorithmicaWG

Tags

Autor:innen

Kurt Mehlhorn
Adrian Neumann
Jens M. Schmidt

Herunterladen Detail-Seite besuchen

2013

Physarum Computations

Konferenz / Medium

STACS
STACS

Tags

Autor:innen

Kurt Mehlhorn

Herunterladen Detail-Seite besuchen

2013

The cost of address translation

Konferenz / Medium

ALENEX
ALENEX'13- Workshop on Algorithm Engineering and Experiments

Tags

Autor:innen

Tomasz Jurkiewicz
Kurt Mehlhorn

Herunterladen Detail-Seite besuchen

2013

On Randomized Fictitious Play for Approximating Saddle Points over Convex Sets

Konferenz / Medium

COCOON
COCOON

Tags

Autor:innen

Khaled M. Elbassioni
Kazuhisa Makino
Kurt Mehlhorn
Fahimeh Ramezani

Herunterladen Detail-Seite besuchen

2013

A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market

Konferenz / Medium

ICALP
International Colloquium on Automata, Languages and Programming (ICALP'13)

Tags

Autor:innen

Ran Duan
Kurt Mehlhorn

Herunterladen Detail-Seite besuchen

2013

Computational Geometry (Dagstuhl Seminar 13101)

Artikel

Dagstuhl Reports

Tags

Autor:innen

Otfried Cheong
Kurt Mehlhorn
Monique Teillaud

Herunterladen Detail-Seite besuchen

Kurt Mehlhorn

E-Mail

Telefon

Adresse

Veröffentlichungen von Kurt Mehlhorn

Jahr 2013