| Algebraic specification of a 3D-modeler based on hypermaps Y Bertrand, JF Dufourd CVGIP: Graphical Models and Image Processing 56 (1), 29-60, 1994 | 91 | 1994 |
| Geometric construction by assembling solved subfigures JF Dufourd, P Mathis, P Schreck Artificial Intelligence 99 (1), 73-119, 1998 | 75 | 1998 |
| Sketch-based pruning of a solution space within a formal geometric constraint solver C Essert-Villard, P Schreck, JF Dufourd Artificial Intelligence 124 (1), 139-159, 2000 | 70 | 2000 |
| Higher-order intuitionistic formalization and proofs in Hilbert’s elementary geometry C Dehlinger, JF Dufourd, P Schreck Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 …, 2001 | 68 | 2001 |
| Algebraic specification and development in geometric modeling Y Bertrand, JF Dufourd, J Françon, P Lienhardt Colloquium on Trees in Algebra and Programming, 75-89, 1993 | 45 | 1993 |
| Formal study of plane Delaunay triangulation JF Dufourd, Y Bertot International Conference on Interactive Theorem Proving, 211-226, 2010 | 36 | 2010 |
| Designing and proving correct a convex hull algorithm with hypermaps in Coq C Brun, JF Dufourd, N Magaud Computational Geometry 45 (8), 436-457, 2012 | 34 | 2012 |
| An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps JF Dufourd Journal of Automated Reasoning 43 (1), 19-51, 2009 | 31 | 2009 |
| Formal resolution of geometrical constraint systems by assembling JF Dufourd, P Mathis, P Schreck Proceedings of the fourth ACM symposium on Solid modeling and applications …, 1997 | 31 | 1997 |
| Functional specification and prototyping with oriented combinatorial maps JF Dufourd, F Puitg Computational Geometry 16 (2), 129-156, 2000 | 30 | 2000 |
| Formal specification of topological subdivisions using hypermaps JF Dufourd Computer-Aided Design 23 (2), 99-116, 1991 | 29 | 1991 |
| Formal specification and theorem proving breakthroughs in geometric modeling F Puitg, JF Dufourd International Conference on Theorem Proving in Higher Order Logics, 401-422, 1998 | 28 | 1998 |
| Algebras and formal specifications in geometric modelling JF Dufourd The Visual Computer 13 (3), 131-154, 1997 | 27 | 1997 |
| A formal specification of geometric refinements D Cazier, JF Dufourd Visual Computer 15 (6), 279-301, 1999 | 22 | 1999 |
| Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof JF Dufourd Theoretical Computer Science 403 (2-3), 133-159, 2008 | 21 | 2008 |
| An OBJ3 functional specification for boundary representation JF Dufourd Proceedings of the first ACM symposium on Solid modeling foundations and CAD …, 1991 | 20 | 1991 |
| Formalizing mathematics in higher-order logic: A case study in geometric modelling F Puitg, JF Dufourd Theoretical Computer Science 234 (1-2), 1-57, 2000 | 18 | 2000 |
| A digitisation algorithm for the entry of planar maps JF Dufourd, C Gross, JC Spehner New Advances in Computer Graphics: Proceedings of CG International’89, 649-662, 1989 | 18 | 1989 |
| Algebraic map-based topological kernel for polyhedron modellers: algebraic specification and logic prototyping JF Dufourd Proc. of Eurographics, 649-662, 1989 | 18 | 1989 |
| Design and formal proof of a new optimal image segmentation program with hypermaps JF Dufourd Pattern Recognition 40 (11), 2974-2993, 2007 | 15 | 2007 |
