| 2008 |
|---|
| 26 | EE | Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps.
STACS 2008: 253-264 |
| 25 | EE | Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
CoRR abs/0802.2853: (2008) |
| 24 | EE | Jean-François Dufourd:
Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof.
Theor. Comput. Sci. 403(2-3): 133-159 (2008) |
| 2007 |
|---|
| 23 | EE | Jean-François Dufourd:
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula.
SAC 2007: 757-761 |
| 22 | EE | Jean-François Dufourd:
Design and formal proof of a new optimal image segmentation program with hypermaps.
Pattern Recognition 40(11): 2974-2993 (2007) |
| 2004 |
|---|
| 21 | EE | Christophe Dehlinger,
Jean-François Dufourd:
Formalizing generalized maps in Coq.
Theor. Comput. Sci. 323(1-3): 351-397 (2004) |
| 20 | EE | Christophe Dehlinger,
Jean-François Dufourd:
Formalizing the trading theorem in Coq.
Theor. Comput. Sci. 323(1-3): 399-442 (2004) |
| 2003 |
|---|
| 19 | EE | Caroline Essert-Villard,
Pascal Schreck,
Pascal Mathis,
Jean-François Dufourd:
Combination of Automatic and Interactive Tools for Solution Space Browsing.
GMAG 2003: 14-21 |
| 2002 |
|---|
| 18 | EE | Jean-François Dufourd,
Sven Luther:
Interacting with parametrized geometric objects using lambda-terms.
Symposium on Solid Modeling and Applications 2002: 241-248 |
| 17 | EE | Christophe Dehlinger,
Jean-François Dufourd:
Formalizing the Trading Theorem for the Classification of Surfaces.
TPHOLs 2002: 148-163 |
| 2000 |
|---|
| 16 | EE | Christophe Dehlinger,
Jean-François Dufourd,
Pascal Schreck:
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.
Automated Deduction in Geometry 2000: 306-324 |
| 15 | EE | 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): 139-159 (2000) |
| 14 | | Jean-François Dufourd,
François Puitg:
Functional specification and prototyping with oriented combinatorial maps.
Comput. Geom. 16(2): 129-156 (2000) |
| 13 | EE | 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): 1-57 (2000) |
| 1999 |
|---|
| 12 | EE | David Cazier,
Jean-François Dufourd:
A formal specification of geometric refinements.
The Visual Computer 15(6): 279-301 (1999) |
| 1998 |
|---|
| 11 | | François Puitg,
Jean-François Dufourd:
Formal Program Development in Geometric Modeling.
FM-Trends 1998: 62-76 |
| 10 | | François Puitg,
Jean-François Dufourd:
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling.
TPHOLs 1998: 401-422 |
| 9 | EE | Jean-François Dufourd,
Pascal Mathis,
Pascal Schreck:
Geometric Construction by Assembling Solved Subfigures.
Artif. Intell. 99(1): 73-119 (1998) |
| 1997 |
|---|
| 8 | | David Cazier,
Jean-François Dufourd:
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects.
FME 1997: 605-623 |
| 7 | EE | Jean-François Dufourd,
Pascal Mathis,
Pascal Schreck:
Formal Resolution of Geometrical Constraint Systems by Assembling.
Symposium on Solid Modeling and Applications 1997: 271-284 |
| 6 | EE | Jean-François Dufourd:
Algebras and formal specifications in geometric modelling.
The Visual Computer 13(3): 131-154 (1997) |
| 1994 |
|---|
| 5 | | Yves Bertrand,
Jean-François Dufourd:
Algebraic Specification of a 3D-Modeler Based on Hypermaps.
CVGIP: Graphical Model and Image Processing 56(1): 29-60 (1994) |
| 1993 |
|---|
| 4 | | Yves Bertrand,
Jean-François Dufourd,
Jean Françon,
Pascal Lienhardt:
Algebraic Specification and Development in Geometric Modeling.
TAPSOFT 1993: 75-89 |
| 1991 |
|---|
| 3 | EE | Jean-François Dufourd:
An OBJ3 functional specification for boundary representation.
Symposium on Solid Modeling and Applications 1991: 61-72 |
| 2 | EE | Jean-François Dufourd:
Formal specification of topological subdivisions using hypermaps.
Computer-Aided Design 23(2): 99-116 (1991) |
| 1988 |
|---|
| 1 | EE | Jean-François Dufourd:
Construction of Interactive Programs in Computer Graphics.
Comput. Graph. Forum 7(3): 161-176 (1988) |
