{"id":13,"date":"2015-06-15T10:26:53","date_gmt":"2015-06-15T08:26:53","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=13"},"modified":"2024-11-08T15:49:38","modified_gmt":"2024-11-08T13:49:38","slug":"publications","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/CRingeissen\/publications\/","title":{"rendered":"Publis"},"content":{"rendered":"

Recent publications<\/h4>\n
\n
Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. Deciding Knowledge Problems Modulo Classes of Permutative Theories. LOPSTR 2024: 47-63, DOI<\/a>. Authors’ PDF<\/a>.<\/li>\n
Christophe Ringeissen, Laurent Vigneron. Combined Abstract Congruence Closure for Theories with Associativity or Commutativity. LOPSTR 2024:82-98, DOI<\/a>. Authors’ PDF<\/a>.<\/li>\n<\/ul>\n
Some representative publications<\/h4>\n
\n
Cesare Tinelli,\u00a0Christophe Ringeissen.\u00a0Unions of non-disjoint theories and combinations of satisfiability procedures.<\/span> Theor. Comput. Sci. 290(1): 291-353 (2003), DOI<\/a>. Authors’ PDF<\/a>.<\/span><\/li>\n
Paula Chocron, Pascal Fontaine, Christophe Ringeissen.\u00a0A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited.<\/span> CADE 2015: 419-433, DOI<\/a>. Authors’ PDF<\/a>.<\/span><\/li>\n
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen.\u00a0Notions of Knowledge in Combinations of Theories Sharing Constructors.\u00a0<\/span>CADE 2017: 60-76, DOI<\/a>. Authors’ PDF<\/a>.<\/span><\/li>\n<\/ol>\n
Theses<\/h4>\n
\n
Combinaison de R\u00e9solution de Contraintes<\/a>, PhD thesis defended on December 21, 1993.<\/li>\n
Raisonnement \u00e9quationnel et m\u00e9thodes de combinaison: de la programmation \u00e0 la preuve (Equational Reasoning and Combination Methods: from Programs to Proofs)<\/a>, Habilitation thesis defended on November 27, 2009.<\/li>\n<\/ul>\n
Publications (from HAL<\/a>)<\/h4>\n