Christophe Calvès

	2011
6		Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia L. Lawall, Gilles Muller: Faults in linux: ten years later. ASPLOS 2011: 305-318
	2010
5		Christophe Calvès, Maribel Fernández: The First-Order Nominal Link. LOPSTR 2010: 234-248
4		Christophe Calvès, Maribel Fernández: Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. 76(5): 283-301 (2010)
	2008
3		Christophe Calvès, Maribel Fernández: Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122
2		Christophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008)
	2007
1		Christophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007)

Coauthor Index

1	Maribel Fernández	[1] [2] [3] [4] [5]
2	Julia L. Lawall	[6]
3	Gilles Muller	[6]
4	Nicolas Palix	[6]
5	Suman Saha	[6]
6	Gaël Thomas	[6]

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