MPI-INF D1 Publications

Search the publication database

Your search returned the following 3 documents:

  1. A New Combinatorial Approach to Parametric Path Analysis
    Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Ernst Althaus, Sebastian Altmeyer, and Rouven Naujoks
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 58, Reports of SFB/TR 14 AVACS
  2. Komplexitätstheorie und Algorithmik
    Kurt Mehlhorn, Volker Claus, and Wolfgang Thomas
    In: Informatik : Grundlagen - Anwendungen - Perspektiven, Dagstuhl, Germany, 1996, 113-116
  3. From Algorithm to Program to Software Library
    Kurt Mehlhorn
    In: Informatics : 10 years back, 10 years ahead, 2001, 268-273