Christophe Ringeissen

2009
43	EE	Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch: Satisfiability Procedures for Combination of Theories Sharing Integer Offsets. TACAS 2009: 428-442
2008
42	EE	Eric Monfroy, Olivier Perrin, Christophe Ringeissen: Dynamic Web Services Provisioning with Constraints. OTM Conferences (1) 2008: 26-43
41	EE	Nawal Guermouche, Olivier Perrin, Christophe Ringeissen: A Mediator Based Approach For Services Composition. SERA 2008: 273-280
40	EE	Nawal Guermouche, Olivier Perrin, Christophe Ringeissen: Timed Specification For Web Services Compatibility Analysis. Electr. Notes Theor. Comput. Sci. 200(3): 155-170 (2008)
2007
39	EE	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Combining Proof-Producing Decision Procedures. FroCos 2007: 237-251
2006
38	EE	David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
37	EE	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR 2006: 542-556
36	EE	Alessandro Armando, Christophe Ringeissen: Special issue on combining logical systems. Inf. Comput. 204(10): 1411-1412 (2006)
2005
35	EE	Silvio Ranise, Christophe Ringeissen, Calogero G. Zarba: Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic. FroCos 2005: 48-64
34	EE	Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC 2005: 594-608
33	EE	Slim Abdennadher, Christophe Ringeissen: Preface. Electr. Notes Theor. Comput. Sci. 124(1): 1-2 (2005)
2004
32	EE	Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran: Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. ICTAC 2004: 372-386
31	EE	Anamaria 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
30	EE	Christophe Ringeissen: Matching in a Class of Combined Non-disjoint Theories. CADE 2003: 212-227
29	EE	Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek: A Pattern Matching Compiler for Multiple Target Languages. CC 2003: 61-76
28	EE	Carlos Castro, Eric Monfroy, Christophe Ringeissen: A Rule Language for Interaction. CSCLP 2003: 154-170
27	EE	Anamaria 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
24	EE	David Déharbe, Anamaria Martins Moreira, Christophe Ringeissen: Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae. RTA 2002: 207-221
23	EE	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. 65(3): (2002)
2001
22	EE	Christophe Ringeissen: Matching with Free Function Symbols - A Simple Extension of Matching? RTA 2001: 276-290
21	EE	Pierre-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
18	EE	Mark van den Brand, Christophe Ringeissen: ASF+SDF parsing tools applied to ELAN. Electr. Notes Theor. Comput. Sci. 36: (2000)
17	EE	Christophe Ringeissen: Handling Relations over Finite Domains in the Rule-Based System ELAN. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
16	EE	Christophe 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
14	EE	Eric Monfroy, Christophe Ringeissen: SoleX: A Domain-Independent Scheme for Constraint Solver Extension. AISC 1998: 222-233
13	EE	Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen: An overview of ELAN. Electr. Notes Theor. Comput. Sci. 15: (1998)
12	EE	Peter 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
10		Claude Kirchner, Christophe Ringeissen: Higher-Order Equational Unification via Explicit Substitutions. ALP/HOA 1997: 61-75
9		Christophe 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
6		Eric 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
4		Christophe 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
1		Christophe Ringeissen: Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras. LPAR 1992: 261-272

Coauthor Index

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

Colors in the list of coauthors