| Revising Hull and Box Consistency. F Benhamou, F Goualard, L Granvilliers, JF Puget ICLP 99, 230-244, 1999 | 533 | 1999 |
| Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques L Granvilliers, F Benhamou ACM Transactions on Mathematical Software (TOMS) 32 (1), 138-156, 2006 | 331 | 2006 |
| Continuous and interval constraints F Benhamou, L Granvilliers Foundations of Artificial Intelligence 2, 571-603, 2006 | 197 | 2006 |
| Symbolic-interval cooperation in constraint programming L Granvilliers, E Monfroy, F Benhamou Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 58 | 2001 |
| Certified parallelotope continuation for one-manifolds B Martin, A Goldsztejn, L Granvilliers, C Jermann SIAM Journal on Numerical Analysis 51 (6), 3373-3401, 2013 | 51 | 2013 |
| On the combination of interval constraint solvers L Granvilliers Reliable Computing 7 (6), 467-483, 2001 | 50 | 2001 |
| Modeling camera control with constrained hypertubes M Christie, É Languénou, L Granvilliers International Conference on Principles and Practice of Constraint …, 2002 | 48 | 2002 |
| Automatic generation of numerical redundancies for non-linear constraint solving F Benhamou, L Granvilliers Reliable Computing 3 (3), 335-344, 1997 | 48 | 1997 |
| Combining local consistency, symbolic rewriting and interval methods F Benhamou, L Granvilliers Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996 | 47 | 1996 |
| Progress in the solving of a circuit design problem L Granvilliers, F Benhamou Journal of Global Optimization 20, 155-168, 2001 | 44 | 2001 |
| Model-driven constraint programming R Chenouard, L Granvilliers, R Soto Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 43 | 2008 |
| Solving nonlinear systems by constraint inversion and interval arithmetic M Ceberio, L Granvilliers Artificial Intelligence and Symbolic Computation: International Conference …, 2001 | 41 | 2001 |
| Algorithms for Solving Non-Linear Constrained and Optimization Problems: The State of The Art C Bliek, P Spellucci, L Vincente, A Neumaier, L Granvilliers, E Monfroy, ... | 40 | 2001 |
| On continuation methods for non-linear bi-objective optimization: towards a certified interval-based approach B Martin, A Goldsztejn, L Granvilliers, C Jermann Journal of Global Optimization 64, 3-16, 2016 | 37 | 2016 |
| Novel approaches to numerical software with result verification L Granvilliers, V Kreinovich, N Müller Numerical Software with Result Verification: International Dagstuhl Seminar …, 2004 | 36 | 2004 |
| Parameter estimation using interval computations L Granvilliers, J Cruz, P Barahona SIAM Journal on Scientific Computing 26 (2), 591-612, 2004 | 35 | 2004 |
| A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. L Granvilliers J. Univers. Comput. Sci. 4 (2), 125-146, 1998 | 34 | 1998 |
| Box consistency through weak box consistency L Granvilliers, F Goualard, F Benhamou Proceedings 11th International Conference on Tools with Artificial …, 1999 | 31 | 1999 |
| A system for the high-level parallelization and cooperation of constraint solvers L Granvilliers, G Hains, Q Miller, N Romero Proceedings of International Conference on Parallel and Distributed …, 1998 | 31 | 1998 |
| Search heuristics for constraint-aided embodiment design R Chenouard, L Granvilliers, P Sébastian AI EDAM 23 (2), 175-195, 2009 | 30 | 2009 |
