Christophe Ringeissen - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2009

Satisfiability Procedures for Combination of Theories Sharing Integer OffsetsEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch. TACAS 2009: 428-442 [doi]

2008

Dynamic Web Services Provisioning with ConstraintsEric Monfroy, Olivier Perrin, Christophe Ringeissen. otm 2008: 26-43 [doi]

2007

Combining Proof-Producing Decision ProceduresSilvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. frocos 2007: 237-251 [doi]

2006

Special issue on combining logical systemsAlessandro Armando, Christophe Ringeissen. iandc, 204(10):1411-1412, 2006. [doi]

Automatic Combinability of Rewriting-Based Satisfiability ProceduresHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. lpar 2006: 542-556 [doi]

2005

On Superposition-Based Satisfiability Procedures and Their CombinationHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. ictac 2005: 594-608 [doi]

2004

Manipulating algebraic specifications with term-based and graph-based representationsAnamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima. jlp, 59(1-2):63-87, 2004. [doi]

2003

A Rule Language for InteractionCarlos Castro, Eric Monfroy, Christophe Ringeissen. csclp 2004: 154-170 [doi]

A Pattern Matching Compiler for Multiple Target LanguagesPierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. cc 2003: 61-76 [doi]

Matching in a Class of Combined Non-disjoint TheoriesChristophe Ringeissen. cade 2003: 212-227 [doi]

2002

Improving Symbolic Model Checking by Rewriting Temporal Logic FormulaeDavid Déharbe, Anamaria Martins Moreira, Christophe Ringeissen. RTA 2002: 207-221 [doi]

Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, ProceedingsHélène Kirchner, Christophe Ringeissen, editors, Volume 2422 of Lecture Notes in Computer Science, Springer, 2002.

The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System DemonstrationMark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 65(3), 2002. [doi]

2001

Rewriting with Strategies in ELAN: A Functional SemanticsPeter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. ijfcs, 12(1):69-95, 2001.

Matching with Free Function Symbols - A Simple Extension of Matching?Christophe Ringeissen. RTA 2001: 276-290 [doi]

2000

Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, ProceedingsHélène Kirchner, Christophe Ringeissen, editors, Volume 1794 of Lecture Notes in Computer Science, Springer, 2000.

Handling Relations over Finite Domains in the Rule-Based System ELANChristophe Ringeissen. ENTCS, 36, 2000. [doi]

ASF+SDF parsing tools applied to ELANMark G. J. van den Brand, Christophe Ringeissen. ENTCS, 36, 2000. [doi]

1999

An Open Automated Framework for Constraint Solver Extension: the SoleX ApproachEric Monfroy, Christophe Ringeissen. FUIN, 39(1-2):167-187, 1999.

Generating Propagation Rules for Finite Domains: A Mixed ApproachChristophe Ringeissen, Eric Monfroy. compulog 2000: 150-172 [doi]

1998

An overview of ELANPeter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 15, 1998. [doi]

Rule-Based Constraint ProgrammingClaude Kirchner, Christophe Ringeissen. FUIN, 34(3):225-262, 1998.

SoleX: A Domain-Independent Scheme for Constraint Solver ExtensionEric Monfroy, Christophe Ringeissen. AISC 1998: 222-233 [doi]

1997

Higher-Order Equational Unification via Explicit SubstitutionsClaude Kirchner, Christophe Ringeissen. icalp 1997: 61-75

1996

Cooperation of Decision Procedures for the Satisfiability ProblemChristophe Ringeissen. frocos 1996: 121-139

1994

Combination Techniques for Non-Disjoint Equational TheoriesEric Domenjoud, Francis Klay, Christophe Ringeissen. cade 1994: 267-281

Constraint Solving by Narrowing in Combined Algebraic DomainsHélène Kirchner, Christophe Ringeissen. ICLP 1994: 617-631

Combining Symbolic Constraint Solvers on Algebraic DomainsHélène Kirchner, Christophe Ringeissen. JSC, 18(2):113-155, 1994.

Combination of Matching AlgorithmsChristophe Ringeissen. STACS 1994: 187-198

1992

A Constraint Solver in Finite Algebras and Its Combination with Unification AlgorithmsHélène Kirchner, Christophe Ringeissen. ICLP 1992: 225-239