Search the dblp DataBase
Michel Rueher :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Arnaud Gotlieb , Bernard Botella , Michel Rueher A CLP Framework for Computing Structural Test Data. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:399-413 [Conf ] Yahia Lebbah , Claude Michel , Michel Rueher Efficient Pruning Technique Based on Linear Relaxations. [Citation Graph (0, 0)][DBLP ] COCOS, 2003, pp:1-14 [Conf ] Heikel Batnini , Claude Michel , Michel Rueher Mind the Gaps: A New Splitting Strategy for Consistency Techniques. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:77-91 [Conf ] Heikel Batnini , Michel Rueher Semantic Decomposition for Solving Distance Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:964-965 [Conf ] Hélène Collavizza , François Delobel , Michel Rueher A Note on Partial Consistencies over Continuous Domains. [Citation Graph (0, 0)][DBLP ] CP, 1998, pp:147-161 [Conf ] Christophe Jermann , Gilles Trombettoni , Bertrand Neveu , Michel Rueher A Constraint Programming Approach for Solving Rigid Geometric Systems. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:233-248 [Conf ] Yahia Lebbah , Michel Rueher , Claude Michel A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:109-123 [Conf ] Claude Michel , Michel Rueher , Yahia Lebbah Solving Constraints over Floating-Point Numbers. [Citation Graph (0, 0)][DBLP ] CP, 2001, pp:524-538 [Conf ] Jean-Charles Régin , Michel Rueher A Global Constraint Combining a Sum Constraint and Difference Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2000, pp:384-395 [Conf ] Hélène Collavizza , François Delobel , Michel Rueher Relationships between Partial Consistencies over Continuous Domains. [Citation Graph (0, 0)][DBLP ] IJCSLP, 1998, pp:345-346 [Conf ] Didier Ladret , Michel Rueher Contribution of Logic Programming to Support Telecommunications Protocol Tests. [Citation Graph (0, 0)][DBLP ] ICLP, 1993, pp:845-846 [Conf ] Olivier Lhomme , Arnaud Gotlieb , Michel Rueher , Patrick Taillibert Boosting the Interval Narrowing Algorithm. [Citation Graph (0, 0)][DBLP ] JICSLP, 1996, pp:378-392 [Conf ] Philippe Marti , Michel Rueher Solving Constraints over the Reals - A Multi-Solver Approach. [Citation Graph (0, 0)][DBLP ] ICTAI, 1994, pp:304-310 [Conf ] Hélène Collavizza , François Delobel , Michel Rueher Extending Consistent Domains of Numeric CSP. [Citation Graph (0, 0)][DBLP ] IJCAI, 1999, pp:406-413 [Conf ] Michel Rueher Formalizing operations and relationships on objects to support dynamic refinement of process models instances. [Citation Graph (0, 0)][DBLP ] ISPW, 1990, pp:185-190 [Conf ] Michel Rueher , Didier Ladret , Bruno Legeard Capturing software processes through the generated objects. [Citation Graph (0, 0)][DBLP ] ISPW, 1988, pp:148-152 [Conf ] Arnaud Gotlieb , Bernard Botella , Michel Rueher Automatic Test Data Generation Using Constraint Solving Techniques. [Citation Graph (0, 0)][DBLP ] ISSTA, 1998, pp:53-62 [Conf ] Michel Rueher La programmation logique: un outil pour l'aide à la formulation du raisonnement. [Citation Graph (0, 0)][DBLP ] SPLT, 1984, pp:- [Conf ] Michel Rueher , M. C. Thomas , A. Gubert , Didier Ladret Une représentation graphique pour Prolog. [Citation Graph (0, 0)][DBLP ] SPLT, 1986, pp:373-386 [Conf ] Christine Solnon , Michel Rueher Du prototype Prolog vers un modèle objet: une approche basée sur l'inférence des relations inter-types. [Citation Graph (0, 0)][DBLP ] JFPL, 1992, pp:284-0 [Conf ] Christine Solnon , Michel Rueher Inférence de contraintes ensemblistes à partir de programmes Prolog - Application à la deduction de relations d'héritage. [Citation Graph (0, 0)][DBLP ] JFPLC, 1994, pp:239-0 [Conf ] Christine Solnon , Michel Rueher Using a Prolog Prototype for Designing an Object Oriented Scheme. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1991, pp:300-317 [Conf ] Christine Solnon , Michel Rueher Propagation of Inter-argument Dependencies in "Tuple-distributive" Type Inference Systems. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1994, pp:199-214 [Conf ] Christine Solnon , Michel Rueher Extracting Inheritance Hierarchies from Prolog Programs: A System Based on the Inference of Type Relations. [Citation Graph (0, 0)][DBLP ] LPAR, 1993, pp:309-320 [Conf ] Michel Rueher Revisiting Capabilities of Graphic for Logic Programming. [Citation Graph (0, 0)][DBLP ] LPE, 1991, pp:25-32 [Conf ] Christine Solnon , Michel Rueher Inference of Inheritance Relationships from Prolog Programs: a System Developed with PrologIII. [Citation Graph (0, 0)][DBLP ] PLILP, 1992, pp:489-490 [Conf ] Martine Ceberio , Vladik Kreinovich , Michel Rueher Editorial: track reliable computations and their applications. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1429-1430 [Conf ] Martine Ceberio , Vladik Kreinovich , Michel Rueher Editorial: track reliable computations and their applications. [Citation Graph (0, 0)][DBLP ] SAC, 2006, pp:1633-1634 [Conf ] Yahia Lebbah , Claude Michel , Michel Rueher Using constraint techniques for a safe and fast implementation of optimality-based reduction. [Citation Graph (0, 0)][DBLP ] SAC, 2007, pp:326-331 [Conf ] Hélène Collavizza , Michel Rueher Exploration of the Capabilities of Constraint Programming for Software Verification. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:182-196 [Conf ] Yahia Lebbah , Claude Michel , Michel Rueher A Rigorous Global Filtering Algorithm for Quadratic Constraints*. [Citation Graph (0, 0)][DBLP ] Constraints, 2005, v:10, n:1, pp:47-65 [Journal ] Olivier Lhomme , Arnaud Gotlieb , Michel Rueher Dynamic Optimization of Interval Narrowing Algorithms. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1998, v:37, n:1-3, pp:165-183 [Journal ] Michel Rueher An Architecture for Cooperating Constraint Solvers on Reals [Citation Graph (0, 0)][DBLP ] , 1994, v:, n:, pp:231-250 [Journal ] Martine Ceberio , Vladik Kreinovich , Michel Rueher Reliable Computations and Their Applications (RCA) Track. [Citation Graph (0, 0)][DBLP ] Reliable Computing, 2005, v:11, n:6, pp:499-503 [Journal ] Hélène Collavizza , François Delobel , Michel Rueher Comparing Partial Consistencies. [Citation Graph (0, 0)][DBLP ] Reliable Computing, 1999, v:5, n:3, pp:213-228 [Journal ] Michel Rueher , Christine Solnon Concurrent Cooperating Solvers over Reals. [Citation Graph (0, 0)][DBLP ] Reliable Computing, 1997, v:3, n:3, pp:325-333 [Journal ] Michel Rueher A First Exploration of PrologIII's Capabilities. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1993, v:23, n:2, pp:177-200 [Journal ] Bernard Botella , Arnaud Gotlieb , Claude Michel , Michel Rueher , Patrick Taillibert Utilisation des contraintes pour la génération automatique de cas de test structurels. [Citation Graph (0, 0)][DBLP ] Technique et Science Informatiques, 2002, v:21, n:9, pp:1163-1187 [Journal ] Hélène Collavizza , Michel Rueher Exploring Different Constraint-Based Modelings for Program Verification. [Citation Graph (0, 0)][DBLP ] CP, 2007, pp:49-63 [Conf ] CPBPV: A Constraint-Programming Framework for Bounded Program Verification. [Citation Graph (, )][DBLP ] Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. [Citation Graph (, )][DBLP ] Improving the Held and Karp Approach with Constraint Programming. [Citation Graph (, )][DBLP ] The Weighted Spanning Tree Constraint Revisited. [Citation Graph (, )][DBLP ] Adapting the wavefront expansion in presence of strong currents. [Citation Graph (, )][DBLP ] Time-minimal path planning in dynamic current fields. [Citation Graph (, )][DBLP ] An efficient algorithm for a sharp approximation of universally quantified inequalities. [Citation Graph (, )][DBLP ] Efficient handling of universally quantified inequalities. [Citation Graph (, )][DBLP ] An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities [Citation Graph (, )][DBLP ] Revisiting the upper bounding process in a safe Branch and Bound algorithm [Citation Graph (, )][DBLP ] CPBVP: A Constraint-Programming Framework for Bounded Program Verification [Citation Graph (, )][DBLP ] Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification [Citation Graph (, )][DBLP ] Handling software upgradeability problems with MILP solvers [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.305secs