Send email Copy Email Address
Placeholder
Professor

Kurt Mehlhorn

Email

Phone

Address

Campus E1 4
66123 Saarbrücken (Germany)

Publications by Kurt Mehlhorn

Year 2013

2013-01-01

A Framework for the Verification of Certifying Computations

Article

Journal of Automated Reasoning

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2013-01-01

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

Article

Journal of Graph Theory

Tags
Trustworthy Information Processing
Authors
Download Visit Detail Page
2013

Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds

Conference / Medium

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

Tags
Authors
  • Luca Becchetti
  • Vincenzo Bonifaci
  • Michael Dirnberger
  • Andreas Karrenbauer
  • Kurt Mehlhorn
Download Visit Detail Page
2013

From approximate factorization to root isolation

Conference / Medium

ISSAC
ISSAC

Tags
Authors
Download Visit Detail Page
2013

Certifying 3-Edge-Connectivity

Article

AlgorithmicaWG

Tags
Authors
Download Visit Detail Page
2013

Physarum Computations

Conference / Medium

STACS
STACS

Tags
Authors
Download Visit Detail Page
2013

The cost of address translation

Conference / Medium

ALENEX
ALENEX'13- Workshop on Algorithm Engineering and Experiments

Tags
Authors
Download Visit Detail Page
2013

On Randomized Fictitious Play for Approximating Saddle Points over Convex Sets

Conference / Medium

COCOON
COCOON

Tags
Authors
Download Visit Detail Page
2013

A Combinatorial Polynomial Algorithm for the Linear Arrow-Debreu Market

Conference / Medium

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

Tags
Authors
Download Visit Detail Page
2013

Computational Geometry (Dagstuhl Seminar 13101)

Article

Dagstuhl Reports

Tags
Authors
Download Visit Detail Page