The SCEAS System
| |||||||

## Search the dblp DataBase
Jean-François Dufourd:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] **Particle-based forecast mechanism for continuous collision detection in deformable environments.**[Citation Graph (, )][DBLP]**Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps.**[Citation Graph (, )][DBLP]**Formal Study of Plane Delaunay Triangulation.**[Citation Graph (, )][DBLP]**Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps**[Citation Graph (, )][DBLP]**Formal study of plane Delaunay triangulation**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |