| Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 377 | 1998 |
| A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000 | 155 | 2000 |
| Comparing partial consistencies H Collavizza, F Delobel, M Rueher Reliable computing 5 (3), 213-228, 1999 | 143 | 1999 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah International Conference on Principles and Practice of Constraint …, 2001 | 91 | 2001 |
| Efficient and safe global constraints for handling numerical constraint systems Y Lebbah, C Michel, M Rueher, D Daney, JP Merlet SIAM Journal on Numerical Analysis 42 (5), 2076-2097, 2005 | 88 | 2005 |
| A distributed cooperating constraints solving system P Marti, M Rueher International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995 | 74 | 1995 |
| Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998 | 64 | 1998 |
| CPBPV: a constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Constraints 15 (2), 238-264, 2010 | 63 | 2010 |
| Improved filtering for weighted circuit constraints P Benchimol, WJ Hoeve, JC Régin, LM Rousseau, M Rueher Constraints 17 (3), 205-233, 2012 | 58 | 2012 |
| Extending consistent domains of numeric CSP H Collavizza, F Delobel, M Rueher IJCAI 99, 406-413, 1999 | 58 | 1999 |
| Exploration of the capabilities of constraint programming for software verification H Collavizza, M Rueher International Conference on Tools and Algorithms for the Construction and …, 2006 | 55 | 2006 |
| A note on partial consistencies over continuous domains H Collavizza, F Delobel, M Rueher International Conference on Principles and Practice of Constraint …, 1998 | 55 | 1998 |
| Time-minimal path planning in dynamic current fields M Soulignac, P Taillibert, M Rueher 2009 IEEE International Conference on Robotics and Automation, 2473-2479, 2009 | 51 | 2009 |
| A global filtering algorithm for handling systems of quadratic equations and inequations Y Lebbah, M Rueher, C Michel International Conference on Principles and Practice of Constraint …, 2002 | 51 | 2002 |
| Adapting the wavefront expansion in presence of strong currents M Soulignac, P Taillibert, M Rueher 2008 IEEE International Conference on Robotics and Automation, 1352-1358, 2008 | 46 | 2008 |
| Boosting the Interval Narrowing Al-gorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert | 46 | 1996 |
| A global constraint combining a sum constraint and difference constraints JC Régin, M Rueher International Conference on Principles and Practice of Constraint …, 2000 | 44 | 2000 |
| Concurrent cooperating solvers over reals M Rueher, C Solnon Reliable Computing 3 (3), 325-333, 1997 | 40 | 1997 |
| An efficient and safe framework for solving optimization problems Y Lebbah, C Michel, M Rueher Journal of computational and applied mathematics 199 (2), 372-377, 2007 | 39 | 2007 |
| A constraint programming approach for solving rigid geometric systems C Jermann, G Trombettoni, B Neveu, M Rueher International Conference on Principles and Practice of Constraint …, 2000 | 39 | 2000 |
Claude MichelI3S, University of Nice-Sophia AntipolisAdresse e-mail validée de i3s.unice.fr
