Jean‐François Dufourd

Statistics

Publications

Citations

330

H-Index

Active since

1991

Affiliations

Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie(Current)

Centre National de la Recherche Scientifique

Université de Strasbourg

Jean‐François Dufourd is an author at Laboratoire des Sciences de l'Ingénieur, de l'Informatique et de l'Imagerie specializing in computer science, computing, and formal methods.

Publications per year

1991–2012

Publications

Algebraic Specification of a 3D-Modeler Based on Hypermaps

Yves Bertrand, Jean‐François Dufourd · CVGIP Graphical Models and Image Processing · 1994 · 48 citations

Computing, Computer Science, 3D Modeling +11

Sketch-based pruning of a solution space within a formal geometric constraint solver

Caroline Essert, Pascal Schreck, Jean‐François Dufourd · Artificial Intelligence · 2000 · 46 citations

Computing, Computer Science, Algorithms +13

Geometric construction by assembling solved subfigures

Jean‐François Dufourd, Pascal Mathis, Pascal Schreck · Artificial Intelligence · 1998 · 40 citations

Architecture, Computer Science, Computational Geometry +7

Designing and proving correct a convex hull algorithm with hypermaps in Coq

Christophe Brun, Jean‐François Dufourd, Nicolas Magaud · Computational Geometry · 2012 · 25 citations · Full text

Computing, Computer Science, Algorithms +10

An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps

Jean‐François Dufourd · Journal of Automated Reasoning · 2009 · 24 citations

Natural Sciences, Computer Science, Mathematics +4

1–5 of 15