Publis

Theses

Publications (from HAL)

Publications HAL de Christophe, Ringeissen

2016

Conference papers

titre
Satisfiability Modulo Free Data Structures Combined with Bridging Functions
auteur
Raphaël Berthon, Christophe Ringeissen
article
Tim King and Ruzica Piskac. 14th International Workshop on Satisfiability Modulo Theories, affiliated with IJCAR 2016, Jul 2016, Coimbra, Portugal. CEUR-WS.org, pp.71–80, 2016, CEUR Workshop Proceedings
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01389228/file/combi-fds.pdf 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, Elsevier, 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
https://hal.inria.fr/hal-01102883/file/TGRK14.pdf BibTex

Conference papers

titre
A Rewriting Approach to the Combination of Data Structures with Bridging Theories
auteur
Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article
Carsten Lutz and Silvio Ranise. Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. Springer, 9322, pp.275–290, Lecture Notes in Computer Science. <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
https://hal.inria.fr/hal-01206187/file/ds-bridging.pdf BibTex
titre
Unification and Matching in Hierarchical Combinations of Syntactic Theories
auteur
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
article
Carsten Lutz and Silvio Ranise. Frontiers of Combining Systems – 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. Springer, 9322, pp.291–306, Lecture Notes in Computer Science. <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
https://hal.inria.fr/hal-01206669/file/combi-syntactic.pdf BibTex
titre
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited
auteur
Paula Chocron, Pascal Fontaine, Christophe Ringeissen
article
Amy P. Felty and Aart Middeldorp. 25th International Conference on Automated Deduction, CADE-25, Aug 2015, Berlin, Germany. Springer, 9195, pp.419-433, 2015, Lecture Notes in Computer Science. <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
https://hal.inria.fr/hal-01157898/file/bridging-nd-compact.pdf 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. Springer, 8562, pp.122-136, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08587-6_9>
DOI
DOI : 10.1007/978-3-319-08587-6_9
Accès au bibtex
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, Jul 2014, Vienna, Austria
Accès au bibtex
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. Springer, pp.15, 2014, Lecture Notes in Computer Science. <10.1007/978-3-642-54830-7_18>
DOI
DOI : 10.1007/978-3-642-54830-7_18
Accès au bibtex
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
https://hal.inria.fr/hal-00985135/file/RR-8529.pdf 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
https://hal.inria.fr/hal-00947088/file/RR-8476.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920509/file/Hierarchical.pdf 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. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, 21, pp.303-318, 2013, LIPIcs. <10.4230/LIPIcs.RTA.2013.303>
DOI
DOI : 10.4230/LIPIcs.RTA.2013.303
Accès au bibtex
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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920496/file/TushkanovaRGK-ADDCT13.pdf BibTex
titre
Hierarchical Combination
auteur
Serdar Erbatur, Deepak Kapur, Andrew Marshall, Paliath Narendran, Christophe Ringeissen
article
Maria Paola Bonacina. CADE-24 – 24th International Conference on Automated Deduction – 2013, Jun 2013, Lake Placid, United States. Springer, 7898, pp.249-266, 2013, Lecture Notes in Computer Science; Automated Deduction – CADE-24. <10.1007/978-3-642-38574-2_17>
DOI
DOI : 10.1007/978-3-642-38574-2_17
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Frontiers of Combining Systems
auteur
Pascal Fontaine, Christophe Ringeissen, Renate Schmidt
article
Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7
Accès au bibtex
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
Franciso Durán. Rewriting Logic and Its Applications, Mar 2012, Tallinn, Estonia. Springer Berlin / Heidelberg, 7571, pp.221-239, 2012, Lecture Notes in Computer Science; Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. <10.1007/978-3-642-34005-5_12>
DOI
DOI : 10.1007/978-3-642-34005-5_12
Accès au bibtex
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
https://hal.inria.fr/hal-00753896/file/8139.pdf BibTex

2011

Journal articles

titre
Automatic Decidability and Combinability
auteur
Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article
Information and Computation, Elsevier, 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
BibTex

Conference papers

titre
Modular Termination and Combinability for Superposition Modulo Counter Arithmetic
auteur
Christophe Ringeissen, Valerio Senni
article
Cesare Tinelli and Viorica Sofronie-Stokkermans. Frontiers of Combining Systems, 8th International Symposium, FroCoS’2011, Oct 2011, Saarbruecken, Germany. Springer, 6989, pp.211-226, 2011, Lecture Notes in Artificial Intelligence; Frontiers of Combining Systems. <10.1007/978-3-642-24364-6_15>
DOI
DOI : 10.1007/978-3-642-24364-6_15
Accès au bibtex
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, Elsevier, 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
BibTex
titre
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2010, 105 (1-2), pp.163–187. <10.3233/FI-2010-362>
DOI
DOI : 10.3233/FI-2010-362
Accès au bibtex
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
https://hal.inria.fr/inria-00524590/file/RR-7413.pdf BibTex

2009

Conference papers

titre
Data Structures with Arithmetic Constraints: a Non-disjoint Combination
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium on Frontiers of Combining Systems – FroCoS’2009, Sep 2009, Trento, Italy. Springer, 5749, pp.335-350, 2009, Lecture Notes in Artificial Intelligence; Frontiers of Combining Systems. <10.1007/978-3-642-04222-5_20>
DOI
DOI : 10.1007/978-3-642-04222-5_20
Accès au bibtex
BibTex
titre
Combinable Extensions of Abelian Groups
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Renate Schmidt. 22nd International Conference on Automated Deduction – CADE-22, Aug 2009, Montreal, Canada. Springer, 5663, pp.51-66, 2009, Lecture Notes in Artificial Intelligence; Automated Deduction – CADE-22. <10.1007/978-3-642-02959-2_4>
DOI
DOI : 10.1007/978-3-642-02959-2_4
Accès au bibtex
BibTex
titre
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
auteur
Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch
article
Stefan Kowalewski and Anna Philippou. 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS 2009, Mar 2009, York, United Kingdom. Springer, 5505, pp.428-442, 2009, Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems
Accès au bibtex
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
https://tel.archives-ouvertes.fr/tel-00578600/file/uhp-hdr-cr.pdf 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
https://hal.inria.fr/inria-00397080/file/RR-6963.pdf 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
https://hal.inria.fr/inria-00383041/file/RR-6920.pdf 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, Elsevier, 2008, 200 (3), pp.155-170. <http://portal.acm.org/citation.cfm?id=1375281>. <10.1016/j.entcs.2008.04.098>
DOI
DOI : 10.1016/j.entcs.2008.04.098
Accès au bibtex
BibTex

Conference papers

titre
Dynamic Web Services Provisioning with Constraints
auteur
Eric Monfroy, Olivier Perrin, Christophe Ringeissen
article
Robert Meersman and Zahir Tari. International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. Springer, 5331, pp.26-43, 2008, Lecture Notes in Computer Science; OTM 2008, Part I
Accès au bibtex
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. 2008
Accès au bibtex
BibTex

Reports

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
https://hal.inria.fr/inria-00331479/file/RR-6688.pdf BibTex
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
https://hal.inria.fr/inria-00331735/file/RR-6697.pdf 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. Elsevier, 2007
Accès au bibtex
BibTex
titre
Combining Proof-Producing Decision Procedures
auteur
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article
Boris Konev and Frank Wolter. 6th International Symposium o Frontiers of Combining Systems – FroCoS 2007, Sep 2007, Liverpool, United Kingdom. Springer Berlin / Heidelberg, 4720, pp.237-251, 2007, Lecture Notes in Artificial Intelligence. <10.1007/978-3-540-74621-8_16>
DOI
DOI : 10.1007/978-3-540-74621-8_16
Accès au bibtex
BibTex

Reports

titre
A Methodology For Web Services Composition
auteur
Nawal Guermouche, Olivier Perrin, Christophe Ringeissen
article
[Intern report] 2007
Accès au bibtex
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
Miki Hermann, Andrei Voronkov. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning – LPAR 2006, Nov 2006, Phnom Penh/Cambodia, Springer, 4246, pp.542–556, 2006, Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning. <10.1007/11916277>
DOI
DOI : 10.1007/11916277
Accès au bibtex
BibTex
titre
Decision Procedures for the Formal Analysis of Software
auteur
David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
article
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, Springer, 4281, pp.366–370, 2006, Lecture Notes in Computer Science; Theoretical Aspects of Computing — ICTAC 2006. <10.1007/11921240_26>
DOI
DOI : 10.1007/11921240_26
Accès au bibtex
BibTex
titre
Producing Conflict Sets for Combination of Theories
auteur
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article
Byron Cook, Roberto Sebastiani. Workshop on Pragmatics of Decision Procedures in Automated Reasoning – PDPAR 2006, Aug 2006, Seattle, WA/USA, 2006, Proceedings of PDPAR’06
Accès au bibtex
BibTex
titre
Building and Combining Satisfiability Procedures for Software Verification
auteur
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
article
Samuel Cruz-Lara, Yih-Kuen Tsay. Third Taiwanese-French Conference on Information Technology (TFIT), Mar 2006, Nancy, France, pp.125–139, 2006
Accès au bibtex
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
Dang Van Hung and Martin Wirsing. 2nd International Colloquium on Theoretical Aspects of Computing – ICTAC’05, Oct 2005, Hanoi/Vietnam, Springer Verlag, 3722 (3722), pp.594–608, 2005, Lecture Notes in Computer Science. <10.1007/11560647>
DOI
DOI : 10.1007/11560647
Accès au bibtex
BibTex
titre
Combining data structures with nonstably infinite theories using many-sorted logic
auteur
Silvio Ranise, Christophe Ringeissen, Calogero Zarba
article
Bernard Gramlich. 5th International Workshop on Frontiers of Combining Systems – FroCoS’05, Sep 2005, Vienna/Austria, Springer, 3717, pp.48–64, 2005, Lecture Notes in Artificial Intelligence. <10.1007/11559306>
DOI
DOI : 10.1007/11559306
Accès au bibtex
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. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00105894/file/paper.pdf BibTex

Reports

titre
Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic
auteur
Silvio Ranise, Christophe Ringeissen, Calogero Zarba
article
[Research Report] RR-5678, INRIA. 2005, pp.39
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070335/file/RR-5678.pdf 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
The Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.63-87
Accès au bibtex
BibTex

Conference papers

titre
A Rule Language for Interaction
auteur
Carlos Castro, Eric Monfroy, Christophe Ringeissen
article
K. R. Apt and F. Fages and F. Rossi and P. Szeredi and J. Vancza. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming – CSCLP’03, May 2004, Budapest, Hongrie, Springer-Verlag, 3010, pp.154-170, 2004, Lecture Notes in Artificial Intelligence
Accès au bibtex
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, 2004, Guiyang, Chine, Springer-Verlag, 15 p, 2004, Lecture Notes in Computer Science
Accès au bibtex
BibTex

2003

Journal articles

titre
Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
auteur
Cesare Tinelli, Christophe Ringeissen
article
Theoretical Computer Science, Elsevier, 2003, 290 (1), pp.291-353
Accès au bibtex
BibTex
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, Elsevier, 2003, 86 (2)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00000752/file/MMRS03.pdf BibTex

Conference papers

titre
A Tool Support for Reusing ELAN Rule-Based Components
auteur
Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana de Oliveira
article
Jean-Louis Giavitto, Pierre-Etienne Moreau. 4th International Workshop on Rule-Based Programming – RULE’2003, Sep 2003, Valence, Espagne, Elsevier, 86/2 (2), 15 p, 2003, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Matching in a Class of Combined Non-Disjoint Theories
auteur
Christophe Ringeissen
article
Franz Baader. 19th International Conference on Automated Deduction – CADE’2003, Aug 2003, Miami, Floride, USA, Springer-Verlag, 2741, pp.212-227, 2003, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex
titre
A Pattern Matching Compiler for Multiple Target Languages
auteur
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article
Görel Hedin. 12th International Conference on Compiler Construction 2003 – CC’2003, 2003, Varsovie, Pologne, 2622, pp.61-76, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex

Reports

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
BibTex
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
https://hal.inria.fr/inria-00071641/file/RR-4938.pdf BibTex

2002

Conference papers

titre
Algebraic Methodology And Software Technology
auteur
Hélène Kirchner, Christophe Ringeissen
article
Hélène Kirchner and Christophe Ringeissen. 9th International Conference on Algebraic Methodology And Software Technology – AMAST’2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, Springer-Verlag, 2422, XI-501 p, 2002, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
auteur
David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen
article
Sophie Tison. International Conference on Rewriting Techniques and Applications – RTA’2002, Jul 2002, Copenhagen, Denmark, Springer-Verlag, 2378, pp.207-221, 2002, Lecture Notes in Computer Science
Accès au bibtex
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, 65/3 (3), 7 p, 2002, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex

Reports

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
https://hal.inria.fr/inria-00099427/file/A02-R-184.pdf BibTex
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
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, World Scientific Publishing, 2001, 12 (1), pp.69–95
Accès au bibtex
BibTex

Conference papers

titre
A Pattern-Matching Compiler
auteur
Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
article
Mark van den Brand and Didier Parigot. First Workshop on Language Descriptions, Tools and Applications – LDTA’01, Apr 2001, Genova, Italy, Elsevier, 44-2, 14 p, 2001, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Matching with Free Function Symbols — A Simple Extension of Matching?
auteur
Christophe Ringeissen
article
Aart Middeldorp. International Conference on Rewriting Techniques and Applications – RTA’2001, 2001, Utrecht, The Netherlands, Springer-Verlag, 2051, pp.276–290, 2001, Lecture Notes in Computer Science
Accès au bibtex
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, 2000
Accès au bibtex
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, 2000
Accès au bibtex
BibTex
titre
Frontiers of Combining Systems
auteur
Hélène Kirchner, Christophe Ringeissen
article
Third International Workshop – FroCoS’2000, 2000, Nancy, France, Springer-Verlag, 1794, 290 p, 2000, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex

1999

Journal articles

titre
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
auteur
Eric Monfroy, Christophe Ringeissen
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1999, 39 (1-2), pp.167–187
Accès au bibtex
BibTex
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, World Scientific Publishing, 1999, 27 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00098778/file/99-R-229.pdf 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, 1999
Accès au bibtex
BibTex
titre
Generating Propagation Rules for Finite Domains: a Mixed Approach
auteur
Christophe Ringeissen, Eric Monfroy
article
K. Apt, A. Kakas, E. Monfroy, F. Rossi. Joint ERCIM/Compulog Net Workshop, 1999, Paphos, Cyprus, Springer, 1865, pp.150-172, 1999, Lecture Notes in Artificial Intelligence
Accès au bibtex
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
BibTex

1998

Journal articles

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

Conference papers

titre
An Overview of ELAN
auteur
Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
article
Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic and its Applications – WRLA’98, 1998, Pont-à-Mousson, France, Elsevier Science B. V., 15, 16 p, 1998, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Handling ELAN Rewrite Programs via an Exchange Format
auteur
Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen
article
Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic & its Applications – WRLA’98, 1998, Pont-à-Moussson, France, Elsevier Science B. V., 15, 18 p, 1998, Electronic Notes in Theoretical Computer Science
Accès au bibtex
BibTex
titre
Solex: a Domain-Independent Scheme for Constraint Solver Extension
auteur
Eric Monfroy, Christophe Ringeissen
article
Jacques Calmet & Jan Plaza. International Conference on Artificial Intelligence & Symbolic Computation – AISC’98, 1998, Plattsburgh, New York, USA, Springer-Verlag, 1476, pp.222–233, 1998, Lecture Notes in Artificial Intelligence
Accès au bibtex
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
https://hal.inria.fr/inria-00073288/file/RR-3402.pdf 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
https://hal.inria.fr/inria-00073939/file/RR-2753.pdf BibTex