dblp.uni-trier.dewww.uni-trier.de

Christophe Ringeissen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
45EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Combinable Extensions of Abelian Groups. CADE 2009: 51-66
44EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Data Structures with Arithmetic Constraints: A Non-disjoint Combination. FroCos 2009: 319-334
43EEEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS 2009: 428-442
2008
42EEEric Monfroy, Olivier Perrin, Christophe Ringeissen: Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) 2008: 26-43
41EENawal Guermouche, Olivier Perrin, Christophe Ringeissen: A Mediator Based Approach For Services Composition. SERA 2008: 273-280
40EENawal Guermouche, Olivier Perrin, Christophe Ringeissen: Timed Specification For Web Services Compatibility Analysis. Electr. Notes Theor. Comput. Sci. 200(3): 155-170 (2008)
2007
39EESilvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Combining Proof-Producing Decision Procedures. FroCos 2007: 237-251
2006
38EEDavid Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
37EEHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
36EEAlessandro Armando, Christophe Ringeissen: Special issue on combining logical systems. Inf. Comput. 204(10): 1411-1412 (2006)
2005
35EESilvio Ranise, Christophe Ringeissen, Calogero G. Zarba: Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCos 2005: 48-64
34EEHélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
33EESlim Abdennadher, Christophe Ringeissen: Preface. Electr. Notes Theor. Comput. Sci. 124(1): 1-2 (2005)
2004
32EESilvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC 2004: 372-386
31EEAnamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima: Manipulating algebraic specifications with term-based and graph-based representations. J. Log. Algebr. Program. 59(1-2): 63-87 (2004)
2003
30EEChristophe Ringeissen: Matching in a Class of Combined Non-disjoint Theories. CADE 2003: 212-227
29EEPierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76
28EECarlos Castro, Eric Monfroy, Christophe Ringeissen: A Rule Language for Interaction. CSCLP 2003: 154-170
27EEAnamaria Martins Moreira, Christophe Ringeissen, Anderson Santana: A Tool Support for Reusing ELAN Rule-Based Components. Electr. Notes Theor. Comput. Sci. 86(2): (2003)
26 Cesare Tinelli, Christophe Ringeissen: Unions of non-disjoint theories and combinations of satisfiability procedures. Theor. Comput. Sci. 290(1): 291-353 (2003)
2002
25 Hélène Kirchner, Christophe Ringeissen: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings Springer 2002
24EEDavid Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
23EEMark 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. 65(3): (2002)
2001
22EEChristophe Ringeissen: Matching with Free Function Symbols - A Simple Extension of Matching? RTA 2001: 276-290
21EEPierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: Pattern-Matching Compiler. Electr. Notes Theor. Comput. Sci. 44(2): (2001)
20 Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen: Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12(1): 69-95 (2001)
2000
19 Hélène Kirchner, Christophe Ringeissen: Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings Springer 2000
18EEMark van den Brand, Christophe Ringeissen: ASF+SDF parsing tools applied to ELAN. Electr. Notes Theor. Comput. Sci. 36: (2000)
17EEChristophe Ringeissen: Handling Relations over Finite Domains in the Rule-Based System ELAN. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
16EEChristophe Ringeissen, Eric Monfroy: Generating Propagation Rules for Finite Domains: A Mixed Approach. New Trends in Constraints 1999: 150-172
15 Eric Monfroy, Christophe Ringeissen: An Open Automated Framework for Constraint Solver Extension: the SoleX Approach. Fundam. Inform. 39(1-2): 167-187 (1999)
1998
14EEEric Monfroy, Christophe Ringeissen: SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC 1998: 222-233
13EEPeter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen: An overview of ELAN. Electr. Notes Theor. Comput. Sci. 15: (1998)
12EEPeter Borovanský, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen: Handling ELAN rewrite programs via an exchange format. Electr. Notes Theor. Comput. Sci. 15: (1998)
11 Claude Kirchner, Christophe Ringeissen: Rule-Based Constraint Programming. Fundam. Inform. 34(3): 225-262 (1998)
1997
10EEClaude Kirchner, Christophe Ringeissen: Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA 1997: 61-75
9EEChristophe Ringeissen: Prototyping Combination of Unification Algorithms with the ELAN Rule-Based Programming Language. RTA 1997: 323-326
1996
8 Christophe Ringeissen: Cooperation of Decision Procedures for the Satisfiability Problem. Frontiers of Combining Systems (FroCos) 1996: 121-139
7 Christophe Ringeissen: Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. Inf. Comput. 126(2): 144-160 (1996)
1994
6EEEric Domenjoud, Francis Klay, Christophe Ringeissen: Combination Techniques for Non-Disjoint Equational Theories. CADE 1994: 267-281
5 Hélène Kirchner, Christophe Ringeissen: Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP 1994: 617-631
4EEChristophe Ringeissen: Combination of Matching Algorithms. STACS 1994: 187-198
3 Hélène Kirchner, Christophe Ringeissen: Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. 18(2): 113-155 (1994)
1992
2 Hélène Kirchner, Christophe Ringeissen: A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP 1992: 225-239
1EEChristophe Ringeissen: Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. LPAR 1992: 261-272

Coauthor Index

1Slim Abdennadher [33]
2Alessandro Armando [36]
3Peter Borovanský [12] [13] [20]
4Mark van den Brand (M. G. J. van den Brand) [18] [23]
5Carlos Castro [28]
6David Déharbe [24] [31] [38]
7Eric Domenjoud [6]
8Pascal Fontaine [38]
9Nawal Guermouche [40] [41]
10Salma Jamoussi [12]
11Claude Kirchner [10] [11] [13] [20]
12Hélène Kirchner [2] [3] [5] [13] [19] [20] [25] [34] [37]
13Francis Klay [6]
14Gleydson Lima [31]
15Eric Monfroy [14] [15] [16] [28] [42]
16Pierre-Etienne Moreau [12] [13] [21] [23] [29]
17Anamaria Martins Moreira [24] [27] [31]
18Enrica Nicolini [43] [44] [45]
19Anderson Santana de Oliveira (Anderson Santana) [27]
20Olivier Perrin [40] [41] [42]
21Silvio Ranise [32] [34] [35] [37] [38] [39]
22Michaël Rusinowitch [43] [44] [45]
23Cesare Tinelli [26]
24Duc-Khanh Tran [32] [34] [37] [39]
25Marian Vittek [21] [29]
26Calogero G. Zarba [35]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)