| 2025 | FSCD | Combining Generalization Algorithms in Regular Collapse-Free Theories. | Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2025 | FSCD | Knowledge Problems vs Unification and Matching: Dichotomy Results. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2025 | JELIA | Interpolating Parametric Array Theories. | Rodrigo Raya, Christophe Ringeissen |
| 2024 | LOPSTR | Deciding Knowledge Problems Modulo Classes of Permutative Theories. | Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2024 | LOPSTR | Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. | Christophe Ringeissen, Laurent Vigneron |
| 2023 | FSCD | Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. | Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2022 | FSCD | Combined Hierarchical Matching: the Regular Case. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2021 | CADE | Politeness and Stable Infiniteness: Stronger Together. | Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli |
| 2021 | IJCAI | Politeness for the Theory of Algebraic Datatypes (Extended Abstract). | Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett |
| 2020 | CADE | Politeness for the Theory of Algebraic Datatypes. | Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett |
| 2020 | LOPSTR | Terminating Non-disjoint Combined Unification. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2019 | LATA | Rule-Based Unification in Combined Theories and the Finite Variant Property. | Ajay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2017 | CADE | Notions of Knowledge in Combinations of Theories Sharing Constructors. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2016 | CADE | Satisfiability Modulo Free Data Structures Combined with Bridging Functions. | Raphal Berthon, Christophe Ringeissen |
| 2015 | CADE | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
| 2014 | CADE | A Gentle Non-disjoint Combination of Satisfiability Procedures. | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
| 2014 | FOSSACS | On Asymmetric Unification and the Combination Problem in Disjoint Theories. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen |
| 2013 | CADE | Hierarchical Combination. | Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen |
| 2011 | TABLEAUX | Modular Termination and Combinability for Superposition Modulo Counter Arithmetic. | Christophe Ringeissen, Valerio Senni |
| 2009 | CADE | Combinable Extensions of Abelian Groups. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2009 | TACAS | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |
| 2008 | SERA | A Mediator Based Approach For Services Composition. | Nawal Guermouche, Olivier Perrin, Christophe Ringeissen |
| 2006 | ICTAC | Decision Procedures for the Formal Analysis of Software. | David Dharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
| 2006 | LPAR | Automatic Combinability of Rewriting-Based Satisfiability Procedures. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2005 | ICTAC | On Superposition-Based Satisfiability Procedures and Their Combination. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2004 | ICTAC | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. | Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2003 | CADE | Matching in a Class of Combined Non-disjoint Theories. | Christophe Ringeissen |
| 2003 | CC | A Pattern Matching Compiler for Multiple Target Languages. | Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek |
| 1998 | AISC | SoleX: A Domain-Independent Scheme for Constraint Solver Extension. | ric Monfroy, Christophe Ringeissen |
| 1994 | CADE | Combination Techniques for Non-Disjoint Equational Theories. | Eric Domenjoud, Francis Klay, Christophe Ringeissen |
| 1994 | ICLP | Constraint Solving by Narrowing in Combined Algebraic Domains. | Hlne Kirchner, Christophe Ringeissen |
| 1994 | STACS | Combination of Matching Algorithms. | Christophe Ringeissen |
| 1992 | ICLP | A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. | Hlne Kirchner, Christophe Ringeissen |
| 1992 | LPAR | Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. | Christophe Ringeissen |