researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

christopheringeissen

Statistics

Publications: 28
Edited: 2

Aliases

Ringeissen, Christophe
C. Ringeissen
Ringeissen, C.
Christophe Ringeissen
Ringeissen

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Christophe Ringeissen's Profile

Publications

Unidentified Publications

Publications with a 'Christophe Ringeissen' as author, editor, or advisor:

A Tool Support for Reusing ELAN Rule-Based ComponentsAnamaria Martins Moreira, Christophe Ringeissen, Anderson Santana. ENTCS, 86(2):77-91, 2003. [doi]
Unions of non-disjoint theories and combinations of satisfiability proceduresCesare Tinelli, Christophe Ringeissen. TCS, 290(1):291-353, 2003.
A rule-based system for automatic decidability and combinabilityElena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. SCP, 99:3-23, 2015. [doi]
Combining Decision Algorithms for Matching in the Union of Disjoint Equational TheoriesChristophe Ringeissen. iandc, 126(2):144-160, 1996.
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. ProceedingsPascal Fontaine, Christophe Ringeissen, Renate A. Schmidt, editors, Volume 8152 of Lecture Notes in Computer Science, Springer, 2013. [doi]
Terminating Non-Disjoint Combined Unification (Extended Abstract)Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. UNIF 2020: [doi]
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014Temur Kutsia, Christophe Ringeissen, editors, 2014. [doi]
A Polite Non-Disjoint Combination Method: Theories with Bridging Functions RevisitedPaula Chocron, Pascal Fontaine, Christophe Ringeissen. cade 2015: 419-433 [doi]
Timed Specification For Web Services Compatibility AnalysisNawal Guermouche, Olivier Perrin, Christophe Ringeissen. ENTCS, 200(3):155-170, 2008. [doi]
Hierarchical CombinationSerdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. cade 2013: 249-266 [doi]
Handling ELAN rewrite programs via an exchange formatPeter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen. ENTCS, 15:173, 1998. [doi]
Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal AlgebrasChristophe Ringeissen. lpar 1992: 261-272
Data Structures with Arithmetic Constraints: A Non-disjoint CombinationEnrica Nicolini, Christophe Ringeissen, MichaÃ«l Rusinowitch. frocos 2009: 319-334 [doi]
Combined Hierarchical Matching: the Regular CaseSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. fscd 2022: [doi]
Decision Procedures for the Formal Analysis of SoftwareDavid Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. ictac 2006: 366-370 [doi]
Combinaison de résolutions de contraintes. (Combination of constraint solvers)Christophe Ringeissen. PhD thesis, Henri Poincaré University, Nancy, France, 1993. [doi]
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting OperatorEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch. FUIN, 105(1-2):163-187, 2010. [doi]
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent TheoriesSaraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. fscd 2023: [doi]
Proceedings of the 5th International Workshop on Rule-Based Programming, RULE 2004, Aachen, Germany, June 1, 2004Slim Abdennadher, Christophe Ringeissen, editors, Volume 124 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Politeness for the Theory of Algebraic Datatypes (Extended Abstract)Ying Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. IJCAI 2021: 4829-4833 [doi]
Non-disjoint Combined Unification and Closure by Equational ParamodulationSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. frocos 2021: 25-42 [doi]
Modelando la composición de servicios web con restriccionesEric Monfroy, Oliver Perri, Christophe Ringeissen. rasi, 5(1):173-179, 2008. [doi]
Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve. (Equational reasoning and combination methods: from programs to proofs)Christophe Ringeissen. 2009. [doi]
Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a NewbornSilvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. ictac 2005: 372-386 [doi]
A Rule-Based Framework for Building Superposition-Based Decision ProceduresElena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko. WRLA 2012: 221-239 [doi]
Rule-Based Unification in Combined Theories and the Finite Variant PropertyAjay Kumar Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. LATA 2019: 356-367 [doi]
Politeness for the Theory of Algebraic DatatypesYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. cade 2020: 238-255 [doi]
Combination of convex theories: Modularity, deduction completeness, and explanationDuc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, hÃ©lÃ¨ne-kirchner. JSC, 45(2):261-286, 2010. [doi]
Terminating Non-disjoint Combined UnificationSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. LOPSTR 2021: 113-130 [doi]
Polite Combination of Algebraic DatatypesYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett. JAR, 66(3):331-355, 2022. [doi]
Modular Termination and Combinability for Superposition Modulo Counter ArithmeticChristophe Ringeissen, Valerio Senni. frocos 2011: 211-226 [doi]
PrefaceSlim Abdennadher, Christophe Ringeissen. ENTCS, 124(1):1-2, 2005. [doi]
A Mediator Based Approach For Services CompositionNawal Guermouche, Olivier Perrin, Christophe Ringeissen. sera 2008: 273-280 [doi]
Automatic Decidability: A Schematic Calculus for Theories with Counting OperatorsElena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko. RTA 2013: 303-318 [doi]
Automatic decidability and combinabilityChristopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. iandc, 209(7):1026-1047, 2011. [doi]
Pattern-Matching CompilerPierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. ENTCS, 44(2):161-180, 2001. [doi]
Unification and Matching in Hierarchical Combinations of Syntactic TheoriesSerdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. frocos 2015: 291-306 [doi]
A Gentle Non-disjoint Combination of Satisfiability ProceduresPaula Chocron, Pascal Fontaine, Christophe Ringeissen. cade 2014: 122-136 [doi]
Building and Combining Matching AlgorithmsChristophe Ringeissen. BIRTHDAY 2019: 523-541 [doi]
Satisfiability Modulo Free Data Structures Combined with Bridging FunctionsRaphael Berthon, Christophe Ringeissen. cade 2016: 71-80 [doi]
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Christophe Ringeissen. UNIF 2014: 33-35 [doi]
On Asymmetric Unification and the Combination Problem in Disjoint TheoriesSerdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen. fossacs 2014: 274-288 [doi]
Combining Stable Infiniteness and (Strong) PolitenessYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. JAR, 67(4):34, December 2023. [doi]
A Rewriting Approach to the Combination of Data Structures with Bridging TheoriesPaula Chocron, Pascal Fontaine, Christophe Ringeissen. frocos 2015: 275-290 [doi]
Combinable Extensions of Abelian GroupsEnrica Nicolini, Christophe Ringeissen, MichaÃ«l Rusinowitch. cade 2009: 51-66 [doi]
Politeness and Stable Infiniteness: Stronger TogetherYing Sheng 0007, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli. cade 2021: 148-165 [doi]
Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming LanguageChristophe Ringeissen. RTA 1997: 323-326
Theory Combination: Beyond Equality SharingMaria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli. BIRTHDAY 2019: 57-89 [doi]
Modular Termination and Combinability for Superposition Modulo Counter ArithmeticChristophe Ringeissen, Valerio Senni. tableaux 2011: 64-65
Notions of Knowledge in Combinations of Theories Sharing ConstructorsSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. cade 2017: 60-76 [doi]
Hierarchical Combination of Matching Algorithms (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. UNIF 2014: 36-40 [doi]
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted LogicSilvio Ranise, Christophe Ringeissen, Calogero G. Zarba. frocos 2005: 48-64 [doi]
Hierarchical Combination of Unication Algorithms (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. RTA 2013: 30-34 [doi]
Politeness and Combination Methods for Theories with Bridging FunctionsPaula Chocron, Pascal Fontaine, Christophe Ringeissen. JAR, 64(1):97-134, 2020. [doi]
Computing knowledge in equational extensions of subterm convergent theoriesSerdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. mscs, 30(6):683-709, 2020. [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL