Skip to content
cs-conference-ranking.org

Yves Bertot

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

10

Active years

1990–2025

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2025ITPFormally Verifying a Vertical Cell Decomposition Algorithm.Yves Bertot, Thomas Portet
2018ICTACFormal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.Yves Bertot
2016CPPFormal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials.Sophie Bernard, Yves Bertot, Laurence Rideau, Pierre-Yves Strub
2015CPPFixed Precision Patterns for the Formal Verification of Mathematical Constant Approximations.Yves Bertot
2013ITPA Machine-Checked Proof of the Odd Order Theorem.Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, Franois Garillot, Stphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Thry
2011ICCSAA Coq-Based Library for Interactive and Automated Theorem Proving in Plane Geometry.Tuan-Minh Pham, Yves Bertot, Julien Narboux
2010ITPFormal Study of Plane Delaunay Triangulation.Jean-Franois Dufourd, Yves Bertot
2009SYNASCFormal Proof of Theorems on Genetic Regulatory Networks.Maxime Dns, Benjamin Lesage, Yves Bertot, Adrien Richard
2008PPDPFixed point semantics and partial recursion in Coq.Yves Bertot, Vladimir Komendantsky
2001CAVFormalizing a JVML Verifier for Initialization in a Theorem Prover.Yves Bertot
1996CADECtCoq: A System Presentation.Janet Bertot, Yves Bertot
1991PLDIOccurences in Debugger Specifications.Yves Bertot
1990ESOPImplementation of an Interpreter for a Parallel Language in Centaur.Yves Bertot