Publis – Christophe RINGEISSEN

Recent publications

Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lang, Pascal Fontaine, Clark Barrett. Polite Combination of Algebraic Datatypes. Journal of Automated Reasoning (2022), DOI, (view only) published version.

Some representative publications

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.
Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. CADE 2015: 419-433, DOI. Authors’ PDF.
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)

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

2012

Conference papers

titre: A Rule-Based Framework for Building Superposition-Based Decision Procedures
auteur: Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
article: WRLA 2012 – 9th International Workshop on Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. pp.221-239, ⟨10.1007/978-3-642-34005-5_12⟩
DOI: DOI : 10.1007/978-3-642-34005-5_12
Accès au bibtex

Reports

titre: Automatic Decidability for Theories Modulo Integer Offsets
auteur: Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
article: [Research Report] RR-8139, INRIA. 2012, pp.20
Accès au texte intégral et bibtex

2011

Journal articles

titre: Automatic Decidability and Combinability
auteur: Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: Information and Computation, 2011, 209 (7), pp.1026-1047. ⟨10.1016/j.ic.2011.03.005⟩
DOI: DOI : 10.1016/j.ic.2011.03.005
Accès au bibtex

Conference papers

titre: Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
auteur: Christophe Ringeissen, Valerio Senni
article: Frontiers of Combining Systems, 8th International Symposium, FroCoS’2011, Oct 2011, Saarbruecken, Germany. pp.211-226, ⟨10.1007/978-3-642-24364-6_15⟩
DOI: DOI : 10.1007/978-3-642-24364-6_15
Accès au bibtex

2010

Journal articles

titre: Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
auteur: Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
article: Journal of Symbolic Computation, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. ⟨10.1016/j.jsc.2008.10.006⟩
DOI: DOI : 10.1016/j.jsc.2008.10.006
Accès au bibtex

titre: Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: Fundamenta Informaticae, 2010, 105 (1-2), pp.163–187. ⟨10.3233/FI-2010-362⟩
DOI: DOI : 10.3233/FI-2010-362
Accès au bibtex

Reports

titre: A Constraint-based Approach to Web Services Provisioning
auteur: Eric Monfroy, Olivier Perrin, Christophe Ringeissen, Laurent Vigneron
article: [Research Report] RR-7413, INRIA. 2010, pp.39
Accès au texte intégral et bibtex

2009

Conference papers

titre: Data Structures with Arithmetic Constraints: a Non-disjoint Combination
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: 7th International Symposium on Frontiers of Combining Systems – FroCoS’2009, Sep 2009, Trento, Italy. pp.335-350, ⟨10.1007/978-3-642-04222-5_20⟩
DOI: DOI : 10.1007/978-3-642-04222-5_20
Accès au bibtex

titre: Combinable Extensions of Abelian Groups
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: 22nd International Conference on Automated Deduction – CADE-22, Aug 2009, Montreal, Canada. pp.51-66, ⟨10.1007/978-3-642-02959-2_4⟩
DOI: DOI : 10.1007/978-3-642-02959-2_4
Accès au bibtex

titre: Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS 2009, Mar 2009, York, United Kingdom. pp.428-442
Accès au bibtex

Habilitation à diriger des recherches

titre: Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve
auteur: Christophe Ringeissen
article: Génie logiciel [cs.SE]. Université Henri Poincaré – Nancy I, 2009
Accès au texte intégral et bibtex

Reports

titre: Data Structures with Arithmetic Constraints: a Non-Disjoint Combination
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: [Research Report] RR-6963, INRIA. 2009, pp.23
Accès au texte intégral et bibtex

titre: Combinable Extensions of Abelian Groups
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: [Research Report] RR-6920, INRIA. 2009, pp.30
Accès au texte intégral et bibtex

2008

Journal articles

titre: Timed Specification For Web Services Compatibility Analysis
auteur: Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
article: Electronic Notes in Theoretical Computer Science, 2008, 200 (3), pp.155-170. ⟨10.1016/j.entcs.2008.04.098⟩
DOI: DOI : 10.1016/j.entcs.2008.04.098
Accès au bibtex

Conference papers

titre: Dynamic Web Services Provisioning with Constraints
auteur: Eric Monfroy, Olivier Perrin, Christophe Ringeissen
article: International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. pp.26-43
Accès au bibtex

titre: A Mediator Based Approach For Services Composition
auteur: Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
article: International Conference on Software Engineering Research, Management and Applications (SERA’08), Aug 2008, Prague, Czech Republic
Accès au bibtex

Reports

titre: Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
auteur: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article: [Research Report] RR-6697, INRIA. 2008, pp.22
Accès au texte intégral et bibtex

titre: Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
auteur: Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
article: [Research Report] RR-6688, INRIA. 2008, pp.34
Accès au texte intégral et bibtex

2007

Conference papers

titre: Timed Specification For Web Services Compatibility Analysis
auteur: Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
article: International Workshop on Automated Specification and Verification of Web Systems – WWV 2007, Dec 2007, San Servolo island, Venice, Italy
Accès au bibtex

titre: Combining Proof-Producing Decision Procedures
auteur: Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: 6th International Symposium o Frontiers of Combining Systems – FroCoS 2007, Boris Konev and Frank Wolter, Sep 2007, Liverpool, United Kingdom. pp.237-251, ⟨10.1007/978-3-540-74621-8_16⟩
DOI: DOI : 10.1007/978-3-540-74621-8_16
Accès au bibtex

Reports

titre: A Methodology For Web Services Composition
auteur: Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
article: [Intern report] 2007
Accès au bibtex

2006

Conference papers

titre: Automatic Combinability of Rewriting-Based Satisfiability Procedures
auteur: Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning – LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542–556, ⟨10.1007/11916277⟩
DOI: DOI : 10.1007/11916277
Accès au bibtex

titre: Decision Procedures for the Formal Analysis of Software
auteur: David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
article: 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, pp.366–370, ⟨10.1007/11921240_26⟩
DOI: DOI : 10.1007/11921240_26
Accès au bibtex

titre: Producing Conflict Sets for Combination of Theories
auteur: Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: Workshop on Pragmatics of Decision Procedures in Automated Reasoning – PDPAR 2006, Aug 2006, Seattle, WA/USA
Accès au bibtex

titre: Building and Combining Satisfiability Procedures for Software Verification
auteur: Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: Third Taiwanese-French Conference on Information Technology (TFIT), Mar 2006, Nancy, France, pp.125–139
Accès au bibtex

2005

Conference papers

titre: On Superposition-Based Satisfiability Procedures and their Combination
auteur: Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: 2nd International Colloquium on Theoretical Aspects of Computing – ICTAC’05, Oct 2005, Hanoi/Vietnam, pp.594–608, ⟨10.1007/11560647⟩
DOI: DOI : 10.1007/11560647
Accès au bibtex

titre: Combining data structures with nonstably infinite theories using many-sorted logic
auteur: Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
article: 5th International Workshop on Frontiers of Combining Systems – FroCoS’05, Sep 2005, Vienna/Austria, pp.48–64, ⟨10.1007/11559306⟩
DOI: DOI : 10.1007/11559306
Accès au bibtex

titre: On Structural Information and the Experimental Evaluation of SMT Tools
auteur: Najet Boughanmi, Silvio Ranise, Christophe Ringeissen
article: International Workshop on First-Order Theorem Proving – FTP’2005, Sep 2005, Koblenz, Germany
Accès au texte intégral et bibtex

Reports

titre: Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic
auteur: Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba
article: [Research Report] RR-5678, INRIA. 2005, pp.39
Accès au texte intégral et bibtex

2004

Journal articles

titre: Manipulating Algebraic Specifications with Term-based and Graph-based Representations
auteur: Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
article: Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.63-87
Accès au bibtex

Conference papers

titre: A Rule Language for Interaction
auteur: Carlos Castro, Eric Monfroy, Christophe Ringeissen
article: Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming – CSCLP’03, May 2004, Budapest, Hongrie, pp.154-170
Accès au bibtex

titre: Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn
auteur: Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article: First International Colloquium on Theoretical Aspects of Computing – ICTAC 2004, Keijiro Araki, Zhiming Liu, 2004, Guiyang, Chine, 15 p
Accès au bibtex

2003

Journal articles

titre: A Tool Support for Reusing ELAN Rule-Based Components
auteur: Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana
article: Electronic Notes in Theoretical Computer Science, 2003, 86 (2), pp.77-91. ⟨10.1016/S1571-0661(04)80677-7⟩
DOI: DOI : 10.1016/S1571-0661(04)80677-7
Accès au texte intégral et bibtex

titre: Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
auteur: Cesare Tinelli, Christophe Ringeissen
article: Theoretical Computer Science, 2003, 290 (1), pp.291-353. ⟨10.1016/S0304-3975(01)00332-2⟩
DOI: DOI : 10.1016/S0304-3975(01)00332-2
Accès au bibtex

Conference papers

titre: A Tool Support for Reusing ELAN Rule-Based Components
auteur: Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana de Oliveira
article: 4th International Workshop on Rule-Based Programming – RULE’2003, Jean-Louis Giavitto, Pierre-Etienne Moreau, Sep 2003, Valence, Espagne, 15 p
Accès au bibtex

titre: Matching in a Class of Combined Non-Disjoint Theories
auteur: Christophe Ringeissen
article: 19th International Conference on Automated Deduction – CADE’2003, Geoff Sutcliffe, Aug 2003, Miami, Floride, USA, pp.212-227
Accès au bibtex

titre: A Pattern Matching Compiler for Multiple Target Languages
auteur: Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article: 12th International Conference on Compiler Construction 2003 – CC’2003, 2003, Varsovie, Pologne, pp.61-76
Accès au bibtex

Reports

titre: Generalizing CASL Specification Components and Preserving Rewrite Proofs
auteur: Anamaria Martins, Christophe Ringeissen
article: [Research Report] RR-4938, INRIA. 2003, pp.34
Accès au texte intégral et bibtex

titre: A Rule Language for Interaction
auteur: Carlos Castro, Eric Monfroy, Christophe Ringeissen
article: [Intern report] A03-R-236 || castro03a, 2003, 15 p
Accès au bibtex

2002

Conference papers

titre: Algebraic Methodology And Software Technology
auteur: Hélène Kirchner, Christophe Ringeissen
article: 9th International Conference on Algebraic Methodology And Software Technology – AMAST’2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
Accès au bibtex

titre: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
auteur: David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
article: International Conference on Rewriting Techniques and Applications – RTA’2002, Thomas Arts, Jul 2002, Copenhagen, Denmark, pp.207-221
Accès au bibtex

titre: The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
auteur: Mark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen
article: Workshop on Language Descriptions, Tools and Applications – LDTA’02, Apr 2002, Grenoble, France, 7 p
Accès au bibtex

Reports

titre: Manipulating Algebraic Specifications with Term-based and Graph-based Representations
auteur: Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima
article: [Intern report] A02-R-521 || martins_moreira02a, 2002, 33 p
Accès au bibtex

titre: A Pattern Matching Compiler for Multiple Target Languages
auteur: Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article: [Intern report] A02-R-184 || moreau02b, 2002, 16 p
Accès au texte intégral et bibtex

2001

Journal articles

titre: Rewriting with strategies in ELAN: a functional semantics
auteur: Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
article: International Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
DOI: DOI : 10.1142/S0129054101000412
Accès au texte intégral et bibtex

Conference papers

titre: A Pattern-Matching Compiler
auteur: Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article: First Workshop on Language Descriptions, Tools and Applications – LDTA’01, Apr 2001, Genova, Italy, 14 p
Accès au bibtex

titre: Matching with Free Function Symbols — A Simple Extension of Matching?
auteur: Christophe Ringeissen
article: International Conference on Rewriting Techniques and Applications – RTA’2001, Vincent van Oostrom, 2001, Utrecht, The Netherlands, pp.276–290
Accès au bibtex

2000

Conference papers

titre: Frontiers of Combining Systems
auteur: Hélène Kirchner, Christophe Ringeissen
article: Third International Workshop – FroCoS’2000, Hélène Kirchner, Christophe Ringeissen, 2000, Nancy, France, 290 p
Accès au bibtex

titre: ASF+SDF parsing tools applied to ELAN
auteur: Mark G. J. van den Brand, Christophe Ringeissen
article: Third International Workshop on Rewriting Logic & Applications – WRLA’2000, 2000, Kanazawa, Japon, 20 p
Accès au bibtex

titre: Handling Relations over Finite Domains in the Rule-Based System ELAN
auteur: Christophe Ringeissen
article: Third International Workshop on Rewriting Logic & Applications – WRLA’2000, 2000, Kanazawa, Japon, 17 p
Accès au bibtex

1999

Journal articles

titre: An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
auteur: Eric Monfroy, Christophe Ringeissen
article: Fundamenta Informaticae, 1999, 39 (1-2), pp.167–187
Accès au bibtex

Conference papers

titre: Generating Propagation Rules for Finite Domains via Unification in Finite Algebras
auteur: Christophe Ringeissen, Eric Monfroy
article: ERCIM/COMPULOG Workshop on Constraints, Oct 1999, Paphos, Cyprus, 17 p
Accès au bibtex

titre: Generating Propagation Rules for Finite Domains: a Mixed Approach
auteur: Christophe Ringeissen, Eric Monfroy
article: Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, pp.150-172
Accès au bibtex

Reports

titre: Executing CASL Equational Specifications with the ELAN Rewrite Engine
auteur: Hélène Kirchner, Christophe Ringeissen
article: [Intern report] 99-R-278 || kirchner99e, 1999, 15 p
Accès au bibtex

1998

Journal articles

titre: Rule-Based Constraint Programming
auteur: Claude Kirchner, Christophe Ringeissen
article: Fundamenta Informaticae, 1998, 34 (3), pp.225–262
Accès au bibtex

Conference papers

titre: An Overview of ELAN
auteur: Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
article: Second Workshop on Rewriting Logic and its Applications – WRLA’98, 1998, Pont-à-Mousson, France, 16 p
Accès au bibtex

titre: Solex: a Domain-Independent Scheme for Constraint Solver Extension
auteur: Eric Monfroy, Christophe Ringeissen
article: International Conference on Artificial Intelligence & Symbolic Computation – AISC’98, 1998, Plattsburgh, New York, USA, pp.222–233
Accès au bibtex

titre: Handling ELAN Rewrite Programs via an Exchange Format
auteur: Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
article: Second Workshop on Rewriting Logic & its Applications – WRLA’98, 1998, Pont-à-Moussson, France, 18 p
Accès au bibtex

Reports

titre: Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results
auteur: Cesare Tinelli, Christophe Ringeissen
article: [Research Report] RR-3402, INRIA. 1998, pp.63
Accès au texte intégral et bibtex

1995

Reports

titre: Cooperation of Decision Procedures for the Satisfiability Problem
auteur: Christophe Ringeissen
article: [Research Report] RR-2753, INRIA. 1995, pp.19
Accès au texte intégral et bibtex

1993

Theses

titre: Combinaison de résolutions de contraintes
auteur: Christophe Ringeissen
article: Informatique [cs]. Université Henri Poincaré – Nancy 1, 1993. Français. ⟨NNT : 1993NAN10369⟩
Accès au texte intégral et bibtex