The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal Schreck: [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. 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]
  3. Arnaud Fabre, Ludovic Sternberger, Pascal Schreck, Dominique Bechmann
    Constrained Gesture Interaction in 3D Geometric Constructions. [Citation Graph (0, 0)][DBLP]
    Gesture Workshop, 2005, pp:324-334 [Conf]
  4. Étienne Schramm, Pascal Schreck
    A Case Study in Geometric Constructions. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2002, pp:201-210 [Conf]
  5. Étienne Schramm, Pascal Schreck
    Solving Geometric Constraints Invariant Modulo the Similarity Group. [Citation Graph (0, 0)][DBLP]
    ICCSA (3), 2003, pp:356-365 [Conf]
  6. Pascal Schreck
    Robustness in CAD Geometric Constructions. [Citation Graph (0, 0)][DBLP]
    IV, 2001, pp:111-116 [Conf]
  7. Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi
    Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning. [Citation Graph (0, 0)][DBLP]
    MICCAI (2), 2005, pp:49-56 [Conf]
  8. Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck
    Editorial message: technical track on geometric computing and reasoning. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:962- [Conf]
  9. Julien Wintz, Pascal Schreck, Pascal Mathis
    A framework for geometric constraint satisfaction problem. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:974-978 [Conf]
  10. Simon E. B. Thierry, Pascal Mathis, Pascal Schreck
    Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:773-777 [Conf]
  11. 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]
  12. Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck
    Geometric constraints solving: some tracks. [Citation Graph (0, 0)][DBLP]
    Symposium on Solid and Physical Modeling, 2006, pp:185-196 [Conf]
  13. 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]
  14. 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]
  15. Pascal Schreck, Étienne Schramm
    Using invariance under the similarity group to solve geometric constraint systems. [Citation Graph (0, 0)][DBLP]
    Computer-Aided Design, 2006, v:38, n:5, pp:475-484 [Journal]
  16. Pascal Schreck, Pascal Mathis
    Geometrical Constraint System Decomposition: a Multi-group Approach. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:431-442 [Journal]
  17. Dominique Michelucci, Pascal Schreck
    Incidence Constraints: a Combinatorial Approach. [Citation Graph (0, 0)][DBLP]
    Int. J. Comput. Geometry Appl., 2006, v:16, n:5-6, pp:443-460 [Journal]
  18. Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler
    Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation. [Citation Graph (0, 0)][DBLP]
    MICCAI (2), 2007, pp:676-684 [Conf]

  19. Special track on Geometric Constraints and Reasoning: editorial message. [Citation Graph (, )][DBLP]


  20. Combining symbolic and numerical solvers to simplify indecomposable systems solving. [Citation Graph (, )][DBLP]


  21. Formalizing Desargues' theorem in Coq using ranks. [Citation Graph (, )][DBLP]


  22. Using the witness method to detect rigid subsystems of geometric constraints in CAD. [Citation Graph (, )][DBLP]


  23. Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
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