The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean-François Dufourd: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck
    Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. [Citation Graph (0, 0)][DBLP]
    Automated Deduction in Geometry, 2000, pp:306-324 [Conf]
  2. David Cazier, Jean-François Dufourd
    Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:605-623 [Conf]
  3. François Puitg, Jean-François Dufourd
    Formal Program Development in Geometric Modeling. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:62-76 [Conf]
  4. Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-François Dufourd
    Combination of Automatic and Interactive Tools for Solution Space Browsing. [Citation Graph (0, 0)][DBLP]
    GMAG, 2003, pp:14-21 [Conf]
  5. Jean-François Dufourd
    A hypermap framework for computer-aided proofs in surface subdivisions: genus theorem and Euler's formula. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:757-761 [Conf]
  6. Jean-François Dufourd
    An OBJ3 functional specification for boundary representation. [Citation Graph (0, 0)][DBLP]
    Symposium on Solid Modeling and Applications, 1991, pp:61-72 [Conf]
  7. Jean-François Dufourd, Sven Luther
    Interacting with parametrized geometric objects using lambda-terms. [Citation Graph (0, 0)][DBLP]
    Symposium on Solid Modeling and Applications, 2002, pp:241-248 [Conf]
  8. Jean-François Dufourd, Pascal Mathis, Pascal Schreck
    Formal Resolution of Geometrical Constraint Systems by Assembling. [Citation Graph (0, 0)][DBLP]
    Symposium on Solid Modeling and Applications, 1997, pp:271-284 [Conf]
  9. Yves Bertrand, Jean-François Dufourd, Jean Françon, Pascal Lienhardt
    Algebraic Specification and Development in Geometric Modeling. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1993, pp:75-89 [Conf]
  10. Christophe Dehlinger, Jean-François Dufourd
    Formalizing the Trading Theorem for the Classification of Surfaces. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:148-163 [Conf]
  11. François Puitg, Jean-François Dufourd
    Formal Specification and Theorem Proving Breakthroughs in Geometric Modeling. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:401-422 [Conf]
  12. Caroline Essert-Villard, Pascal Schreck, Jean-François Dufourd
    Sketch-based pruning of a solution space within a formal geometric constraint solver. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:124, n:1, pp:139-159 [Journal]
  13. Jean-François Dufourd, Pascal Mathis, Pascal Schreck
    Geometric Construction by Assembling Solved Subfigures. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1998, v:99, n:1, pp:73-119 [Journal]
  14. Jean-François Dufourd
    Formal specification of topological subdivisions using hypermaps. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 1991, v:23, n:2, pp:99-116 [Journal]
  15. Jean-François Dufourd
    Construction of Interactive Programs in Computer Graphics. [Citation Graph (0, 0)][DBLP]
    Comput. Graph. Forum, 1988, v:7, n:3, pp:161-176 [Journal]
  16. Jean-François Dufourd, François Puitg
    Functional specification and prototyping with oriented combinatorial maps. [Citation Graph (0, 0)][DBLP]
    Comput. Geom., 2000, v:16, n:2, pp:129-156 [Journal]
  17. Yves Bertrand, Jean-François Dufourd
    Algebraic Specification of a 3D-Modeler Based on Hypermaps. [Citation Graph (0, 0)][DBLP]
    CVGIP: Graphical Model and Image Processing, 1994, v:56, n:1, pp:29-60 [Journal]
  18. Christophe Dehlinger, Jean-François Dufourd
    Formalizing generalized maps in Coq. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:351-397 [Journal]
  19. Christophe Dehlinger, Jean-François Dufourd
    Formalizing the trading theorem in Coq. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:399-442 [Journal]
  20. François Puitg, Jean-François Dufourd
    Formalizing mathematics in higher-order logic: A case study in geometric modelling. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:234, n:1-2, pp:1-57 [Journal]
  21. David Cazier, Jean-François Dufourd
    A formal specification of geometric refinements. [Citation Graph (0, 0)][DBLP]
    The Visual Computer, 1999, v:15, n:6, pp:279-301 [Journal]
  22. Jean-François Dufourd
    Algebras and formal specifications in geometric modelling. [Citation Graph (0, 0)][DBLP]
    The Visual Computer, 1997, v:13, n:3, pp:131-154 [Journal]
  23. Jean-François Dufourd
    Design and formal proof of a new optimal image segmentation program with hypermaps. [Citation Graph (0, 0)][DBLP]
    Pattern Recognition, 2007, v:40, n:11, pp:2974-2993 [Journal]

  24. Particle-based forecast mechanism for continuous collision detection in deformable environments. [Citation Graph (, )][DBLP]


  25. Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps. [Citation Graph (, )][DBLP]


  26. Formal Study of Plane Delaunay Triangulation. [Citation Graph (, )][DBLP]


  27. Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps [Citation Graph (, )][DBLP]


  28. Formal study of plane Delaunay triangulation [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002