Publis – Christophe RINGEISSEN

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

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

2024

Conference papers

titre: Combined Abstract Congruence Closure for Theories with Associativity or Commutativity
auteur: Christophe Ringeissen, Laurent Vigneron
article: Logic-Based Program Synthesis and Transformation – 34th International Symposium, LOPSTR 2024, Sep 2024, Milan, Italy. pp.82-98, ⟨10.1007/978-3-031-71294-4_5⟩
DOI: DOI : 10.1007/978-3-031-71294-4_5
Accès au texte intégral et bibtex

titre: Deciding Knowledge Problems Modulo Classes of Permutative Theories
auteur: Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
article: Logic-Based Program Synthesis and Transformation – 34th International Symposium, LOPSTR 2024, Sep 2024, Milan, Italy. pp.47-63, ⟨10.1007/978-3-031-71294-4_3⟩
DOI: DOI : 10.1007/978-3-031-71294-4_3
Accès au texte intégral et bibtex

titre: Undecidability of Static Equivalence in Leaf Permutative Theories
auteur: Serdar Erbatur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen
article: 38th International Workshop on Unification, Jul 2024, Nancy, France
Accès au texte intégral et bibtex

titre: Combined Abstract Congruence Closure for Associative or Commutative Theories
auteur: Christophe Ringeissen, Laurent Vigneron
article: 38th International Workshop on Unification, Jul 2024, Nancy, France
Accès au texte intégral et bibtex

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: Equational reasoning and combination methods: from programs to proofs
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: 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: 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: 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: 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

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

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: 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: 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: 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: 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: 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: 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: Combination of constraint solvers
auteur: Christophe Ringeissen
article: Informatique [cs]. Université Henri Poincaré – Nancy 1, 1993. Français. ⟨NNT : 1993NAN10369⟩
Accès au texte intégral et bibtex