The SCEAS System
Navigation Menu

Search the dblp DataBase


Frédéric Benhamou: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jorge Cruz, Pedro Barahona, Frédéric Benhamou
    Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. [Citation Graph (0, 0)][DBLP]
    AIMDM, 1999, pp:185-196 [Conf]
  2. Frédéric Benhamou, Laurent Granvilliers
    Combining Local Consistency, Symbolic Rewriting and Interval Methods. [Citation Graph (0, 0)][DBLP]
    AISMC, 1996, pp:144-159 [Conf]
  3. Frédéric Benhamou
    Heterogeneous Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:62-76 [Conf]
  4. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Towards Automated Reasoning on the Properties of Numerical Constraints. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:47-61 [Conf]
  5. Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard
    Interval Constraints: Results and Perspectives. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:1-16 [Conf]
  6. Frédéric Benhamou, Frédéric Goualard
    Universally Quantified Interval Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:67-82 [Conf]
  7. Frédéric Goualard, Frédéric Benhamou
    Debugging Constraint Programs by Store Inspection. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:273-297 [Conf]
  8. Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie
    An Algorithm to Compute Inner Approximations of Relations for Interval Constraints. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1999, pp:416-423 [Conf]
  9. Evgueni S. Petrov, Frédéric Benhamou
    Improved Interval Constraint Propagation for Constraints on Partial Derivatives. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (2), 2002, pp:1097-1105 [Conf]
  10. Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget
    Revising Hull and Box Consistency. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:230-244 [Conf]
  11. Frédéric Benhamou, Jean-Luc Massat
    Boolean Pseudo-equations in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:517-531 [Conf]
  12. Lucas Bordeaux, Frédéric Benhamou
    Automated reasoning on monotonic constraints. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2000, pp:401-0 [Conf]
  13. Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou
    Box Consistency through Weak Box Consistency. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:373-380 [Conf]
  14. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Improved bounds on the complexity of kB-consistency. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:303-308 [Conf]
  15. Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou
    Symbolic-interval cooperation in constraint programming. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2001, pp:150-166 [Conf]
  16. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Amélioration de la complexité des kB-consistances. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:207-222 [Conf]
  17. Lucas Bordeaux, Eric Monfroy, Frédéric Benhamou
    Raisonnement sur les propriétés de contraintes numériques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:13-0 [Conf]
  18. Frédéric Benhamou, Touraïvane
    Prolog IV : langage et algorithmes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1995, pp:51-64 [Conf]
  19. Frédéric Goualard, Frédéric Benhamou
    Un outil de débogage du store pour la programmation par contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:281-296 [Conf]
  20. Frédéric Goualard, Frédéric Benhamou
    A Visualization Tool for Constraint Program Debugging. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:110-0 [Conf]
  21. William J. Older, Frédéric Benhamou
    Programming in CLP(BNR). [Citation Graph (0, 0)][DBLP]
    PPCP, 1993, pp:228-238 [Conf]
  22. Frédéric Benhamou, David A. McAllester, Pascal Van Hentenryck
    CLP(Intervals) Revisited. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:124-138 [Conf]
  23. Frédéric Benhamou
    Boolean Algorithms in Prolog III. [Citation Graph (0, 0)][DBLP]
    WCLP, 1991, pp:307-325 [Conf]
  24. Frédéric Benhamou, Pascal Van Hentenryck
    Introduction to the Special Issue on Interval Constraints. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:2, pp:107-112 [Journal]
  25. Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie
    Interval Constraint Solving for Camera Control and Motion Planning [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  26. Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers
    An Extension of the WAM for Hybrid Interval Solvers. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 1, pp:- [Journal]
  27. Frédéric Benhamou, William J. Older
    Applying Interval Arithmetic to Real, Integer, and Boolean Constraints. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:1, pp:1-24 [Journal]
  28. Frédéric Benhamou
    Interval Constraint Logic Programming [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:1-21 [Journal]
  29. Frédéric Benhamou, Laurent Granvilliers
    Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 1997, v:3, n:3, pp:335-344 [Journal]
  30. Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou
    Newton - Constraint Programming over Nonlinear Constraints. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:83-118 [Journal]
  31. Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie
    Interval constraint solving for camera control and motion planning. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:4, pp:732-767 [Journal]
  32. Laurent Granvilliers, Frédéric Benhamou
    Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 2006, v:32, n:1, pp:138-156 [Journal]
  33. Frédéric Benhamou, Pascal Van Hentenryck
    In honor of Alain Colmerauer's 60th birthday. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:6, pp:633-635 [Journal]

  34. A Branch and Bound Algorithm for Numerical MAX-CSP. [Citation Graph (, )][DBLP]

  35. A Spatio-temporal Reasoning System for Virtual Camera Planning. [Citation Graph (, )][DBLP]

Search in 0.027secs, Finished in 0.028secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002