Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Christophe
    Last name: Ringeissen
    DBLP: r/CRingeissen
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 59 of 59  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Raphaël Berthon, Christophe Ringeissen.
    Satisfiability Modulo Free Data Structures Combined with Bridging Functions.
    Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. 2016 (0) 2016
    Journal article
    Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko.
    A rule-based system for automatic decidability and combinability.
    Sci. Comput. Program. 2015, Volume 99 (0) 2015
    Conference paper
    Paula Chocron, Pascal Fontaine, Christophe Ringeissen.
    A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited.
    Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Paula Chocron, Pascal Fontaine, Christophe Ringeissen.
    A Rewriting Approach to the Combination of Data Structures with Bridging Theories.
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Unification and Matching in Hierarchical Combinations of Syntactic Theories.
    Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Christophe Ringeissen.
    On Asymmetric Unification and the Combination Problem in Disjoint Theories.
    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 2014, Grenoble, France, April 5-13, 2014, Proceedings 2014 (0) 2014
    Conference paper
    Paula Chocron, Pascal Fontaine, Christophe Ringeissen.
    A Gentle Non-disjoint Combination of Satisfiability Procedures.
    Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination.
    Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko.
    Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.
    24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands 2013 (0) 2013
    Conference paper
    Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen.
    Hierarchical Combination of Unication Algorithms (Extended Abstract).
    27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013 2013 (0) 2013
    Conference paper
    Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko.
    A Rule-Based Framework for Building Superposition-Based Decision Procedures.
    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 2012 (0) 2012
    Conference paper
    Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran.
    Automatic decidability and combinability.
    Inf. Comput. 2011, Volume 209 (0) 2011
    Conference paper
    Christophe Ringeissen, Valerio Senni.
    Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.
    Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings 2011 (0) 2011
    Journal article
    Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch.
    Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator.
    Fundam. Inform. 2010, Volume 105 (0) 2010
    Journal article
    Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner.
    Combination of convex theories: Modularity, deduction completeness, and explanation.
    J. Symb. Comput. 2010, Volume 45 (0) 2010
    Conference paper
    Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch.
    Combinable Extensions of Abelian Groups.
    Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch.
    Data Structures with Arithmetic Constraints: A Non-disjoint Combination.
    Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings 2009 (0) 2009
    Conference paper
    Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch.
    Satisfiability Procedures for Combination of Theories Sharing Integer Offsets.
    Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings 2009 (0) 2009
    Journal article
    Eric Monfroy, Oliver Perri, Christophe Ringeissen.
    Modelando la composición de servicios web con restricciones.
    RASI 2008, Volume 5 (0) 2008
    Conference paper
    Eric Monfroy, Olivier Perrin, Christophe Ringeissen.
    Dynamic Web Services Provisioning with Constraints.
    On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I 2008 (0) 2008
    Conference paper
    Nawal Guermouche, Olivier Perrin, Christophe Ringeissen.
    A Mediator Based Approach For Services Composition.
    Proceedings of the 6th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2008, 20-22 August 2008, Prague, Czech Republic 2008 (0) 2008
    Conference paper
    Nawal Guermouche, Olivier Perrin, Christophe Ringeissen.
    Timed Specification For Web Services Compatibility Analysis.
    Electr. Notes Theor. Comput. Sci. 2008, Volume 200 (0) 2008
    Conference paper
    Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran.
    Combining Proof-Producing Decision Procedures.
    Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings 2007 (0) 2007
    Conference paper
    David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen.
    Decision Procedures for the Formal Analysis of Software.
    Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran.
    Automatic Combinability of Rewriting-Based Satisfiability Procedures.
    Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Alessandro Armando, Christophe Ringeissen.
    Special issue on combining logical systems.
    Inf. Comput. 2006, Volume 204 (0) 2006
    Conference paper
    Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba.
    Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic.
    Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran.
    On Superposition-Based Satisfiability Procedures and Their Combination.
    Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings 2005 (0) 2005
    Conference paper
    Slim Abdennadher, Christophe Ringeissen.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2005, Volume 124 (0) 2005
    Conference paper
    Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran.
    Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn.
    Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers 2005 (0) 2004
    Conference paper
    Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima.
    Manipulating algebraic specifications with term-based and graph-based representations.
    J. Log. Algebr. Program. 2004, Volume 59 (0) 2004
    Conference paper
    Christophe Ringeissen.
    Matching in a Class of Combined Non-disjoint Theories.
    Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek.
    A Pattern Matching Compiler for Multiple Target Languages.
    Compiler Construction, 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings 2003 (0) 2003
    Conference paper
    Carlos Castro, Eric Monfroy, Christophe Ringeissen.
    A Rule Language for Interaction.
    Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers 2004 (0) 2003
    Conference paper
    Anamaria Martins Moreira, Christophe Ringeissen, Anderson Santana de Oliveira.
    A Tool Support for Reusing ELAN Rule-Based Components.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 86 (0) 2003
    Conference paper
    Cesare Tinelli, Christophe Ringeissen.
    Unions of non-disjoint theories and combinations of satisfiability procedures.
    Theor. Comput. Sci. 2003, Volume 290 (0) 2003
    Conference paper
    David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen.
    Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.
    Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings 2002 (0) 2002
    Conference paper
    Mark van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen.
    The ELAN Environment: a Rewriting Logic Environment based on ASF+SDF Technology - System Demonstration.
    Electr. Notes Theor. Comput. Sci. 2002, Volume 65 (0) 2002
    Conference paper
    Christophe Ringeissen.
    Matching with Free Function Symbols - A Simple Extension of Matching?
    Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings 2001 (0) 2001
    Conference paper
    Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek.
    Pattern-Matching Compiler.
    Electr. Notes Theor. Comput. Sci. 2001, Volume 44 (0) 2001
    Conference paper
    Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen.
    Rewriting with Strategies in ELAN: A Functional Semantics.
    Int. J. Found. Comput. Sci. 2001, Volume 12 (0) 2001
    Conference paper
    Mark van den Brand, Christophe Ringeissen.
    ASF+SDF parsing tools applied to ELAN.
    Electr. Notes Theor. Comput. Sci. 2000, Volume 36 (0) 2000
    Conference paper
    Christophe Ringeissen.
    Handling Relations over Finite Domains in the Rule-Based System ELAN.
    Electr. Notes Theor. Comput. Sci. 2000, Volume 36 (0) 2000
    Conference paper
    Christophe Ringeissen, Eric Monfroy.
    Generating Propagation Rules for Finite Domains: A Mixed Approach.
    New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers 2000 (0) 1999
    Conference paper
    Eric Monfroy, Christophe Ringeissen.
    An Open Automated Framework for Constraint Solver Extension: the SoleX Approach.
    Fundam. Inform. 1999, Volume 39 (0) 1999
    Conference paper
    Eric Monfroy, Christophe Ringeissen.
    SoleX: A Domain-Independent Scheme for Constraint Solver Extension.
    Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings 1998 (0) 1998
    Conference paper
    Peter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen.
    Handling ELAN rewrite programs via an exchange format.
    Electr. Notes Theor. Comput. Sci. 1998, Volume 15 (0) 1998
    Conference paper
    Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen.
    An overview of ELAN.
    Electr. Notes Theor. Comput. Sci. 1998, Volume 15 (0) 1998
    Conference paper
    Claude Kirchner, Christophe Ringeissen.
    Rule-Based Constraint Programming.
    Fundam. Inform. 1998, Volume 34 (0) 1998
    Conference paper
    Claude Kirchner, Christophe Ringeissen.
    Higher-Order Equational Unification via Explicit Substitutions.
    Algebraic and Logic Programming, 6th International Joint Conference, ALP '97 - HOA '97, Southampton, U.K., Spetember 3-5, 1997, Proceedings 1997 (0) 1997
    Conference paper
    Christophe Ringeissen.
    Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language.
    Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings 1997 (0) 1997
    Conference paper
    Christophe Ringeissen.
    Cooperation of Decision Procedures for the Satisfiability Problem.
    Frontiers of Combining Systems (FroCos) 1996 (0) 1996
    Conference paper
    Christophe Ringeissen.
    Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories.
    Inf. Comput. 1996, Volume 126 (0) 1996
    Conference paper
    Eric Domenjoud, Francis Klay, Christophe Ringeissen.
    Combination Techniques for Non-Disjoint Equational Theories.
    Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Hélène Kirchner, Christophe Ringeissen.
    Constraint Solving by Narrowing in Combined Algebraic Domains.
    ICLP 1994 (0) 1994
    Conference paper
    Christophe Ringeissen.
    Combination of Matching Algorithms.
    STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings 1994 (0) 1994
    Conference paper
    Hélène Kirchner, Christophe Ringeissen.
    Combining Symbolic Constraint Solvers on Algebraic Domains.
    J. Symb. Comput. 1994, Volume 18 (0) 1994
    Conference paper
    Hélène Kirchner, Christophe Ringeissen.
    A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms.
    JICSLP 1992 (0) 1992
    Conference paper
    Christophe Ringeissen.
    Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.
    Logic Programming and Automated Reasoning,International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings 1992 (0) 1992
    Show item 1 to 59 of 59  

    Your query returned 59 matches in the database.