The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel Rueher: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Yahia Lebbah, Claude Michel, Michel Rueher
    Efficient Pruning Technique Based on Linear Relaxations. [Citation Graph (0, 0)][DBLP]
    COCOS, 2003, pp:1-14 [Conf]
  3. 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]
  4. Heikel Batnini, Michel Rueher
    Semantic Decomposition for Solving Distance Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:964-965 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Claude Michel, Michel Rueher, Yahia Lebbah
    Solving Constraints over Floating-Point Numbers. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:524-538 [Conf]
  9. 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]
  10. 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]
  11. Didier Ladret, Michel Rueher
    Contribution of Logic Programming to Support Telecommunications Protocol Tests. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:845-846 [Conf]
  12. Olivier Lhomme, Arnaud Gotlieb, Michel Rueher, Patrick Taillibert
    Boosting the Interval Narrowing Algorithm. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:378-392 [Conf]
  13. Philippe Marti, Michel Rueher
    Solving Constraints over the Reals - A Multi-Solver Approach. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1994, pp:304-310 [Conf]
  14. 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]
  15. 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]
  16. Michel Rueher, Didier Ladret, Bruno Legeard
    Capturing software processes through the generated objects. [Citation Graph (0, 0)][DBLP]
    ISPW, 1988, pp:148-152 [Conf]
  17. 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]
  18. Michel Rueher
    La programmation logique: un outil pour l'aide à la formulation du raisonnement. [Citation Graph (0, 0)][DBLP]
    SPLT, 1984, pp:- [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Michel Rueher
    Revisiting Capabilities of Graphic for Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPE, 1991, pp:25-32 [Conf]
  26. 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]
  27. Martine Ceberio, Vladik Kreinovich, Michel Rueher
    Editorial: track reliable computations and their applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1429-1430 [Conf]
  28. Martine Ceberio, Vladik Kreinovich, Michel Rueher
    Editorial: track reliable computations and their applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1633-1634 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. Michel Rueher
    An Architecture for Cooperating Constraint Solvers on Reals [Citation Graph (0, 0)][DBLP]
    , 1994, v:, n:, pp:231-250 [Journal]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]

  40. CPBPV: A Constraint-Programming Framework for Bounded Program Verification. [Citation Graph (, )][DBLP]


  41. Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. [Citation Graph (, )][DBLP]


  42. Improving the Held and Karp Approach with Constraint Programming. [Citation Graph (, )][DBLP]


  43. The Weighted Spanning Tree Constraint Revisited. [Citation Graph (, )][DBLP]


  44. Adapting the wavefront expansion in presence of strong currents. [Citation Graph (, )][DBLP]


  45. Time-minimal path planning in dynamic current fields. [Citation Graph (, )][DBLP]


  46. An efficient algorithm for a sharp approximation of universally quantified inequalities. [Citation Graph (, )][DBLP]


  47. Efficient handling of universally quantified inequalities. [Citation Graph (, )][DBLP]


  48. An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities [Citation Graph (, )][DBLP]


  49. Revisiting the upper bounding process in a safe Branch and Bound algorithm [Citation Graph (, )][DBLP]


  50. CPBVP: A Constraint-Programming Framework for Bounded Program Verification [Citation Graph (, )][DBLP]


  51. Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification [Citation Graph (, )][DBLP]


  52. Handling software upgradeability problems with MILP solvers [Citation Graph (, )][DBLP]


Search in 0.225secs, Finished in 0.227secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002