Publications HAL de Christophe, Ringeissen

2023

Journal articles

titre: Combining Stable Infiniteness and (Strong) Politeness
auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew J Reynolds, Clark Barrett, Cesare Tinelli
article: Journal of Automated Reasoning, 2023, 67 (4), pp.34. ⟨10.1007/S10817-023-09684-0⟩
DOI: DOI : 10.1007/S10817-023-09684-0
Accès au bibtex

Conference papers

titre: Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories
auteur: Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.30:1--30:19, ⟨10.4230/LIPIcs.FSCD.2023.30⟩
DOI: DOI : 10.4230/LIPIcs.FSCD.2023.30
Accès au texte intégral et bibtex

2022

Journal articles

titre: Polite Combination of Algebraic Datatypes
auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
article: Journal of Automated Reasoning, 2022, 66 (3), pp.331-355. ⟨10.1007/s10817-022-09625-3⟩
DOI: DOI : 10.1007/s10817-022-09625-3
Accès au bibtex

Conference papers

titre: Graph-Embedded Term Rewrite Systems and Applications (A Preliminary Report)
auteur: Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen
article: 36th International Workshop on Unification, David Cerna; Barbara Morawska, Aug 2022, Haifa, Israel
Accès au texte intégral et bibtex

titre: Combined Hierarchical Matching: the Regular Case
auteur: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), Aug 2022, Haifa, Israel. pp.6:1--6:22, ⟨10.4230/LIPIcs.FSCD.2022.6⟩
DOI: DOI : 10.4230/LIPIcs.FSCD.2022.6
Accès au bibtex

2021

Conference papers

titre: Non-disjoint Combined Unification and Closure by Equational Paramodulation
auteur: Serdar Erbatur, Andrew Marshall, Christophe Ringeissen
article: FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.25-42, ⟨10.1007/978-3-030-86205-3_2⟩
DOI: DOI : 10.1007/978-3-030-86205-3_2
Accès au bibtex

titre: Politeness for the Theory of Algebraic Datatypes (Extended Abstract)
auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
article: IJCAI 2021 - International Joint Conference on Artificial Intelligence (Sister Conferences Best Papers), Aug 2021, Montreal, Canada. pp.4829-4833, ⟨10.24963/ijcai.2021/660⟩
DOI: DOI : 10.24963/ijcai.2021/660
Accès au bibtex

titre: Politeness and Stable Infiniteness: Stronger Together
auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark Barrett, Cesare Tinelli
article: CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.148-165, ⟨10.1007/978-3-030-79876-5_9⟩
DOI: DOI : 10.1007/978-3-030-79876-5_9
Accès au bibtex

Preprints, Working Papers, ...

titre: Non-disjoint Combined Unification and Closure by Equational Paramodulation (Extended Version)
auteur: Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen
article: 2021
Accès au texte intégral et bibtex

2020

Journal articles

titre: Computing Knowledge in Equational Extensions of Subterm Convergent Theories
auteur: Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen
article: Mathematical Structures in Computer Science, 2020, 30 (6), pp.683-709. ⟨10.1017/S0960129520000031⟩
DOI: DOI : 10.1017/S0960129520000031
Accès au texte intégral et bibtex

titre: Politeness and Combination Methods for Theories with Bridging Functions
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: Journal of Automated Reasoning, 2020, 64, pp.97-134. ⟨10.1007/s10817-019-09512-4⟩
DOI: DOI : 10.1007/s10817-019-09512-4
Accès au texte intégral et bibtex

Conference papers

titre: Terminating Non-Disjoint Combined Unification
auteur: Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen
article: LOPSTR 2020 - 30th International Symposium on Logic-based Program Synthesis and Transformation, Maurizio Gabbrielli, Sep 2020, Bologna, Italy. pp.113-130, ⟨10.1007/978-3-030-68446-4_6⟩
DOI: DOI : 10.1007/978-3-030-68446-4_6
Accès au texte intégral et bibtex

titre: Politeness for the Theory of Algebraic Datatypes
auteur: Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
article: 10th International Joint Conference on Automated Reasoning, IJCAR, Jul 2020, Paris, France. pp.238--255, ⟨10.1007/978-3-030-51074-9_14⟩
DOI: DOI : 10.1007/978-3-030-51074-9_14
Accès au bibtex

titre: Terminating Non-Disjoint Combined Unification (Extended Abstract)
auteur: Serdar Erbatur, Andrew M Marshall, Christophe Ringeissen
article: UNIF 2020 - 34th International Workshop on Unification, Temur Kutsia; Andrew Marshall, Jun 2020, Paris, France
Accès au texte intégral et bibtex

2019

Conference papers

titre: Rule-Based Unification in Combined Theories and the Finite Variant Property
auteur: Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: LATA 2019 - 13th International Conference on Language and Automata Theory and Applications, Mar 2019, Saint-Petersbourg, Russia. pp.356--367, ⟨10.1007/978-3-030-13435-8_26⟩
DOI: DOI : 10.1007/978-3-030-13435-8_26
Accès au texte intégral et bibtex

Book sections

titre: Building and Combining Matching Algorithms
auteur: Christophe Ringeissen
article: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.523-541, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-22102-7_24⟩
DOI: DOI : 10.1007/978-3-030-22102-7_24
Accès au texte intégral et bibtex

titre: Theory Combination: Beyond Equality Sharing
auteur: Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli
article: Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.57-89, 2019, Theoretical Computer Science and General Issues, 978-3-030-22101-0
Accès au texte intégral et bibtex

Reports

titre: Unification in Non-Disjoint Combinations with Forward-Closed Theories
auteur: Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: [Research Report] RR-9252, Inria Nancy - Grand Est. 2019
Accès au texte intégral et bibtex

2018

Conference papers

titre: Knowledge Problems in Equational Extensions of Subterm Convergent Theories
auteur: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: UNIF 2018 - 32nd International Workshop on Unification, Mauricio Ayala-Rincon; Philippe Balbiani, Jul 2018, Oxford, United Kingdom
Accès au texte intégral et bibtex

2017

Conference papers

titre: Non-Disjoint Combination with Forward-Closed Theories
auteur: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: 31th International Workshop on Unification, UNIF 2017, Adrià Gascón; Christopher Lynch, Sep 2017, Oxford, United Kingdom
Accès au texte intégral et bibtex

titre: Notions of Knowledge in Combinations of Theories Sharing Constructors
auteur: Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
article: 26th International Conference on Automated Deduction, Aug 2017, Göteborg, Sweden. pp.60 - 76, ⟨10.1007/978-3-319-63046-5_5⟩
DOI: DOI : 10.1007/978-3-319-63046-5_5
Accès au texte intégral et bibtex

2016

Conference papers

titre: Satisfiability Modulo Free Data Structures Combined with Bridging Functions
auteur: Raphaël Berthon, Christophe Ringeissen
article: 14th International Workshop on Satisfiability Modulo Theories, affiliated with IJCAR 2016, Jul 2016, Coimbra, Portugal. pp.71--80
Accès au texte intégral et bibtex

2015

Journal articles

titre: A rule-based system for automatic decidability and combinability
auteur: Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
article: Science of Computer Programming, 2015, Selected Papers from the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012), 99, pp.3-23. ⟨10.1016/j.scico.2014.02.005⟩
DOI: DOI : 10.1016/j.scico.2014.02.005
Accès au texte intégral et bibtex

Conference papers

titre: A Rewriting Approach to the Combination of Data Structures with Bridging Theories
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.275--290, ⟨10.1007/978-3-319-24246-0_17⟩
DOI: DOI : 10.1007/978-3-319-24246-0_17
Accès au texte intégral et bibtex

titre: Unification and Matching in Hierarchical Combinations of Syntactic Theories
auteur: Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
article: Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.291--306, ⟨10.1007/978-3-319-24246-0_18⟩
DOI: DOI : 10.1007/978-3-319-24246-0_18
Accès au texte intégral et bibtex

titre: A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: 25th International Conference on Automated Deduction, CADE-25, Christoph Benzmueller, Aug 2015, Berlin, Germany. pp.419-433, ⟨10.1007/978-3-319-21401-6_29⟩
DOI: DOI : 10.1007/978-3-319-21401-6_29
Accès au texte intégral et bibtex

2014

Conference papers

titre: A Gentle Non-Disjoint Combination of Satisfiability Procedures
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Jul 2014, Vienna, Austria. pp.122-136, ⟨10.1007/978-3-319-08587-6_9⟩
DOI: DOI : 10.1007/978-3-319-08587-6_9
Accès au bibtex

titre: Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: Workshop on Automated Deduction: Decidability, Complexity, Tractability, ADDCT 2014. Held as Part of the Vienna Summer of Logic, affiliated with IJCAR 2014 and RTA 2014, Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Jul 2014, Vienna, Austria
Accès au bibtex

titre: On Asymmetric Unification and the Combination Problem in Disjoint Theories
auteur: Serdar Erbatur, Deepak Kapur, Andrew Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
article: Foundations of Software Science and Computation Structures - 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS, Apr 2014, Grenoble, France. pp.15, ⟨10.1007/978-3-642-54830-7_18⟩
DOI: DOI : 10.1007/978-3-642-54830-7_18
Accès au bibtex

Reports

titre: A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
auteur: Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article: [Research Report] RR-8529, INRIA. 2014
Accès au texte intégral et bibtex

titre: Asymmetric Unification and the Combination Problem in Disjoint Theories
auteur: Serdar Erbatur, Deepak Kapur, Andrew Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen
article: [Research Report] RR-8476, INRIA. 2014
Accès au texte intégral et bibtex

2013

Conference papers

titre: Hierarchical Combination of Unification Algorithms
auteur: Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
article: The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
Accès au texte intégral et bibtex

titre: Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
auteur: Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
article: RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
DOI: DOI : 10.4230/LIPIcs.RTA.2013.303
Accès au bibtex

titre: Automatic Decidability for Theories with Counting Operators
auteur: Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
article: Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
Accès au texte intégral et bibtex

titre: Hierarchical Combination
auteur: Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
article: CADE-24 - 24th International Conference on Automated Deduction - 2013, Jun 2013, Lake Placid, United States. pp.249-266, ⟨10.1007/978-3-642-38574-2_17⟩
DOI: DOI : 10.1007/978-3-642-38574-2_17
Accès au bibtex

Books

titre: Frontiers of Combining Systems
auteur: Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
article: Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. Springer, 8152, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7
Accès au bibtex