MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following 4 documents:

  1. A Framework for the Verification of Certifying Computations
    Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, and Christine Rizkallah
    . Note: A preliminary version appeared under the title ``Verification of Certifying Computations'' in CAV 2011, LCNS Vol 6806, pages 67 -- 82. The full paper is under review at the Journal of Automated Reasoning. It is available at \url{http://www.mpi-inf.mpg.de/\~mehlhorn/ftp/FrameworkCertifyingComputations.pd f}
  2. Glivenko and Kuroda for Simple Type Theory
    Christine Rizkallah
    . Note: Submitted
    [PDF: Download: BrownRizkallah2011.pdf]
  3. Maximum Cardinality Matching
    Christine Rizkallah
    Archive of Formal Proofs , 2011
  4. Verification of Certifying Computations
    Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn, and Christine Rizkallah
    In: Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, USA, 2011, 67-82