default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-François Dufourd

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dufourd15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dufourd15
Jean-François Dufourd:
Formal study of functional orbits in finite domains. Theor. Comput. Sci. 564: 63-88 (2015)
2014
[j16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comgeo/DehlingerD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comgeo/DehlingerD14
Christophe Dehlinger, Jean-François Dufourd:
Formal specification and proofs for the topology and classification of combinatorial surfaces. Comput. Geom. 47(9): 869-890 (2014)
2012
[j15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comgeo/BrunDM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comgeo/BrunDM12
Christophe Brun, Jean-François Dufourd, Nicolas Magaud:
Designing and proving correct a convex hull algorithm with hypermaps in Coq. Comput. Geom. 45(8): 436-457 (2012)
2009
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Dufourd09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Dufourd09
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): 19-51 (2009)
2008
[j13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dufourd08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dufourd08
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
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/pr/Dufourd07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pr/Dufourd07
Jean-François Dufourd:
Design and formal proof of a new optimal image segmentation program with hypermaps. Pattern Recognit. 40(11): 2974-2993 (2007)
2004
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DehlingerD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DehlingerD04
Christophe Dehlinger, Jean-François Dufourd:
Formalizing generalized maps in Coq. Theor. Comput. Sci. 323(1-3): 351-397 (2004)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DehlingerD04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DehlingerD04a
Christophe Dehlinger, Jean-François Dufourd:
Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323(1-3): 399-442 (2004)
2000
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/Essert-VillardSD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/Essert-VillardSD00
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)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comgeo/DufourdP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comgeo/DufourdP00
Jean-François Dufourd, François Puitg:
Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16(2): 129-156 (2000)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PuitgD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PuitgD00
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
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/vc/CazierD99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vc/CazierD99
David Cazier, Jean-François Dufourd:
A formal specification of geometric refinements. Vis. Comput. 15(6): 279-301 (1999)
1998
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/DufourdMS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/DufourdMS98
Jean-François Dufourd, Pascal Mathis, Pascal Schreck:
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99(1): 73-119 (1998)
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/vc/Dufourd97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vc/Dufourd97
Jean-François Dufourd:
Algebras and formal specifications in geometric modelling. Vis. Comput. 13(3): 131-154 (1997)
1994
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/cvgip/BertrandD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cvgip/BertrandD94
Yves Bertrand, Jean-François Dufourd:
Algebraic Specification of a 3D-Modeler Based on Hypermaps. CVGIP Graph. Model. Image Process. 56(1): 29-60 (1994)
1991
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cad/Dufourd91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cad/Dufourd91
Jean-François Dufourd:
Formal specification of topological subdivisions using hypermaps. Comput. Aided Des. 23(2): 99-116 (1991)
1988
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cgf/Dufourd88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cgf/Dufourd88
Jean-François Dufourd:
Construction of Interactive Programs in Computer Graphics. Comput. Graph. Forum 7(3): 161-176 (1988)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/Dufourd14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/Dufourd14
Jean-François Dufourd:
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. ICFEM 2014: 139-154
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/Dufourd14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/Dufourd14
Jean-François Dufourd:
Hypermap Specification and Certified Linked Implementation Using Orbits. ITP 2014: 242-257
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/adg/BrunDM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/BrunDM12
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: 71-88
2010
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/itp/DufourdB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itp/DufourdB10
Jean-François Dufourd, Yves Bertot:
Formal Study of Plane Delaunay Triangulation. ITP 2010: 211-226
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/vriphys/JundCD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vriphys/JundCD10
Thomas Jund, David Cazier, Jean-François Dufourd:
Edge Collision Detection in Complex Deformable Environments. VRIPHYS 2010: 69-78
2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sma/JundCD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sma/JundCD09
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: 147-158
2008
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/Dufourd08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Dufourd08
Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. STACS 2008: 253-264
2007
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/Dufourd07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/Dufourd07
Jean-François Dufourd:
A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. SAC 2007: 757-761
2003
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/gmp/Essert-VillardSMD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gmp/Essert-VillardSMD03
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
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sccg/DufourdL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sccg/DufourdL02
Jean-François Dufourd, Sven Luther:
Parametrizing geometric objects using λ-calculus. SCCG 2002: 185-194
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sma/DufourdL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sma/DufourdL02
Jean-François Dufourd, Sven Luther:
Interacting with parametrized geometric objects using lambda-terms. Symposium on Solid Modeling and Applications 2002: 241-248
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/DehlingerD02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/DehlingerD02
Christophe Dehlinger, Jean-François Dufourd:
Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs 2002: 148-163
2000
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/adg/DehlingerDS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adg/DehlingerDS00
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
1998
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/PuitgD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/PuitgD98
François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling. FM-Trends 1998: 62-76
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/PuitgD98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/PuitgD98
François Puitg, Jean-François Dufourd:
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs 1998: 401-422
1997
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/CazierD97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/CazierD97
David Cazier, Jean-François Dufourd:
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. FME 1997: 605-623
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sma/DufourdMS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sma/DufourdMS97
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
1993
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/BertrandDFL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/BertrandDFL93
Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt:
Algebraic Specification and Development in Geometric Modeling. TAPSOFT 1993: 75-89
1991
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sma/Dufourd91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sma/Dufourd91
Jean-François Dufourd:
An OBJ3 functional specification for boundary representation. Symposium on Solid Modeling and Applications 1991: 61-72
1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/eurographics/Dufourd89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurographics/Dufourd89
Jean-François Dufourd:
A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping. Eurographics 1989

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2010
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1007-3350
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1007-3350
Jean-François Dufourd, Yves Bertot:
Formal study of plane Delaunay triangulation. CoRR abs/1007.3350 (2010)
2008
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0802-2853
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0802-2853
Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. CoRR abs/0802.2853 (2008)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.