Jean-François Dufourd Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
2010
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd, Yves Bertot: Formal Study of Plane Delaunay Triangulation. ITP 2010: 211-226
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Thomas Jund, David Cazier, Jean-François Dufourd: Edge Collision Detection in Complex Deformable Environments. VRIPHYS 2010: 69-78
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd, Yves Bertot: Formal study of plane Delaunay triangulation. CoRR abs/1007.3350 (2010)
2009
j14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps. J. Autom. Reasoning 43(1): 19-51 (2009)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof. Theor. Comput. Sci. 403(2-3): 133-159 (2008)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. STACS 2008: 253-264
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. CoRR abs/0802.2853 (2008)
2007
j12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Design and formal proof of a new optimal image segmentation program with hypermaps. Pattern Recognition 40(11): 2974-2993 (2007)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. SAC 2007: 757-761
2004
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Dehlinger, Jean-François Dufourd: Formalizing generalized maps in Coq. Theor. Comput. Sci. 323(1-3): 351-397 (2004)
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Dehlinger, Jean-François Dufourd: Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323(1-3): 399-442 (2004)
2003
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd, Sven Luther: Interacting with parametrized geometric objects using lambda-terms. Symposium on Solid Modeling and Applications 2002: 241-248
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Dehlinger, Jean-François Dufourd: Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs 2002: 148-163
2000
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd, François Puitg: Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16(2): 129-156 (2000)
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1999
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Cazier, Jean-François Dufourd: A formal specification of geometric refinements. The Visual Computer 15(6): 279-301 (1999)
1998
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd, Pascal Mathis, Pascal Schreck: Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99(1): 73-119 (1998)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Puitg, Jean-François Dufourd: Formal Program Development in Geometric Modeling. FM-Trends 1998: 62-76
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
François Puitg, Jean-François Dufourd: Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs 1998: 401-422
1997
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Algebras and formal specifications in geometric modelling. The Visual Computer 13(3): 131-154 (1997)
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Cazier, Jean-François Dufourd: Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. FME 1997: 605-623
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
1994
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt: Algebraic Specification and Development in Geometric Modeling. TAPSOFT 1993: 75-89
1991
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Formal specification of topological subdivisions using hypermaps. Computer-Aided Design 23(2): 99-116 (1991)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: An OBJ3 functional specification for boundary representation. Symposium on Solid Modeling and Applications 1991: 61-72
1988
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-François Dufourd: Construction of Interactive Programs in Computer Graphics. Comput. Graph. Forum 7(3): 161-176 (1988)

Coauthor Index

1Yves Bertot
[c15] [i2]
2Yves Bertrand
[j3] [c2]
3Christophe Brun
[j15]
4David Cazier
[c14] [c13] [j6] [c4]
5Christophe Dehlinger
[j11] [j10] [c8] [c7]
6Caroline Essert-Villard (Caroline Villard)
[c10] [j9]
7Jean Françon
[c2]
8Thomas Jund
[c14] [c13]
9Pascal Lienhardt
[c2]
10Sven Luther
[c9]
11Nicolas Magaud
[j15]
12Pascal Mathis
[c10] [j5] [c3]
13François Puitg
[j8] [j7] [c6] [c5]
14Pascal Schreck
[c10] [j9] [c7] [j5] [c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 24 07:57:28 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page