|
Search the dblp DataBase
Pascal Schreck:
[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]
- 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]
- 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]
- É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]
- Étienne Schramm, Pascal Schreck
Solving Geometric Constraints Invariant Modulo the Similarity Group. [Citation Graph (0, 0)][DBLP] ICCSA (3), 2003, pp:356-365 [Conf]
- Pascal Schreck
Robustness in CAD Geometric Constructions. [Citation Graph (0, 0)][DBLP] IV, 2001, pp:111-116 [Conf]
- 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]
- 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]
- Julien Wintz, Pascal Schreck, Pascal Mathis
A framework for geometric constraint satisfaction problem. [Citation Graph (0, 0)][DBLP] SAC, 2006, pp:974-978 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Special track on Geometric Constraints and Reasoning: editorial message. [Citation Graph (, )][DBLP]
Combining symbolic and numerical solvers to simplify indecomposable systems solving. [Citation Graph (, )][DBLP]
Formalizing Desargues' theorem in Coq using ranks. [Citation Graph (, )][DBLP]
Using the witness method to detect rigid subsystems of geometric constraints in CAD. [Citation Graph (, )][DBLP]
Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery. [Citation Graph (, )][DBLP]
Search in 0.051secs, Finished in 0.052secs
|