| 2021 | ISSAC | Two New Ways to Formally Prove Dandelin-Gallucci's Theorem. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2018 | AISC | Formalizing Some "Small" Finite Models of Projective Geometry in Coq. | David Braun, Nicolas Magaud, Pascal Schreck |
| 2012 | ICTAI | Geometric Construction Problem Solving in Computer-Aided Learning. | Pascal Schreck, Pascal Mathis, Julien Narboux |
| 2012 | SAC | Decomposition of geometrical constraint systems with reparameterization. | Pascal Mathis, Pascal Schreck, Rmi Imbach |
| 2011 | CPP | Formalization of Wu's Simple Method in Coq. | Jean-David Gnevaux, Julien Narboux, Pascal Schreck |
| 2011 | SYNASC | Tracking Method for Reparametrized Geometrical Constraint Systems. | Rmi Imbach, Pascal Mathis, Pascal Schreck |
| 2009 | IC3K | Multi-semantic Approach Towards a Generic Formal Solver of Tool Placement for Percutaneous Surgery. | Caroline Essert-Villard, Claire Baegert, Pascal Schreck |
| 2009 | SAC | Formalizing Desargues' theorem in Coq using ranks. | Nicolas Magaud, Julien Narboux, Pascal Schreck |
| 2008 | SAC | Combining symbolic and numerical solvers to simplify indecomposable systems solving. | Arnaud Fabre, Pascal Schreck |
| 2008 | SAC | Special track on Geometric Constraints and Reasoning: editorial message. | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
| 2007 | MICCAI | Multi-criteria Trajectory Planning for Hepatic Radiofrequency Ablation. | Claire Baegert, Caroline Villard, Pascal Schreck, Luc Soler |
| 2007 | SAC | Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints. | Simon E. B. Thierry, Pascal Mathis, Pascal Schreck |
| 2006 | SAC | Editorial message: technical track on geometric computing and reasoning. | Xiao-Shan Gao, Dominique Michelucci, Pascal Schreck |
| 2006 | SAC | A framework for geometric constraint satisfaction problem. | Julien Wintz, Pascal Schreck, Pascal Mathis |
| 2005 | MICCAI | Optimal Trajectories Computation Within Regions of Interest for Hepatic RFA Planning. | Caroline Villard, Claire Baegert, Pascal Schreck, Luc Soler, Afshin Gangi |
| 2003 | GMP | Combination of Automatic and Interactive Tools for Solution Space Browsing. | Caroline Essert-Villard, Pascal Schreck, Pascal Mathis, Jean-Franois Dufourd |
| 2003 | ICCSA | Solving Geometric Constraints Invariant Modulo the Similarity Group. | tienne Schramm, Pascal Schreck |
| 2002 | ICCS | A Case Study in Geometric Constructions. | tienne Schramm, Pascal Schreck |
| 2001 | IV | Robustness in CAD Geometric Constructions. | Pascal Schreck |