Publis

Recent publications

• Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. Deciding Knowledge Problems Modulo Classes of Permutative Theories. LOPSTR 2024: 47-63, DOI. Authors’ PDF.
• Christophe Ringeissen, Laurent Vigneron. Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. LOPSTR 2024:82-98, DOI. Authors’ PDF.

Some representative publications

1. Cesare Tinelli, Christophe Ringeissen. Unions of non-disjoint theories and combinations of satisfiability procedures. Theor. Comput. Sci. 290(1): 291-353 (2003), DOI. Authors’ PDF.
2. Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. CADE 2015: 419-433, DOI. Authors’ PDF.
3. Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. Notions of Knowledge in Combinations of Theories Sharing Constructors. CADE 2017: 60-76, DOI. Authors’ PDF.

Theses

• Combinaison de Résolution de Contraintes, PhD thesis defended on December 21, 1993.
• Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve (Equational Reasoning and Combination Methods: from Programs to Proofs), Habilitation thesis defended on November 27, 2009.

Publications (from HAL)