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

Search the dblp DataBase

Title:
Author:
Christophe Ringeissen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eric Monfroy, Christophe Ringeissen
    SoleX: A Domain-Independent Scheme for Constraint Solver Extension. [Citation Graph (0, 0)][DBLP]
    AISC, 1998, pp:222-233 [Conf]
  2. Claude Kirchner, Christophe Ringeissen
    Higher-Order Equational Unification via Explicit Substitutions. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:61-75 [Conf]
  3. Eric Domenjoud, Francis Klay, Christophe Ringeissen
    Combination Techniques for Non-Disjoint Equational Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1994, pp:267-281 [Conf]
  4. Christophe Ringeissen
    Matching in a Class of Combined Non-disjoint Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:212-227 [Conf]
  5. Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
    A Pattern Matching Compiler for Multiple Target Languages. [Citation Graph (0, 0)][DBLP]
    CC, 2003, pp:61-76 [Conf]
  6. Christophe Ringeissen, Eric Monfroy
    Generating Propagation Rules for Finite Domains: A Mixed Approach. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:150-172 [Conf]
  7. Carlos Castro, Eric Monfroy, Christophe Ringeissen
    A Rule Language for Interaction. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2003, pp:154-170 [Conf]
  8. Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
    Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:48-64 [Conf]
  9. Christophe Ringeissen
    Cooperation of Decision Procedures for the Satisfiability Problem. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:121-139 [Conf]
  10. Hélène Kirchner, Christophe Ringeissen
    A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:225-239 [Conf]
  11. Hélène Kirchner, Christophe Ringeissen
    Constraint Solving by Narrowing in Combined Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:617-631 [Conf]
  12. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:372-386 [Conf]
  13. David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
    Decision Procedures for the Formal Analysis of Software. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:366-370 [Conf]
  14. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    On Superposition-Based Satisfiability Procedures and Their Combination. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:594-608 [Conf]
  15. Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Automatic Combinability of Rewriting-Based Satisfiability Procedures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:542-556 [Conf]
  16. Christophe Ringeissen
    Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:261-272 [Conf]
  17. David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
    Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:207-221 [Conf]
  18. Christophe Ringeissen
    Matching with Free Function Symbols - A Simple Extension of Matching? [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:276-290 [Conf]
  19. Christophe Ringeissen
    Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. [Citation Graph (0, 0)][DBLP]
    RTA, 1997, pp:323-326 [Conf]
  20. Christophe Ringeissen
    Combination of Matching Algorithms. [Citation Graph (0, 0)][DBLP]
    STACS, 1994, pp:187-198 [Conf]
  21. Slim Abdennadher, Christophe Ringeissen
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:1-2 [Journal]
  22. Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
    Handling ELAN rewrite programs via an exchange format. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  23. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
    An overview of ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  24. Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
    The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:3, pp:- [Journal]
  25. Mark van den Brand, Christophe Ringeissen
    ASF+SDF parsing tools applied to ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  26. Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana
    A Tool Support for Reusing ELAN Rule-Based Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:2, pp:- [Journal]
  27. Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
    Pattern-Matching Compiler. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
  28. Christophe Ringeissen
    Handling Relations over Finite Domains in the Rule-Based System ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  29. Claude Kirchner, Christophe Ringeissen
    Rule-Based Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:34, n:3, pp:225-262 [Journal]
  30. Eric Monfroy, Christophe Ringeissen
    An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:39, n:1-2, pp:167-187 [Journal]
  31. Christophe Ringeissen
    Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:2, pp:144-160 [Journal]
  32. Alessandro Armando, Christophe Ringeissen
    Special issue on combining logical systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1411-1412 [Journal]
  33. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
    Rewriting with Strategies in ELAN: A Functional Semantics. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2001, v:12, n:1, pp:69-95 [Journal]
  34. Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
    Manipulating algebraic specifications with term-based and graph-based representations. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:59, n:1-2, pp:63-87 [Journal]
  35. Hélène Kirchner, Christophe Ringeissen
    Combining Symbolic Constraint Solvers on Algebraic Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1994, v:18, n:2, pp:113-155 [Journal]
  36. Cesare Tinelli, Christophe Ringeissen
    Unions of non-disjoint theories and combinations of satisfiability procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:291-353 [Journal]
  37. Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
    Combining Proof-Producing Decision Procedures. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:237-251 [Conf]

  38. Combinable Extensions of Abelian Groups. [Citation Graph (, )][DBLP]


  39. Data Structures with Arithmetic Constraints: A Non-disjoint Combination. [Citation Graph (, )][DBLP]


  40. Dynamic Web Services Provisioning with Constraints. [Citation Graph (, )][DBLP]


  41. A Mediator Based Approach For Services Composition. [Citation Graph (, )][DBLP]


  42. Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. [Citation Graph (, )][DBLP]


  43. Timed Specification For Web Services Compatibility Analysis. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.304secs
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