Implementing Nominal Unification. - Christophe Calvès; Maribel Fernández (TERMGRAPH@ETAPS, 2006)

Nominal Matching and Alpha-Equivalence. - Christophe Calvès; Maribel Fernández (WoLLIC, 2008)

A polynomial nominal unification algorithm. - Christophe Calvès; Maribel Fernández (Theor. Comput. Sci., 2008)

The First-Order Nominal Link. - Christophe Calvès; Maribel Fernández (LOPSTR, 2010)

Matching and alpha-equivalence check for nominal terms. - Christophe Calvès; Maribel Fernández (J. Comput. Syst. Sci., 2010)

Faults in linux: ten years later. - Nicolas Palix; Gaël Thomas 001; Suman Saha 002; Christophe Calvès; Julia Lawall; Gilles Muller (ASPLOS, 2011)

Unifying Nominal Unification. - Christophe Calvès (RTA, 2013)

Faults in Linux 2.6. - Nicolas Palix; Gaël Thomas 001; Suman Saha 002; Christophe Calvès; Gilles Muller; Julia Lawall (ACM Trans. Comput. Syst., 2014)