Construction of Interactive Programs in Computer Graphics. - Jean-François Dufourd (Comput. Graph. Forum, 1988)

A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping. - Jean-François Dufourd (Eurographics, 1989)

An OBJ3 functional specification for boundary representation. - Jean-François Dufourd (Symposium on Solid Modeling and Applications, 1991)

Formal specification of topological subdivisions using hypermaps. - Jean-François Dufourd (Comput. Aided Des., 1991)

Algebraic Specification and Development in Geometric Modeling. - Yves Bertrand; Jean-François Dufourd; Jean Françon; Pascal Lienhardt (TAPSOFT, 1993)

Algebraic Specification of a 3D-Modeler Based on Hypermaps. - Yves Bertrand; Jean-François Dufourd (CVGIP Graph. Model. Image Process., 1994)

Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. - David Cazier; Jean-François Dufourd (FME, 1997)

Formal Resolution of Geometrical Constraint Systems by Assembling. - Jean-François Dufourd; Pascal Mathis; Pascal Schreck (Symposium on Solid Modeling and Applications, 1997)

Algebras and formal specifications in geometric modelling. - Jean-François Dufourd (Vis. Comput., 1997)

Formal Program Development in Geometric Modeling. - François Puitg; Jean-François Dufourd (FM-Trends, 1998)

Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. - François Puitg; Jean-François Dufourd (TPHOLs, 1998)

Geometric Construction by Assembling Solved Subfigures. - Jean-François Dufourd; Pascal Mathis; Pascal Schreck (Artif. Intell., 1998)

A formal specification of geometric refinements. - David Cazier; Jean-François Dufourd (Vis. Comput., 1999)

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. - Christophe Dehlinger; Jean-François Dufourd; Pascal Schreck (Automated Deduction in Geometry, 2000)

Sketch-based pruning of a solution space within a formal geometric constraint solver. - Caroline Essert-Villard; Pascal Schreck; Jean-François Dufourd (Artif. Intell., 2000)

Functional specification and prototyping with oriented combinatorial maps. - Jean-François Dufourd; François Puitg (Comput. Geom., 2000)

Formalizing mathematics in higher-order logic: A case study in geometric modelling. - François Puitg; Jean-François Dufourd (Theor. Comput. Sci., 2000)

Parametrizing geometric objects using λ-calculus. - Jean-François Dufourd; Sven Luther (SCCG, 2002)

Interacting with parametrized geometric objects using lambda-terms. - Jean-François Dufourd; Sven Luther (Symposium on Solid Modeling and Applications, 2002)

Formalizing the Trading Theorem for the Classification of Surfaces. - Christophe Dehlinger; Jean-François Dufourd (TPHOLs, 2002)

Combination of Automatic and Interactive Tools for Solution Space Browsing. - Caroline Essert-Villard; Pascal Schreck; Pascal Mathis; Jean-François Dufourd (GMAG, 2003)

Formalizing generalized maps in Coq. - Christophe Dehlinger; Jean-François Dufourd (Theor. Comput. Sci., 2004)

Formalizing the trading theorem in Coq. - Christophe Dehlinger; Jean-François Dufourd (Theor. Comput. Sci., 2004)

A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. - Jean-François Dufourd (SAC, 2007)

Design and formal proof of a new optimal image segmentation program with hypermaps. - Jean-François Dufourd (Pattern Recognit., 2007)

Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. - Jean-François Dufourd (STACS, 2008)

Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof. - Jean-François Dufourd (Theor. Comput. Sci., 2008)

Particle-based forecast mechanism for continuous collision detection in deformable environments. - Thomas Jund; David Cazier; Jean-François Dufourd (Symposium on Solid and Physical Modeling, 2009)

An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. - Jean-François Dufourd (J. Autom. Reason., 2009)

Formal Study of Plane Delaunay Triangulation. - Jean-François Dufourd; Yves Bertot (ITP, 2010)

Edge Collision Detection in Complex Deformable Environments. - Thomas Jund; David Cazier; Jean-François Dufourd (VRIPHYS, 2010)

Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. - Christophe Brun; Jean-François Dufourd; Nicolas Magaud (Automated Deduction in Geometry, 2012)

Designing and proving correct a convex hull algorithm with hypermaps in Coq. - Christophe Brun; Jean-François Dufourd; Nicolas Magaud (Comput. Geom., 2012)

Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. - Jean-François Dufourd (ICFEM, 2014)

Hypermap Specification and Certified Linked Implementation Using Orbits. - Jean-François Dufourd (ITP, 2014)

Formal specification and proofs for the topology and classification of combinatorial surfaces. - Christophe Dehlinger; Jean-François Dufourd (Comput. Geom., 2014)

Formal study of functional orbits in finite domains. - Jean-François Dufourd (Theor. Comput. Sci., 2015)