Evelyne Contejean

	2011
25		Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Automated Certified Proofs with CiME3. RTA 2011: 21-30
24		Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala: Canonized Rewriting and Ground AC Completion Modulo Shostak Theories. TACAS 2011: 45-59
	2010
23		Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest: A3PAT, an approach for certified automated termination proofs. PEPM 2010: 63-72
	2008
22		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		Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162
20		Evelyne Contejean: Modeling Permutations in Coqfor Coccinelle. Rewriting, Computation and Proof 2007: 259-269
	2005
19		Evelyne Contejean, Pierre Corbineau: Reflecting Proofs in First-Order Logic with Equality. CADE 2005: 7-22
18		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		Evelyne Contejean: A Certified AC Matching Algorithm. RTA 2004: 70-84
	2001
16		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		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		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] [24]
4	Pierre Corbineau	[19]
5	Antoine Coste	[15]
6	Pierre Courtieu	[21] [23] [25]
7	Hervé Devie	[1] [6]
8	Julien Forest	[21] [23] [25]
9	Mohamed Iguernelala	[24]
10	Johannes Kanig	[22]
11	Stéphane Lescuyer	[22]
12	Claude Marché	[9] [10] [12] [18]
13	Benjamin Monate	[15]
14	Andrey Paskevich	[23]
15	Olivier Pons	[21] [23] [25]
16	Landy Rabehasaina	[12]
17	Ana Paula Tomás	[18]
18	Xavier Urbain	[18] [21] [23] [25]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page