| Trajectory optimization for the planning of percutaneous radiofrequency ablation of hepatic tumors C Baegert, C Villard, P Schreck, L Soler, A Gangi Computer Aided Surgery 12 (2), 82-90, 2007 | 82 | 2007 |
| Multi-criteria trajectory planning for hepatic radiofrequency ablation C Baegert, C Villard, P Schreck, L Soler Medical Image Computing and Computer-Assisted Intervention–MICCAI 2007: 10th …, 2007 | 76 | 2007 |
| Geometric construction by assembling solved subfigures JF Dufourd, P Mathis, P Schreck Artificial Intelligence 99 (1), 73-119, 1998 | 74 | 1998 |
| Sketch-based pruning of a solution space within a formal geometric constraint solver C Essert-Villard, P Schreck, JF Dufourd Artificial Intelligence 124 (1), 139-159, 2000 | 70 | 2000 |
| Higher-order intuitionistic formalization and proofs in Hilbert’s elementary geometry C Dehlinger, JF Dufourd, P Schreck Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 …, 2001 | 67 | 2001 |
| Optimal trajectories computation within regions of interest for hepatic RFA planning C Villard, C Baegert, P Schreck, L Soler, A Gangi Medical Image Computing and Computer-Assisted Intervention–MICCAI 2005: 8th …, 2005 | 40 | 2005 |
| Formalizing projective plane geometry in Coq N Magaud, J Narboux, P Schreck Automated Deduction in Geometry: 7th International Workshop, ADG 2008 …, 2011 | 36 | 2011 |
| Formalization of Wu’s simple method in Coq JD Génevaux, J Narboux, P Schreck Certified Programs and Proofs: First International Conference, CPP 2011 …, 2011 | 32 | 2011 |
| Precise determination of regions of interest for hepatic RFA planning C Baegert, C Villard, P Schreck, L Soler Medical Imaging 2007: Visualization and Image-Guided Procedures 6509, 734-741, 2007 | 32 | 2007 |
| Formal resolution of geometrical constraint systems by assembling JF Dufourd, P Mathis, P Schreck Proceedings of the fourth ACM symposium on Solid modeling and applications …, 1997 | 30 | 1997 |
| Formalizing Desargues' theorem in Coq using ranks N Magaud, J Narboux, P Schreck Proceedings of the 2009 ACM symposium on applied computing, 1110-1115, 2009 | 27 | 2009 |
| Geometric constraints solving: some tracks D Michelucci, S Foufou, L Lamarque, P Schreck Proceedings of the 2006 ACM symposium on solid and physical modeling, 185-196, 2006 | 27 | 2006 |
| Using small scale automation to improve both accessibility and readability of formal proofs in geometry P Boutry, J Narboux, P Schreck, G Braun Automated Deduction in Geometry 2014, 1-19, 2014 | 26 | 2014 |
| A case study in formalizing projective geometry in Coq: Desargues theorem N Magaud, J Narboux, P Schreck Computational Geometry 45 (8), 406-424, 2012 | 25 | 2012 |
| Automatisation des constructions géométriques à la règle et au compas P Schreck Strasbourg 1, 1993 | 24 | 1993 |
| Geometrical constraint system decomposition: a multi-group approach P Schreck, P Mathis International Journal of Computational Geometry & Applications 16 (05n06 …, 2006 | 20 | 2006 |
| Using invariance under the similarity group to solve geometric constraint systems P Schreck, É Schramm Computer-Aided Design 38 (5), 475-484, 2006 | 20 | 2006 |
| Robustness in cad geometric constructions P Schreck Proceedings Fifth International Conference on Information Visualisation, 111-116, 2001 | 20 | 2001 |
| Extensions of the witness method to characterize under-, over-and well-constrained geometric constraint systems SEB Thierry, P Schreck, D Michelucci, C Fünfzig, JD Génevaux Computer-Aided Design 43 (10), 1234-1249, 2011 | 19 | 2011 |
| Modélisation et implantation d'un système à base de connaissances pour les constructions géométriques P Schreck Revue d'intelligence artificielle 8 (3), 223-247, 1994 | 19 | 1994 |
Julien NarbouxLecturer University of StrasbourgVerified email at narboux.fr
