| Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 398 | 1998 |
| A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000 | 161 | 2000 |
| Comparing partial consistencies H Collavizza, F Delobel, M Rueher Reliable computing 5 (3), 213-228, 1999 | 158 | 1999 |
| Solving constraints over floating-point numbers C Michel, M Rueher, Y Lebbah International Conference on Principles and Practice of Constraint …, 2001 | 96 | 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 | 93 | 2005 |
| Improved filtering for weighted circuit constraints P Benchimol, WJ Hoeve, JC Régin, LM Rousseau, M Rueher Constraints 17 (3), 205-233, 2012 | 75 | 2012 |
| A distributed cooperating constraints solving system P Marti, M Rueher International Journal on Artificial Intelligence Tools 4 (01n02), 93-113, 1995 | 75 | 1995 |
| CPBPV: a constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck Constraints 15 (2), 238-264, 2010 | 69 | 2010 |
| Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998 | 63 | 1998 |
| A note on partial consistencies over continuous domains H Collavizza, F Delobel, M Rueher International Conference on Principles and Practice of Constraint …, 1998 | 61 | 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 | 58 | 2009 |
| 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 | 54 | 2006 |
| 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 | 50 | 2008 |
| 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 | 50 | 2002 |
| Boosting the Interval Narrowing Al-gorithm A Gotlieb, P Taillibert, D Electronique Logic Programming: Proceedings of the 1996 Joint International Conference …, 1996 | 45 | 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 |
| 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 | 43 | 2007 |
| Cpbpv: A constraint-programming framework for bounded program verification H Collavizza, M Rueher, P Van Hentenryck International Conference on Principles and Practice of Constraint …, 2008 | 41 | 2008 |
| Modal intervals revisited: a mean-value extension to generalized intervals A Goldsztejn, D Daney, M Rueher, P Taillibert Proceedings of QCP-2005 (Quantification in Constraint Programming …, 2005 | 39 | 2005 |
Claude MichelI3S, University of Nice-Sophia AntipolisVerified email at i3s.unice.fr
