Christophe Ringeissen

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 20

Top Venues

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. CoRR (2024)
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD (2023)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Combining Stable Infiniteness and (Strong) Politeness. J. Autom. Reason. 67 (4) (2023)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Combined Hierarchical Matching: the Regular Case. FSCD (2022)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Polite Combination of Algebraic Datatypes. J. Autom. Reason. 66 (3) (2022)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Politeness and Stable Infiniteness: Stronger Together. CADE (2021)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Politeness for the Theory of Algebraic Datatypes (Extended Abstract). IJCAI (2021)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Politeness and Stable Infiniteness: Stronger Together. CoRR (2021)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Non-disjoint Combined Unification and Closure by Equational Paramodulation. FroCoS (2021)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF (2020)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Politeness for the Theory of Algebraic Datatypes. IJCAR (1) (2020)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Computing knowledge in equational extensions of subterm convergent theories. Math. Struct. Comput. Sci. 30 (6) (2020)
Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
Politeness and Combination Methods for Theories with Bridging Functions. J. Autom. Reason. 64 (1) (2020)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Terminating Non-disjoint Combined Unification. LOPSTR (2020)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Politeness for the Theory of Algebraic Datatypes. CoRR (2020)
Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
Theory Combination: Beyond Equality Sharing. Description Logic, Theory Combination, and All That (2019)
Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA (2019)
Christophe Ringeissen
Building and Combining Matching Algorithms. Description Logic, Theory Combination, and All That (2019)
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE (2017)
Raphaël Berthon, Christophe Ringeissen
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. SMT@IJCAR (2016)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99 (2015)
Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
A Rewriting Approach to the Combination of Data Structures with Bridging Theories. FroCos (2015)
Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. CADE (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Unification and Matching in Hierarchical Combinations of Syntactic Theories. FroCos (2015)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS (2014)
Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
A Gentle Non-disjoint Combination of Satisfiability Procedures. IJCAR (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Matching Algorithms (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF (2014)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA (2013)
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA (2013)
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
Hierarchical Combination. CADE (2013)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA (2012)
Christophe Ringeissen, Valerio Senni
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCoS (2011)
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic decidability and combinability. Inf. Comput. 209 (7) (2011)
Christophe Ringeissen, Valerio Senni
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45 (2) (2010)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. Fundam. Informaticae 105 (1-2) (2010)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Combinable Extensions of Abelian Groups. CADE (2009)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS (2009)
Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCoS (2009)
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
Timed Specification For Web Services Compatibility Analysis. Electron. Notes Theor. Comput. Sci. 200 (3) (2008)
Éric Monfroy, Oliver Perri, Christophe Ringeissen
Modelando la composición de servicios web con restricciones. Rev. Avances en Sistemas Informática 5 (1) (2008)
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
A Mediator Based Approach For Services Composition. SERA (2008)
Éric Monfroy, Olivier Perrin, Christophe Ringeissen
Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) (2008)
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Combining Proof-Producing Decision Procedures. FroCoS (2007)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR (2006)
David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
Decision Procedures for the Formal Analysis of Software. ICTAC (2006)
Alessandro Armando, Christophe Ringeissen
Special issue on combining logical systems. Inf. Comput. 204 (10) (2006)
Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCoS (2005)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC (2005)
Slim Abdennadher, Christophe Ringeissen
Preface. Electron. Notes Theor. Comput. Sci. 124 (1) (2005)
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC (2004)
Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
Manipulating algebraic specifications with term-based and graph-based representations. J. Log. Algebraic Methods Program. 59 (1-2) (2004)
Christophe Ringeissen
Matching in a Class of Combined Non-disjoint Theories. CADE (2003)
Carlos Castro, Éric Monfroy, Christophe Ringeissen
A Rule Language for Interaction. CSCLP (2003)
Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana
A Tool Support for Reusing ELAN Rule-Based Components. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)
Cesare Tinelli, Christophe Ringeissen
Unions of non-disjoint theories and combinations of satisfiability procedures. Theor. Comput. Sci. 290 (1) (2003)
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
A Pattern Matching Compiler for Multiple Target Languages. CC (2003)
Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA (2002)
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Pattern-Matching Compiler. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Christophe Ringeissen
Matching with Free Function Symbols - A Simple Extension of Matching? RTA (2001)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12 (1) (2001)
Mark van den Brand, Christophe Ringeissen
ASF+SDF parsing tools applied to ELAN. WRLA (2000)
Christophe Ringeissen
Handling Relations over Finite Domains in the Rule-Based System ELAN. WRLA (2000)
Christophe Ringeissen, Éric Monfroy
Generating Propagation Rules for Finite Domains: A Mixed Approach. New Trends in Constraints (1999)
Éric Monfroy, Christophe Ringeissen
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Fundam. Informaticae 39 (1-2) (1999)
Claude Kirchner, Christophe Ringeissen
Rule-Based Constraint Programming. Fundam. Informaticae 34 (3) (1998)
Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
Handling ELAN rewrite programs via an exchange format. WRLA (1998)
Éric Monfroy, Christophe Ringeissen
SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
An overview of ELAN. WRLA (1998)
Claude Kirchner, Christophe Ringeissen
Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA (1997)
Christophe Ringeissen
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. RTA (1997)
Christophe Ringeissen
Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. Inf. Comput. 126 (2) (1996)
Christophe Ringeissen
Cooperation of Decision Procedures for the Satisfiability Problem. FroCoS (1996)
Hélène Kirchner, Christophe Ringeissen
Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP (1994)
Christophe Ringeissen
Combination of Matching Algorithms. STACS (1994)
Eric Domenjoud, Francis Klay, Christophe Ringeissen
Combination Techniques for Non-Disjoint Equational Theories. CADE (1994)
Hélène Kirchner, Christophe Ringeissen
Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. 18 (2) (1994)
Christophe Ringeissen
Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. LPAR (1992)
Hélène Kirchner, Christophe Ringeissen
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP (1992)

Christophe Ringeissen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christophe Ringeissen