| 2012 | ||
|---|---|---|
| c33 | ||
| 2010 | ||
| j10 | Alexandre Goldsztejn, Laurent Granvilliers: A new framework for sharp and efficient resolution of NCSP with manifolds of solutions. Constraints 15(2): 190-212 (2010) | |
| c32 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: High-Level Modeling of Component-Based CSPs. SBIA 2010: 233-242 | |
| i5 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: Model-Driven Constraint Programming. CoRR abs/1002.2897 (2010) | |
| i4 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: Rewriting Constraint Models with Metamodels. CoRR abs/1002.3023 (2010) | |
| i3 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: Using ATL to define advanced and flexible constraint model transformations. CoRR abs/1002.3078 (2010) | |
| 2009 | ||
| j9 | Raphaël Chenouard, Laurent Granvilliers, P. Sebastian: Search heuristics for constraint-aided embodiment design. AI EDAM 23(2): 175-195 (2009) | |
| c31 | ||
| c30 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: Rewriting Constraint Models with Metamodels. SARA 2009 | |
| 2008 | ||
| c29 | Alexandre Goldsztejn, Laurent Granvilliers: A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions. CP 2008: 190-204 | |
| c28 | ||
| c27 | Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto: Model-driven constraint programming. PPDP 2008: 236-246 | |
| p1 | Ricardo Soto, Laurent Granvilliers: On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. New Challenges in Applied Intelligence Technologies 2008: 123-133 | |
| 2007 | ||
| c26 | Raphaël Chenouard, Patrick Sébastian, Laurent Granvilliers: Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques. CP 2007: 18-32 | |
| c25 | Ricardo Soto, Laurent Granvilliers: The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models. ICTAI (1) 2007: 243-250 | |
| 2006 | ||
| j8 | Laurent Granvilliers, Frédéric Benhamou: Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. 32(1): 138-156 (2006) | |
| 2005 | ||
| c24 | Frédéric Goualard, Laurent Granvilliers: Controlled propagation in continuous numerical constraint networks. SAC 2005: 377-382 | |
| 2004 | ||
| j7 | Laurent Granvilliers, Jorge Cruz, Pedro Barahona: Parameter Estimation Using Interval Computations. SIAM J. Scientific Computing 26(2): 591-612 (2004) | |
| c23 | Laurent Granvilliers, Mina Ouabiba: Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques. AISC 2004: 118-131 | |
| c22 | Laurent Granvilliers, Mina Ouabiba: Contribution aux techniques de satisfaction de contraintes par combinaison de termes non linéaires. JFPLC 2004 | |
| i2 | Frédéric Goualard, Laurent Granvilliers: Directional Consistency for Continuous Numerical Constraints. CoRR cs.AI/0406025 (2004) | |
| 2003 | ||
| c21 | Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith: Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. COCOS 2003: 31-45 | |
| c20 | Laurent Granvilliers, Vladik Kreinovich, Norbert Th. Müller: Novel Approaches to Numerical Software with Result Verification. Numerical Software with Result Verification 2003: 274-305 | |
| c19 | Laurent Granvilliers, Eric Monfroy: Implementing Constraint Propagation by Composition of Reductions. ICLP 2003: 300-314 | |
| 2002 | ||
| j6 | Martine Ceberio, Laurent Granvilliers: Horner's Rule for Interval Evaluation Revisited. Computing 69(1): 51-81 (2002) | |
| c18 | Marc Christie, Eric Languénou, Laurent Granvilliers: Modeling Camera Control with Constrained Hypertubes. CP 2002: 618-632 | |
| c17 | Martine Ceberio, Laurent Granvilliers: Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods. FroCoS 2002: 117-131 | |
| c16 | Luc Jaulin, Marc Christie, Laurent Granvilliers: Quelques applications de la propagation de contraintes sur les domaines continus en automatique. JFPLC 2002: 43- | |
| 2001 | ||
| j5 | Laurent Granvilliers: On the Combination of Interval Constraint Solvers. Reliable Computing 7(6): 467-483 (2001) | |
| c15 | Laurent Granvilliers, Eric Monfroy: Composition Operators for Constraint Propagation: An Application to Choco. CP 2001: 600-604 | |
| c14 | Laurent Granvilliers, Eric Monfroy: A Graphical Interface for Solver Cooperations. Ershov Memorial Conference 2001: 457-467 | |
| c13 | Laurent Granvilliers, Eric Monfroy, Frédéric Benhamou: Symbolic-interval cooperation in constraint programming. ISSAC 2001: 150-166 | |
| i1 | Laurent Granvilliers, Eric Monfroy: Enhancing Constraint Propagation with Composition Operators. CoRR cs.AI/0107002 (2001) | |
| 2000 | ||
| j4 | Laurent Granvilliers, Gaétan Hains: A conservative scheme for parallel interval narrowing. Inf. Process. Lett. 74(3-4): 141-146 (2000) | |
| c12 | Laurent Granvilliers, Eric Monfroy: Declarative Modelling of Constraint Propagation Strategies. ADVIS 2000: 201-215 | |
| c11 | Martine Ceberio, Laurent Granvilliers: Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic. AISC 2000: 127-141 | |
| c10 | Laurent Granvilliers, Eric Monfroy: Constraint Propagation: Between Abstract Models and ad hoc Strategies. CP 2000: 505-509 | |
| c9 | ||
| c8 | Laurent Granvilliers, Eric Monfroy: Modélisation déclarative de stratégies de propagation de contraintes. JFPLC 2000: 109-124 | |
| c7 | Martine Ceberio, Laurent Granvilliers: Résolution de systèmes non linéaires par inversion des contraintes et analyse par intervalles. JFPLC 2000: 205-220 | |
| 1999 | ||
| j3 | Frédéric Goualard, Frédéric Benhamou, Laurent Granvilliers: An Extension of the WAM for Hybrid Interval Solvers. Journal of Functional and Logic Programming 1999(Special Issue 1) (1999) | |
| c6 | Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard: Interval Constraints: Results and Perspectives. New Trends in Constraints 1999: 1-16 | |
| c5 | Frédéric Benhamou, Frédéric Goualard, Laurent Granvilliers, Jean-Francois Puget: Revising Hull and Box Consistency. ICLP 1999: 230-244 | |
| c4 | Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou: Box Consistency through Weak Box Consistency. ICTAI 1999: 373-380 | |
| c3 | ||
| 1998 | ||
| j2 | Laurent Granvilliers: A Symbolic-Numerical Branch and Prune Algorithm for Solving Non-linear Polynomial Systems. J. UCS 4(2): 125-146 (1998) | |
| 1997 | ||
| j1 | Frédéric Benhamou, Laurent Granvilliers: Automatic Generation of Numerical Redundancies for Non-Linear Constraint Solving. Reliable Computing 3(3): 335-344 (1997) | |
| c2 | Laurent Granvilliers: Transformations symboliques et consistance de bloc de CSP continus. JFPLC 1997: 195-210 | |
| 1996 | ||
| c1 | Frédéric Benhamou, Laurent Granvilliers: Combining Local Consistency, Symbolic Rewriting and Interval Methods. AISMC 1996: 144-159 | |
Colors in the list of coauthors
Last update Mon May 20 06:43:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page