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 25 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
    Show item 1 to 25 of 59  

    Your query returned 59 matches in the database.