Algebraic specification of a 3D-modeler based on hypermaps Y Bertrand, JF Dufourd CVGIP: Graphical Models and Image Processing 56 (1), 29-60, 1994 | 93 | 1994 |

Geometric construction by assembling solved subfigures JF Dufourd, P Mathis, P Schreck Artificial Intelligence 99 (1), 73-119, 1998 | 68 | 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 | 67 | 2000 |

Higher-order intuitionistic formalization and proofs in Hilbert’s elementary geometry C Dehlinger, JF Dufourd, P Schreck International Workshop on Automated Deduction in Geometry, 306-323, 2000 | 59 | 2000 |

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 | 42 | 1993 |

Functional specification and prototyping with oriented combinatorial maps JF Dufourd, F Puitg Computational Geometry 16 (2), 129-156, 2000 | 30 | 2000 |

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 | 29 | 2012 |

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 | 29 | 1997 |

Formal study of plane Delaunay triangulation JF Dufourd, Y Bertot International Conference on Interactive Theorem Proving, 211-226, 2010 | 28 | 2010 |

Algebras and formal specifications in geometric modelling JF Dufourd The Visual Computer 3 (13), 131-154, 1997 | 28 | 1997 |

Formal specification of topological subdivisions using hypermaps JF Dufourd Computer-Aided Design 23 (2), 99-116, 1991 | 27 | 1991 |

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 | 25 | 2009 |

A formal specification of geometric refinements D Cazier, JF Dufourd Visual Computer 15 (6), 279-301, 1999 | 23 | 1999 |

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 | 23 | 1998 |

Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof JF Dufourd Theoretical Computer Science 403 (2-3), 133-159, 2008 | 18 | 2008 |

An OBJ3 functional specification for boundary representation JF Dufourd Proceedings of the first ACM symposium on Solid modeling foundations and CAD …, 1991 | 18 | 1991 |

A digitisation algorithm for the entry of planar maps JF Dufourd, C Gross, JC Spehner New Advances in Computer Graphics, 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 |

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 | 17 | 2000 |

Design and formal proof of a new optimal image segmentation program with hypermaps JF Dufourd Pattern Recognition 40 (11), 2974-2993, 2007 | 16 | 2007 |