| A formalization of geometric constraint systems and their decomposition P Mathis, SEB Thierry Formal aspects of computing 22 (2), 129-151, 2010 | 24 | 2010 |
| 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 | 21 | 2011 |
| A particle-spring approach to geometric constraints solving SEB Thierry Proceedings of the 2011 ACM Symposium on Applied Computing, 1100-1105, 2011 | 11 | 2011 |
| Using the witness method to detect rigid subsystems of geometric constraints in CAD D Michelucci, P Schreck, SEB Thierry, C Fünfzig, JD Génevaux Proceedings of the 14th ACM Symposium on Solid and Physical Modeling, 91-100, 2010 | 10 | 2010 |
| Towards an homogeneous handling of under-constrained and well-constrained systems of geometric constraints SEB Thierry, P Mathis, P Schreck Proceedings of the 2007 ACM symposium on Applied computing, 773-777, 2007 | 4 | 2007 |
| Why are under-constrained systems not that bad S Thierry, P Schreck, P Mathis ADG'10: 8th International Workshop on Automated Deduction in Geometry, 2010 | | 2010 |
| Un algorithme de complétion de systèmes de contraintes géométriques sous-contraints SEB Thierry, P Mathis, P Schreck 22èmes journées de l'Association Française d'Informatique Graphique (AFIG'09), 2009 | | 2009 |
| Dynamic data models: an application of MOP-based persistence in Common Lisp P Thierry, SEB Thierry arXiv preprint arXiv:0802.3628, 2008 | | 2008 |
| Utiliser la sous-constriction pour résoudre des systèmes de contraintes géométriques SEB THIERRY, P Schreck, P Mathis, A Fabre 8ème Conférence Internationale de Modélisation et Simulation (MOSIM'08), 892-900, 2008 | | 2008 |
Pascal Schreckprofesseur d'informatique, Université de Strasbourg在 unistra.fr 的电子邮件经过验证
