Christophe Ringeissen

96 papers A* 1A 10B 9C 8Misc 1Journal 20Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Combining Generalization Algorithms in Regular Collapse-Free Theories. FSCD Mauricio Ayala-Rincón, David M. Cerna, Temur Kutsia, Christophe Ringeissen
2025	—	`conf`	Graph-Embedded Rewrite Systems: Combination and Undecidability Results. FroCoS Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2025	—	`conf`	Interpolating Parametric Array Theories. JELIA (2) Rodrigo Raya, Christophe Ringeissen
2025	B	`conf`	Knowledge Problems vs Unification and Matching: Dichotomy Results. FSCD Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2025	—	`conf`	Polite Combination in Parametric Array Theories. FroCoS Rodrigo Raya, Christophe Ringeissen
2025	—	`ed.`	Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications, LSFA 2025, Brasilia, Brazil, October 7-8, 2025. LSFA Haniel Barbosa, Christophe Ringeissen
2024	C	`conf`	Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. LOPSTR Christophe Ringeissen, Laurent Vigneron
2024	C	`conf`	Deciding Knowledge Problems Modulo Classes of Permutative Theories. LOPSTR Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2024	J	`jnl`	Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent. CoRR Carter Bunch, Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2023	J	`jnl`	Combining Stable Infiniteness and (Strong) Politeness. J. Autom. Reason. Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2023	B	`conf`	Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. FSCD Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2022	B	`conf`	Combined Hierarchical Matching: the Regular Case. FSCD Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2022	J	`jnl`	Polite Combination of Algebraic Datatypes. J. Autom. Reason. Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
2021	—	`conf`	Non-disjoint Combined Unification and Closure by Equational Paramodulation. FroCoS Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2021	A	`conf`	Politeness and Stable Infiniteness: Stronger Together. CADE Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2021	J	`jnl`	Politeness and Stable Infiniteness: Stronger Together. CoRR Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
2021	A*	`conf`	Politeness for the Theory of Algebraic Datatypes (Extended Abstract). IJCAI Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
2020	J	`jnl`	Computing knowledge in equational extensions of subterm convergent theories. Math. Struct. Comput. Sci. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2020	J	`jnl`	Politeness and Combination Methods for Theories with Bridging Functions. J. Autom. Reason. Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
2020	—	`conf`	Politeness for the Theory of Algebraic Datatypes. IJCAR (1) Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
2020	J	`jnl`	Politeness for the Theory of Algebraic Datatypes. CoRR Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
2020	—	`conf`	Terminating Non-Disjoint Combined Unification (Extended Abstract). UNIF Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2020	C	`conf`	Terminating Non-disjoint Combined Unification. LOPSTR Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2019	—	`conf`	Building and Combining Matching Algorithms. Description Logic, Theory Combination, and All That Christophe Ringeissen
2019	C	`conf`	Rule-Based Unification in Combined Theories and the Finite Variant Property. LATA Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2019	—	`conf`	Theory Combination: Beyond Equality Sharing. Description Logic, Theory Combination, and All That Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
2017	A	`conf`	Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
2016	—	`conf`	Satisfiability Modulo Free Data Structures Combined with Bridging Functions. SMT@IJCAR Raphaël Berthon, Christophe Ringeissen
2015	A	`conf`	A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. CADE Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
2015	—	`conf`	A Rewriting Approach to the Combination of Data Structures with Bridging Theories. FroCos Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
2015	J	`jnl`	A rule-based system for automatic decidability and combinability. Sci. Comput. Program. Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
2015	—	`conf`	Unification and Matching in Hierarchical Combinations of Syntactic Theories. FroCos Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2014	A	`conf`	A Gentle Non-disjoint Combination of Satisfiability Procedures. IJCAR Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen
2014	—	`conf`	Hierarchical Combination of Matching Algorithms (Extended Abstract). UNIF Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2014	—	`conf`	On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014	B	`conf`	On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
2014	—	`ed.`	Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. UNIF Temur Kutsia, Christophe Ringeissen
2013	—	`conf`	Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
2013	—	`ed.`	Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings FroCoS Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt
2013	—	`conf`	Hierarchical Combination of Unication Algorithms (Extended Abstract). UNIF@RTA/TLCA Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2013	A	`conf`	Hierarchical Combination. CADE Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
2012	—	`conf`	A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
2011	J	`jnl`	Automatic decidability and combinability. Inf. Comput. Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2011	—	`conf`	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. FroCoS Christophe Ringeissen, Valerio Senni
2011	—	`conf`	Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. TABLEAUX (Workshops, Tutorials, and Short Papers) Christophe Ringeissen, Valerio Senni
2010	J	`jnl`	Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
2010	J	`jnl`	Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator. Fundam. Informaticae Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	A	`conf`	Combinable Extensions of Abelian Groups. CADE Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	—	`conf`	Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCoS Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2009	—	`book`	Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve. (Equational reasoning and combination methods: from programs to proofs). Christophe Ringeissen
2009	A	`conf`	Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch
2008	C	`conf`	A Mediator Based Approach For Services Composition. SERA Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
2008	—	`conf`	Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) Éric Monfroy, Olivier Perrin, Christophe Ringeissen
2008	J	`jnl`	Modelando la composición de servicios web con restricciones. Rev. Avances en Sistemas Informática Éric Monfroy, Oliver Perri, Christophe Ringeissen
2007	—	`conf`	Combining Proof-Producing Decision Procedures. FroCoS Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2007	—	`conf`	Timed Specification For Web Services Compatibility Analysis. WWV Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
2006	B	`conf`	Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2006	C	`conf`	Decision Procedures for the Formal Analysis of Software. ICTAC David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
2006	J	`jnl`	Special issue on combining logical systems. Inf. Comput. Alessandro Armando, Christophe Ringeissen
2005	—	`conf`	Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCoS Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
2005	C	`conf`	On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2005	—	`ed.`	Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004 RULE Slim Abdennadher, Christophe Ringeissen
2004	J	`jnl`	Manipulating algebraic specifications with term-based and graph-based representations. J. Log. Algebraic Methods Program. Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
2004	C	`conf`	Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2004	—	`conf`	Preface. RULE@RDP Slim Abdennadher, Christophe Ringeissen
2003	B	`conf`	A Pattern Matching Compiler for Multiple Target Languages. CC Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
2003	—	`conf`	A Rule Language for Interaction. CSCLP Carlos Castro, Éric Monfroy, Christophe Ringeissen
2003	—	`conf`	A Tool Support for Reusing ELAN Rule-Based Components. RULE@RDP Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana
2003	A	`conf`	Matching in a Class of Combined Non-disjoint Theories. CADE Christophe Ringeissen
2003	J	`jnl`	Unions of non-disjoint theories and combinations of satisfiability procedures. Theor. Comput. Sci. Cesare Tinelli, Christophe Ringeissen
2002	—	`ed.`	Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings AMAST Hélène Kirchner, Christophe Ringeissen
2002	—	`conf`	Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
2002	—	`conf`	The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration. LDTA@ETAPS Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
2001	—	`conf`	Matching with Free Function Symbols - A Simple Extension of Matching? RTA Christophe Ringeissen
2001	—	`conf`	Pattern-Matching Compiler. LDTA@ETAPS Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
2001	J	`jnl`	Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
2000	—	`conf`	ASF+SDF parsing tools applied to ELAN. WRLA Mark van den Brand, Christophe Ringeissen
2000	—	`ed.`	Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings FroCoS Hélène Kirchner, Christophe Ringeissen
2000	—	`conf`	Handling Relations over Finite Domains in the Rule-Based System ELAN. WRLA Christophe Ringeissen
1999	J	`jnl`	An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Fundam. Informaticae Éric Monfroy, Christophe Ringeissen
1999	—	`conf`	Generating Propagation Rules for Finite Domains: A Mixed Approach. New Trends in Constraints Christophe Ringeissen, Éric Monfroy
1998	—	`conf`	An overview of ELAN. WRLA Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
1998	—	`conf`	Handling ELAN rewrite programs via an exchange format. WRLA Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
1998	J	`jnl`	Rule-Based Constraint Programming. Fundam. Informaticae Claude Kirchner, Christophe Ringeissen
1998	Misc	`conf`	SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC Éric Monfroy, Christophe Ringeissen
1997	—	`conf`	Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA Claude Kirchner, Christophe Ringeissen
1997	—	`conf`	Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. RTA Christophe Ringeissen
1996	J	`jnl`	Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. Inf. Comput. Christophe Ringeissen
1996	—	`conf`	Cooperation of Decision Procedures for the Satisfiability Problem. FroCoS Christophe Ringeissen
1994	A	`conf`	Combination Techniques for Non-Disjoint Equational Theories. CADE Eric Domenjoud, Francis Klay, Christophe Ringeissen
1994	A	`conf`	Combination of Matching Algorithms. STACS Christophe Ringeissen
1994	J	`jnl`	Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. Hélène Kirchner, Christophe Ringeissen
1994	B	`conf`	Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP Hélène Kirchner, Christophe Ringeissen
1993	—	`—`	Combinaison de résolutions de contraintes. (Combination of constraint solvers). Christophe Ringeissen
1992	—	`conf`	A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP Hélène Kirchner, Christophe Ringeissen
1992	B	`conf`	Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. LPAR Christophe Ringeissen