Jean-François Dufourd

Publication Activity (10 Years)

Years Active: 1988-2015
Publications (10 Years): 0

Top Topics

Computational Geometry

Feasible Solution

Top Venues

Automated Deduction in Geometry

Theor. Comput. Sci.

Publications

Jean-François Dufourd
Formal study of functional orbits in finite domains. Theor. Comput. Sci. 564 (2015)
Christophe Dehlinger, Jean-François Dufourd
Formal specification and proofs for the topology and classification of combinatorial surfaces. Comput. Geom. 47 (9) (2014)
Jean-François Dufourd
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. ICFEM (2014)
Jean-François Dufourd
Hypermap Specification and Certified Linked Implementation Using Orbits. ITP (2014)
Christophe Brun, Jean-François Dufourd, Nicolas Magaud
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls. Automated Deduction in Geometry (2012)
Christophe Brun, Jean-François Dufourd, Nicolas Magaud
Designing and proving correct a convex hull algorithm with hypermaps in Coq. Comput. Geom. 45 (8) (2012)
Jean-François Dufourd, Yves Bertot
Formal Study of Plane Delaunay Triangulation. ITP (2010)
Thomas Jund, David Cazier, Jean-François Dufourd
Edge Collision Detection in Complex Deformable Environments. VRIPHYS (2010)
Jean-François Dufourd, Yves Bertot
Formal study of plane Delaunay triangulation CoRR (2010)
Jean-François Dufourd
An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. J. Autom. Reason. 43 (1) (2009)
Thomas Jund, David Cazier, Jean-François Dufourd
Particle-based forecast mechanism for continuous collision detection in deformable environments. Symposium on Solid and Physical Modeling (2009)
Jean-François Dufourd
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. STACS (2008)
Jean-François Dufourd
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps CoRR (2008)
Jean-François Dufourd
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof. Theor. Comput. Sci. 403 (2-3) (2008)
Jean-François Dufourd
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. SAC (2007)
Jean-François Dufourd
Design and formal proof of a new optimal image segmentation program with hypermaps. Pattern Recognit. 40 (11) (2007)
Christophe Dehlinger, Jean-François Dufourd
Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323 (1-3) (2004)
Christophe Dehlinger, Jean-François Dufourd
Formalizing generalized maps in Coq. Theor. Comput. Sci. 323 (1-3) (2004)
Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd
Combination of Automatic and Interactive Tools for Solution Space Browsing. GMAG (2003)
Christophe Dehlinger, Jean-François Dufourd
Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs (2002)
Jean-François Dufourd, Sven Luther
Interacting with parametrized geometric objects using lambda-terms. Symposium on Solid Modeling and Applications (2002)
Jean-François Dufourd, Sven Luther
Parametrizing geometric objects using λ-calculus. SCCG (2002)
Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. Automated Deduction in Geometry (2000)
Jean-François Dufourd, François Puitg
Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16 (2) (2000)
François Puitg, Jean-François Dufourd
Formalizing mathematics in higher-order logic: A case study in geometric modelling. Theor. Comput. Sci. 234 (1-2) (2000)
Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd
Sketch-based pruning of a solution space within a formal geometric constraint solver. Artif. Intell. 124 (1) (2000)
David Cazier, Jean-François Dufourd
A formal specification of geometric refinements. Vis. Comput. 15 (6) (1999)
François Puitg, Jean-François Dufourd
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs (1998)
François Puitg, Jean-François Dufourd
Formal Program Development in Geometric Modeling. FM-Trends (1998)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99 (1) (1998)
David Cazier, Jean-François Dufourd
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. FME (1997)
Jean-François Dufourd
Algebras and formal specifications in geometric modelling. Vis. Comput. 13 (3) (1997)
Jean-François Dufourd, Pascal Mathis, Pascal Schreck
Formal Resolution of Geometrical Constraint Systems by Assembling. Symposium on Solid Modeling and Applications (1997)
Yves Bertrand, Jean-François Dufourd
Algebraic Specification of a 3D-Modeler Based on Hypermaps. CVGIP Graph. Model. Image Process. 56 (1) (1994)
Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt
Algebraic Specification and Development in Geometric Modeling. TAPSOFT (1993)
Jean-François Dufourd
Formal specification of topological subdivisions using hypermaps. Comput. Aided Des. 23 (2) (1991)
Jean-François Dufourd
An OBJ3 functional specification for boundary representation. Symposium on Solid Modeling and Applications (1991)
Jean-François Dufourd
A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping. Eurographics (1989)
Jean-François Dufourd
Construction of Interactive Programs in Computer Graphics. Comput. Graph. Forum 7 (3) (1988)