Boolean Algorithms in Prolog III. - Frédéric Benhamou (WCLP, 1991)

Boolean Pseudo-equations in Constraint Logic Programming. - Frédéric Benhamou; Jean-Luc Massat (ICLP, 1993)

Programming in CLP(BNR). - William J. Older; Frédéric Benhamou (PPCP, 1993)

CLP(Intervals) Revisited. - Frédéric Benhamou; David A. McAllester; Pascal Van Hentenryck (ILPS, 1994)

Interval Constraint Logic Programming - Frédéric Benhamou (Constraint Programming, 1994)

Prolog IV : langage et algorithmes. - Frédéric Benhamou; Touraïvane (JFPLC, 1995)

Combining Local Consistency, Symbolic Rewriting and Interval Methods. - Frédéric Benhamou; Laurent Granvilliers (AISMC, 1996)

Heterogeneous Constraint Solving. - Frédéric Benhamou (ALP, 1996)

Introduction to the Special Issue on Interval Constraints. - Frédéric Benhamou; Pascal Van Hentenryck (Constraints An Int. J., 1997)

Applying Interval Arithmetic to Real, Integer, and Boolean Constraints. - Frédéric Benhamou; William J. Older (J. Log. Program., 1997)

Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. - Frédéric Benhamou; Laurent Granvilliers (Reliab. Comput., 1997)

Newton - Constraint Programming over Nonlinear Constraints. - Pascal Van Hentenryck; Laurent Michel; Frédéric Benhamou (Sci. Comput. Program., 1998)

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. - Jorge Cruz 001; Pedro Barahona; Frédéric Benhamou (AIMDM, 1999)

Interval Constraints: Results and Perspectives. - Frédéric Benhamou; Laurent Granvilliers; Frédéric Goualard (New Trends in Constraints, 1999)

An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. - Frédéric Benhamou; Frédéric Goualard; Éric Languénou; Marc Christie (Ershov Memorial Conference, 1999)

Revising Hull and Box Consistency. - Frédéric Benhamou; Frédéric Goualard; Laurent Granvilliers; Jean-Francois Puget (ICLP, 1999)

Box Consistency through Weak Box Consistency. - Laurent Granvilliers; Frédéric Goualard; Frédéric Benhamou (ICTAI, 1999)

Un outil de débogage du store pour la programmation par contraintes. - Frédéric Goualard; Frédéric Benhamou (JFPLC, 1999)

A Visualization Tool for Constraint Program Debugging. - Frédéric Goualard; Frédéric Benhamou (ASE, 1999)

An Extension of the WAM for Hybrid Interval Solvers. - Frédéric Goualard; Frédéric Benhamou; Laurent Granvilliers (J. Funct. Log. Program., 1999)

Universally Quantified Interval Constraints. - Frédéric Benhamou; Frédéric Goualard (CP, 2000)

Debugging Constraint Programs by Store Inspection. - Frédéric Goualard; Frédéric Benhamou (Analysis and Visualization Tools for Constraint Programming, 2000)

Automated reasoning on monotonic constraints. - Lucas Bordeaux; Frédéric Benhamou (ICTAI, 2000)

Improved bounds on the complexity of kB-consistency. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (IJCAI, 2001)

Symbolic-interval cooperation in constraint programming. - Laurent Granvilliers; Éric Monfroy; Frédéric Benhamou (ISSAC, 2001)

Amélioration de la complexité des kB-consistances. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (JFPLC, 2001)

Progress in the Solving of a Circuit Design Problem. - Laurent Granvilliers; Frédéric Benhamou (J. Glob. Optim., 2001)

In honor of Alain Colmerauer's 60th birthday. - Frédéric Benhamou; Pascal Van Hentenryck (Theory Pract. Log. Program., 2001)

Towards Automated Reasoning on the Properties of Numerical Constraints. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Improved Interval Constraint Propagation for Constraints on Partial Derivatives. - Evgueni S. Petrov; Frédéric Benhamou (International Conference on Computational Science (2), 2002)

Raisonnement sur les propriétés de contraintes numériques. - Lucas Bordeaux; Éric Monfroy; Frédéric Benhamou (JFPLC, 2002)

Interval constraint solving for camera control and motion planning. - Frédéric Benhamou; Frédéric Goualard; Éric Languénou; Marc Christie (ACM Trans. Comput. Log., 2004)

Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. - Laurent Granvilliers; Frédéric Benhamou (ACM Trans. Math. Softw., 2006)

Continuous and Interval Constraints. - Frédéric Benhamou; Laurent Granvilliers (Handbook of Constraint Programming, 2006)

A Spatio-temporal Reasoning System for Virtual Camera Planning. - Marc Christie; Fabrice Lamarche; Frédéric Benhamou (Smart Graphics, 2009)

Interval Constraints. - Frédéric Benhamou (Encyclopedia of Optimization, 2009)

Abstract Domains for Constraint Programming, with the Example of Octagons. - Charlotte Truchet; Marie Pelleau; Frédéric Benhamou (SYNASC, 2010)

A branch and bound algorithm for numerical Max-CSP. - Jean-Marie Normand; Alexandre Goldsztejn; Marc Christie; Frédéric Benhamou (Constraints An Int. J., 2010)

Octagonal Domains for Continuous Constraints. - Marie Pelleau; Charlotte Truchet; Frédéric Benhamou (CP, 2011)

A Constraint Solver Based on Abstract Domains. - Marie Pelleau; Antoine Miné; Charlotte Truchet; Frédéric Benhamou (VMCAI, 2013)

The octagon abstract domain for continuous constraints. - Marie Pelleau; Charlotte Truchet; Frédéric Benhamou (Constraints An Int. J., 2014)