Jean-Franois Dufourd
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1997–2014
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICFEM | Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. | Jean-Franois Dufourd |
| 2014 | ITP | Hypermap Specification and Certified Linked Implementation Using Orbits. | Jean-Franois Dufourd |
| 2010 | ITP | Formal Study of Plane Delaunay Triangulation. | Jean-Franois Dufourd, Yves Bertot |
| 2008 | STACS | Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. | Jean-Franois Dufourd |
| 2007 | SAC | A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. | Jean-Franois Dufourd |
| 2003 | GMP | Combination of Automatic and Interactive Tools for Solution Space Browsing. | Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-Franois Dufourd |
| 1998 | FM | Formal Program Development in Geometric Modeling. | Franois Puitg, Jean-Franois Dufourd |
| 1997 | FM | Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. | David Cazier, Jean-Franois Dufourd |