Pascal Schreck

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

Coauthor Index

1	Claire Baegert	[9] [18]
2	Dominique Bechmann	[10]
3	Christophe Dehlinger	[4]
4	Jean-François Dufourd	[1] [2] [3] [4] [8]
5	Caroline Essert-Villard	[3] [8]
6	Arnaud Fabre	[10] [19]
7	Sebti Foufou	[14]
8	Afshin Gangi	[9]
9	Xiao-Shan Gao	[16] [20]
10	Loïc Lamarque	[14]
11	Nicolas Magaud	[21]
12	Pascal Mathis	[1] [2] [8] [12] [15] [17]
13	Dominique Michelucci	[11] [14] [16] [20]
14	Julien Narboux	[21]
15	Étienne Schramm	[6] [7] [13]
16	Luc Soler	[9] [18]
17	Ludovic Sternberger	[10]
18	Simon E. B. Thierry	[17]
19	Caroline Villard	[9] [18]
20	Julien Wintz	[15]

Colors in the list of coauthors