Skip to Main content Skip to Navigation

hal-01102883v1  Journal articles
Elena TushkanovaAlain GiorgettiChristophe RingeissenOlga Kouchnarenko. A rule-based system for automatic decidability and combinability
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⟩
hal-00749576v1  Conference papers
Elena TushkanovaAlain GiorgettiChristophe RingeissenOlga Kouchnarenko. A Rule-Based Framework for Building Superposition-Based Decision Procedures
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⟩
hal-00920496v1  Conference papers
Elena TushkanovaChristophe RingeissenAlain GiorgettiOlga Kouchnarenko. Automatic Decidability for Theories with Counting Operators
Automated Deduction: Decidability, Complexity, Tractability (workshop ADDCT), Jun 2013, Lake Placid, United States
hal-00878657v1  Conference papers
Elena TushkanovaChristophe RingeissenAlain GiorgettiOlga Kouchnarenko. Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.303-318, ⟨10.4230/LIPIcs.RTA.2013.303⟩
inria-00099611v1  Conference papers
Anamaria Martins MoreiraChristophe RingeissenAnderson Santana de Oliveira. A Tool Support for Reusing ELAN Rule-Based Components
4th International Workshop on Rule-Based Programming - RULE'2003, Jean-Louis Giavitto, Pierre-Etienne Moreau, Sep 2003, Valence, Espagne, 15 p
inria-00100863v1  Conference papers
David DéharbeAnamaria Martins MoreiraChristophe Ringeissen. Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
International Conference on Rewriting Techniques and Applications - RTA'2002, Thomas Arts, Jul 2002, Copenhagen, Denmark, pp.207-221
inria-00100866v1  Conference papers
Hélène KirchnerChristophe Ringeissen. Algebraic Methodology And Software Technology
9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
inria-00099610v1  Conference papers
Christophe Ringeissen. Matching in a Class of Combined Non-Disjoint Theories
19th International Conference on Automated Deduction - CADE'2003, Geoff Sutcliffe, Aug 2003, Miami, Floride, USA, pp.212-227
inria-00098506v1  Conference papers
Eric MonfroyChristophe Ringeissen. Solex: a Domain-Independent Scheme for Constraint Solver Extension
International Conference on Artificial Intelligence & Symbolic Computation - AISC'98, 1998, Plattsburgh, New York, USA, pp.222--233
inria-00101028v1  Conference papers
Mark G. J. van den BrandPierre-Etienne MoreauChristophe Ringeissen. The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p
inria-00099984v1  Conference papers
Carlos CastroEric MonfroyChristophe Ringeissen. A Rule Language for Interaction
Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming - CSCLP'03, May 2004, Budapest, Hongrie, pp.154-170
inria-00099093v1  Conference papers
Hélène KirchnerChristophe Ringeissen. Frontiers of Combining Systems
Third International Workshop - FroCoS'2000, Hélène Kirchner, Christophe Ringeissen, 2000, Nancy, France, 290 p
inria-00099668v1  Journal articles
Cesare TinelliChristophe Ringeissen. Unions of Non-Disjoint Theories and Combinations of Satisfiability Procedures
Theoretical Computer Science, Elsevier, 2003, 290 (1), pp.291-353
inria-00099644v1  Conference papers
Pierre-Etienne MoreauChristophe RingeissenMarian Vittek. A Pattern Matching Compiler for Multiple Target Languages
12th International Conference on Compiler Construction 2003 - CC'2003, 2003, Varsovie, Pologne, pp.61-76
inria-00427870v1  Conference papers
Enrica NicoliniChristophe RingeissenMichaël Rusinowitch. Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2009, Mar 2009, York, United Kingdom. pp.428-442
inria-00428077v1  Conference papers
Enrica NicoliniChristophe RingeissenMichaël Rusinowitch. Combinable Extensions of Abelian Groups
22nd International Conference on Automated Deduction - CADE-22, Aug 2009, Montreal, Canada. pp.51-66, ⟨10.1007/978-3-642-02959-2_4⟩
inria-00329815v1  Conference papers
Eric MonfroyOlivier PerrinChristophe Ringeissen. Dynamic Web Services Provisioning with Constraints
International Conference on Cooperative Information Systems, OTM Conferences, Nov 2008, Monterrey, Mexico. pp.26-43
tel-00578600v1  Habilitation à diriger des recherches
Christophe Ringeissen. Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009
inria-00098778v1  Journal articles
Peter BorovanskyClaude KirchnerHélène KirchnerChristophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics
International Journal of Foundations of Computer Science, World Scientific Publishing, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
inria-00190978v1  Conference papers
Nawal GuermoucheOlivier PerrinChristophe Ringeissen. Timed Specification For Web Services Compatibility Analysis
International Workshop on Automated Specification and Verification of Web Systems - WWV 2007, Dec 2007, San Servolo island, Venice, Italy
inria-00117261v1  Conference papers
Hélène KirchnerSilvio RaniseChristophe RingeissenDuc-Khanh Tran. Automatic Combinability of Rewriting-Based Satisfiability Procedures
13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542--556, ⟨10.1007/11916277⟩
hal-00920509v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Hierarchical Combination of Unification Algorithms
The 27th International Workshop on Unification (UNIF 2013), Jun 2013, Eindhoven, Netherlands
inria-00000570v1  Conference papers
Silvio RaniseChristophe RingeissenCalogero Zarba. Combining data structures with nonstably infinite theories using many-sorted logic
5th International Workshop on Frontiers of Combining Systems - FroCoS'05, Sep 2005, Vienna/Austria, pp.48--64, ⟨10.1007/11559306⟩
hal-01206669v1  Conference papers
Serdar ErbaturDeepak KapurAndrew MarshallPaliath NarendranChristophe Ringeissen. Unification and Matching in Hierarchical Combinations of Syntactic Theories
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.291--306, ⟨10.1007/978-3-319-24246-0_18⟩