![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jean-François Dufourd
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2015
- [j17]Jean-François Dufourd:
Formal study of functional orbits in finite domains. Theor. Comput. Sci. 564: 63-88 (2015) - 2014
- [j16]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]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]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]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]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]Christophe Dehlinger, Jean-François Dufourd:
Formalizing generalized maps in Coq. Theor. Comput. Sci. 323(1-3): 351-397 (2004) - [j10]Christophe Dehlinger, Jean-François Dufourd:
Formalizing the trading theorem in Coq. Theor. Comput. Sci. 323(1-3): 399-442 (2004) - 2000
- [j9]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]Jean-François Dufourd, François Puitg:
Functional specification and prototyping with oriented combinatorial maps. Comput. Geom. 16(2): 129-156 (2000) - [j7]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]David Cazier
, Jean-François Dufourd:
A formal specification of geometric refinements. Vis. Comput. 15(6): 279-301 (1999) - 1998
- [j5]Jean-François Dufourd, Pascal Mathis, Pascal Schreck:
Geometric Construction by Assembling Solved Subfigures. Artif. Intell. 99(1): 73-119 (1998) - 1997
- [j4]Jean-François Dufourd:
Algebras and formal specifications in geometric modelling. Vis. Comput. 13(3): 131-154 (1997) - 1994
- [j3]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]Jean-François Dufourd:
Formal specification of topological subdivisions using hypermaps. Comput. Aided Des. 23(2): 99-116 (1991) - 1988
- [j1]Jean-François Dufourd:
Construction of Interactive Programs in Computer Graphics. Comput. Graph. Forum 7(3): 161-176 (1988)
Conference and Workshop Papers
- 2014
- [c20]Jean-François Dufourd:
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm. ICFEM 2014: 139-154 - [c19]Jean-François Dufourd:
Hypermap Specification and Certified Linked Implementation Using Orbits. ITP 2014: 242-257 - 2012
- [c18]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]Jean-François Dufourd, Yves Bertot:
Formal Study of Plane Delaunay Triangulation. ITP 2010: 211-226 - [c16]Thomas Jund, David Cazier, Jean-François Dufourd:
Edge Collision Detection in Complex Deformable Environments. VRIPHYS 2010: 69-78 - 2009
- [c15]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]Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. STACS 2008: 253-264 - 2007
- [c13]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]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]Jean-François Dufourd, Sven Luther:
Parametrizing geometric objects using λ-calculus. SCCG 2002: 185-194 - [c10]Jean-François Dufourd, Sven Luther:
Interacting with parametrized geometric objects using lambda-terms. Symposium on Solid Modeling and Applications 2002: 241-248 - [c9]Christophe Dehlinger, Jean-François Dufourd:
Formalizing the Trading Theorem for the Classification of Surfaces. TPHOLs 2002: 148-163 - 2000
- [c8]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]François Puitg, Jean-François Dufourd:
Formal Program Development in Geometric Modeling. FM-Trends 1998: 62-76 - [c6]François Puitg, Jean-François Dufourd:
Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. TPHOLs 1998: 401-422 - 1997
- [c5]David Cazier, Jean-François Dufourd:
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. FME 1997: 605-623 - [c4]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]Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt:
Algebraic Specification and Development in Geometric Modeling. TAPSOFT 1993: 75-89 - 1991
- [c2]Jean-François Dufourd:
An OBJ3 functional specification for boundary representation. Symposium on Solid Modeling and Applications 1991: 61-72 - 1989
- [c1]Jean-François Dufourd:
A Topological Map-Based Kernel for Polyhedron Modelers: Algebraic Specification and Logic Prototyping. Eurographics 1989
Informal and Other Publications
- 2010
- [i2]Jean-François Dufourd, Yves Bertot:
Formal study of plane Delaunay triangulation. CoRR abs/1007.3350 (2010) - 2008
- [i1]Jean-François Dufourd:
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. CoRR abs/0802.2853 (2008)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint