The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Laurent Granvilliers: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Laurent Granvilliers, Eric Monfroy
    Declarative Modelling of Constraint Propagation Strategies. [Citation Graph (0, 0)][DBLP]
    ADVIS, 2000, pp:201-215 [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. Martine Ceberio, Laurent Granvilliers
    Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:127-141 [Conf]
  4. Laurent Granvilliers, Mina Ouabiba
    Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    AISC, 2004, pp:118-131 [Conf]
  5. Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith
    Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. [Citation Graph (0, 0)][DBLP]
    COCOS, 2003, pp:31-45 [Conf]
  6. 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]
  7. Marc Christie, Eric Languénou, Laurent Granvilliers
    Modeling Camera Control with Constrained Hypertubes. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:618-632 [Conf]
  8. Laurent Granvilliers, Eric Monfroy
    Constraint Propagation: Between Abstract Models and ad hoc Strategies. [Citation Graph (0, 0)][DBLP]
    CP, 2000, pp:505-509 [Conf]
  9. Laurent Granvilliers, Eric Monfroy
    Composition Operators for Constraint Propagation: An Application to Choco. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:600-604 [Conf]
  10. Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller
    Novel Approaches to Numerical Software with Result Verification. [Citation Graph (0, 0)][DBLP]
    Numerical Software with Result Verification, 2003, pp:274-305 [Conf]
  11. Laurent Granvilliers, Eric Monfroy
    A Graphical Interface for Solver Cooperations. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:457-467 [Conf]
  12. Martine Ceberio, Laurent Granvilliers
    Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:117-131 [Conf]
  13. Laurent Granvilliers
    Towards Cooperative Interval Narrowing. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:18-31 [Conf]
  14. 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]
  15. Laurent Granvilliers, Eric Monfroy
    Implementing Constraint Propagation by Composition of Reductions. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:300-314 [Conf]
  16. 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]
  17. 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]
  18. Martine Ceberio, Laurent Granvilliers
    Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:205-220 [Conf]
  19. Laurent Granvilliers
    Transformations symboliques et consistance de bloc de CSP continus. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1997, pp:195-210 [Conf]
  20. Laurent Granvilliers
    Stratégies de résolution de CSP numériques. [Citation Graph (0, 0)][DBLP]
    JFPLC, 1999, pp:221-240 [Conf]
  21. Laurent Granvilliers, Eric Monfroy
    Modélisation déclarative de stratégies de propagation de contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:109-124 [Conf]
  22. Laurent Granvilliers, Mina Ouabiba
    Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2004, pp:- [Conf]
  23. Luc Jaulin, Marc Christie, Laurent Granvilliers
    Quelques applications de la propagation de contraintes sur les domaines continus en automatique. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2002, pp:43-0 [Conf]
  24. Frédéric Goualard, Laurent Granvilliers
    Controlled propagation in continuous numerical constraint networks. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:377-382 [Conf]
  25. Martine Ceberio, Laurent Granvilliers
    Horner's Rule for Interval Evaluation Revisited. [Citation Graph (0, 0)][DBLP]
    Computing, 2002, v:69, n:1, pp:51-81 [Journal]
  26. Laurent Granvilliers, Eric Monfroy
    Enhancing Constraint Propagation with Composition Operators [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  27. Frédéric Goualard, Laurent Granvilliers
    Directional Consistency for Continuous Numerical Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  28. Laurent Granvilliers, Gaétan Hains
    A conservative scheme for parallel interval narrowing. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2000, v:74, n:3-4, pp:141-146 [Journal]
  29. 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]
  30. Laurent Granvilliers
    A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1998, v:4, n:2, pp:125-146 [Journal]
  31. Laurent Granvilliers
    On the Combination of Interval Constraint Solvers. [Citation Graph (0, 0)][DBLP]
    Reliable Computing, 2001, v:7, n:6, pp:467-483 [Journal]
  32. 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]
  33. 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]
  34. Laurent Granvilliers, Jorge Cruz, Pedro Barahona
    Parameter Estimation Using Interval Computations. [Citation Graph (0, 0)][DBLP]
    SIAM J. Scientific Computing, 2004, v:26, n:2, pp:591-612 [Journal]
  35. Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers
    Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:18-32 [Conf]

  36. A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions. [Citation Graph (, )][DBLP]


  37. The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. [Citation Graph (, )][DBLP]


  38. Tuning Constrained Objects. [Citation Graph (, )][DBLP]


  39. Model-driven constraint programming. [Citation Graph (, )][DBLP]


  40. Some Interval Approximation Techniques for MINLP. [Citation Graph (, )][DBLP]


  41. Rewriting Constraint Models with Metamodels. [Citation Graph (, )][DBLP]


  42. Search heuristics for constraint-aided embodiment design. [Citation Graph (, )][DBLP]


  43. Model-Driven Constraint Programming [Citation Graph (, )][DBLP]


  44. Rewriting Constraint Models with Metamodels [Citation Graph (, )][DBLP]


  45. Using ATL to define advanced and flexible constraint model transformations [Citation Graph (, )][DBLP]


Search in 0.066secs, Finished in 0.070secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002