| 2009 |
|---|
| 21 | EE | Nicolas Magaud,
Julien Narboux,
Pascal Schreck:
Formalizing Desargues' theorem in Coq using ranks.
SAC 2009: 1110-1115 |
| 2008 |
|---|
| 20 | EE | Xiao-Shan Gao,
Dominique Michelucci,
Pascal Schreck:
Special track on Geometric Constraints and Reasoning: editorial message.
SAC 2008: 1814-1815 |
| 19 | EE | Arnaud Fabre,
Pascal Schreck:
Combining symbolic and numerical solvers to simplify indecomposable systems solving.
SAC 2008: 1838-1842 |
| 2007 |
|---|
| 18 | EE | Claire Baegert,
Caroline Villard,
Pascal Schreck,
Luc Soler:
Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation.
MICCAI (2) 2007: 676-684 |
| 17 | EE | Simon E. B. Thierry,
Pascal Mathis,
Pascal Schreck:
Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints.
SAC 2007: 773-777 |
| 2006 |
|---|
| 16 | EE | Xiao-Shan Gao,
Dominique Michelucci,
Pascal Schreck:
Editorial message: technical track on geometric computing and reasoning.
SAC 2006: 962 |
| 15 | EE | Julien Wintz,
Pascal Schreck,
Pascal Mathis:
A framework for geometric constraint satisfaction problem.
SAC 2006: 974-978 |
| 14 | EE | Dominique Michelucci,
Sebti Foufou,
Loïc Lamarque,
Pascal Schreck:
Geometric constraints solving: some tracks.
Symposium on Solid and Physical Modeling 2006: 185-196 |
| 13 | EE | Pascal Schreck,
Étienne Schramm:
Using invariance under the similarity group to solve geometric constraint systems.
Computer-Aided Design 38(5): 475-484 (2006) |
| 12 | EE | Pascal Schreck,
Pascal Mathis:
Geometrical Constraint System Decomposition: a Multi-group Approach.
Int. J. Comput. Geometry Appl. 16(5-6): 431-442 (2006) |
| 11 | EE | Dominique Michelucci,
Pascal Schreck:
Incidence Constraints: a Combinatorial Approach.
Int. J. Comput. Geometry Appl. 16(5-6): 443-460 (2006) |
| 2005 |
|---|
| 10 | EE | Arnaud Fabre,
Ludovic Sternberger,
Pascal Schreck,
Dominique Bechmann:
Constrained Gesture Interaction in 3D Geometric Constructions.
Gesture Workshop 2005: 324-334 |
| 9 | EE | Caroline Villard,
Claire Baegert,
Pascal Schreck,
Luc Soler,
Afshin Gangi:
Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning.
MICCAI (2) 2005: 49-56 |
| 2003 |
|---|
| 8 | EE | 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 |
| 7 | EE | Étienne Schramm,
Pascal Schreck:
Solving Geometric Constraints Invariant Modulo the Similarity Group.
ICCSA (3) 2003: 356-365 |
| 2002 |
|---|
| 6 | EE | Étienne Schramm,
Pascal Schreck:
A Case Study in Geometric Constructions.
International Conference on Computational Science (2) 2002: 201-210 |
| 2001 |
|---|
| 5 | EE | Pascal Schreck:
Robustness in CAD Geometric Constructions.
IV 2001: 111-116 |
| 2000 |
|---|
| 4 | EE | 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 |
| 3 | EE | 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) |
| 1998 |
|---|
| 2 | EE | Jean-François Dufourd,
Pascal Mathis,
Pascal Schreck:
Geometric Construction by Assembling Solved Subfigures.
Artif. Intell. 99(1): 73-119 (1998) |
| 1997 |
|---|
| 1 | EE | 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 |
