| 2013 | VMCAI | A Constraint Solver Based on Abstract Domains. | Marie Pelleau, Antoine Min, Charlotte Truchet, Frdric Benhamou |
| 2011 | CP | Octagonal Domains for Continuous Constraints. | Marie Pelleau, Charlotte Truchet, Frdric Benhamou |
| 2010 | SYNASC | Abstract Domains for Constraint Programming, with the Example of Octagons. | Charlotte Truchet, Marie Pelleau, Frdric Benhamou |
| 2008 | CP | A Branch and Bound Algorithm for Numerical MAX-CSP. | Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frdric Benhamou |
| 2002 | ICCS | Improved Interval Constraint Propagation for Constraints on Partial Derivatives. | Evgueni S. Petrov, Frdric Benhamou |
| 2001 | IJCAI | Improved bounds on the complexity of kB-consistency. | Lucas Bordeaux, ric Monfroy, Frdric Benhamou |
| 2001 | ISSAC | Symbolic-interval cooperation in constraint programming. | Laurent Granvilliers, ric Monfroy, Frdric Benhamou |
| 2000 | CP | Universally Quantified Interval Constraints. | Frdric Benhamou, Frdric Goualard |
| 2000 | ICTAI | Automated reasoning on monotonic constraints. | Lucas Bordeaux, Frdric Benhamou |
| 1999 | ICLP | Revising Hull and Box Consistency. | Frdric Benhamou, Frdric Goualard, Laurent Granvilliers, Jean-Francois Puget |
| 1999 | ICTAI | Box Consistency through Weak Box Consistency. | Laurent Granvilliers, Frdric Goualard, Frdric Benhamou |
| 1996 | AISC | Combining Local Consistency, Symbolic Rewriting and Interval Methods. | Frdric Benhamou, Laurent Granvilliers |
| 1993 | ICLP | Boolean Pseudo-equations in Constraint Logic Programming. | Frdric Benhamou, Jean-Luc Massat |