Seguir
Pascal Schreck
Pascal Schreck
professeur d'informatique, Université de Strasbourg
Dirección de correo verificada de unistra.fr - Página principal
Título
Citado por
Citado por
Año
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
882007
Multi-criteria trajectory planning for hepatic radiofrequency ablation
C Baegert, C Villard, P Schreck, L Soler
International conference on medical image computing and computer-assisted …, 2007
842007
Geometric construction by assembling solved subfigures
JF Dufourd, P Mathis, P Schreck
Artificial Intelligence 99 (1), 73-119, 1998
751998
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
702000
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
672001
Optimal trajectories computation within regions of interest for hepatic RFA planning
C Villard, C Baegert, P Schreck, L Soler, A Gangi
International Conference on Medical Image Computing and Computer-Assisted …, 2005
452005
Formalizing projective plane geometry in Coq
N Magaud, J Narboux, P Schreck
Automated Deduction in Geometry: 7th International Workshop, ADG 2008 …, 2011
392011
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
372007
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
332011
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
311997
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
292006
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
282009
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
272014
A case study in formalizing projective geometry in Coq: Desargues theorem
N Magaud, J Narboux, P Schreck
Computational Geometry 45 (8), 406-424, 2012
272012
Automatisation des constructions géométriques à la règle et au compas
P Schreck
Université Louis Pasteur (Strasbourg)(1971-2008), 1993
251993
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
P Boutry, C Gries, J Narboux, P Schreck
Journal of Automated Reasoning 62, 1-68, 2019
22*2019
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
212011
Geometrical constraint system decomposition: a multi-group approach
P Schreck, P Mathis
International Journal of Computational Geometry & Applications 16 (05n06 …, 2006
212006
Incidence constraints: a combinatorial approach
D Michelucci, P Schreck
International Journal of Computational Geometry & Applications 16 (05n06 …, 2006
202006
Robustness in cad geometric constructions
P Schreck
Proceedings Fifth International Conference on Information Visualisation, 111-116, 2001
202001
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20