Evelyne Contejean

2008
22	EE	Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer: CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electr. Notes Theor. Comput. Sci. 198(2): 51-69 (2008)
2007
21	EE	Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162
20	EE	Evelyne Contejean: Modeling Permutations in Coqfor Coccinelle. Rewriting, Computation and Proof 2007: 259-269
2005
19	EE	Evelyne Contejean, Pierre Corbineau: Reflecting Proofs in First-Order Logic with Equality. CADE 2005: 7-22
18	EE	Evelyne Contejean, Claude Marché, Ana Paula Tomás, Xavier Urbain: Mechanically Proving Termination Using Polynomial Interpretations. J. Autom. Reasoning 34(4): 325-363 (2005)
2004
17	EE	Evelyne Contejean: A Certified AC Matching Algorithm. RTA 2004: 70-84
2001
16	EE	Alexandre Boudet, Evelyne Contejean: Combining Pattern E-Unification Algorithms. RTA 2001: 63-76
2000
15		Evelyne Contejean, Antoine Coste, Benjamin Monate: Rewriting Techniques in Theoretical Physics. RTA 2000: 80-94
1998
14	EE	Alexandre Boudet, Evelyne Contejean: About the Confluence of Equational Pattern Rewrite Systems. CADE 1998: 88-102
1997
13		Alexandre Boudet, Evelyne Contejean: AC-Unification of Higher-Order Patterns. CP 1997: 267-281
12		Evelyne Contejean, Claude Marché, Landy Rabehasaina: Rewrite Systems for Natural, Integral, and Rational Arithmetic. RTA 1997: 98-112
11	EE	Farid Ajili, Evelyne Contejean: Avoiding Slack Variables in the Solving of Linear Diophantine Equations and Inequations. Theor. Comput. Sci. 173(1): 183-208 (1997)
1996
10		Alexandre Boudet, Evelyne Contejean, Claude Marché: AC-Complete Unification and its Application to Theorem Proving. RTA 1996: 18-32
9		Evelyne Contejean, Claude Marché: CiME: Completion Modulo E. RTA 1996: 416-419
1995
8		Farid Ajili, Evelyne Contejean: Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables. CP 1995: 1-17
1994
7		Alexandre Boudet, Evelyne Contejean: "Syntactic" AC-Unification. CCL 1994: 136-151
6		Evelyne Contejean, Hervé Devie: An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations Inf. Comput. 113(1): 143-172 (1994)
1993
5		Evelyne Contejean: A Partial Solution for D-Unification Based on a Reduction to AC1-Unification. ICALP 1993: 621-632
4		Evelyne Contejean: Solving Linear Diophantine Constraints Incrementally. ICLP 1993: 532-549
3		Evelyne Contejean: Solving *-Problems Modulo Distributivity by a Reduction to AC1-Unification. J. Symb. Comput. 16(5): 493-521 (1993)
1992
2		Alexandre Boudet, Evelyne Contejean: On n-Syntactic Equational Theories. ALP 1992: 446-457
1990
1		Alexandre Boudet, Evelyne Contejean, Hervé Devie: A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations LICS 1990: 289-299

Coauthor Index

1	Farid Ajili	[8] [11]
2	Alexandre Boudet	[1] [2] [7] [10] [13] [14] [16]
3	Sylvain Conchon	[22]
4	Pierre Corbineau	[19]
5	Antoine Coste	[15]
6	Pierre Courtieu	[21]
7	Hervé Devie	[1] [6]
8	Julien Forest	[21]
9	Johannes Kanig	[22]
10	Stéphane Lescuyer	[22]
11	Claude Marché	[9] [10] [12] [18]
12	Benjamin Monate	[15]
13	Olivier Pons	[21]
14	Landy Rabehasaina	[12]
15	Ana Paula Tomás	[18]
16	Xavier Urbain	[18] [21]

Colors in the list of coauthors