Christophe Calvès

According to our database, Christophe Calvès authored at least 8 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Faults in Linux 2.6.

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall

ACM Trans. Comput. Syst., 2014

2013

Unifying Nominal Unification.

Christophe Calvès

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2011

Faults in linux: ten years later.

Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Matching and alpha-equivalence check for nominal terms.

Christophe Calvès, Maribel Fernández

J. Comput. Syst. Sci., 2010

The First-Order Nominal Link.

Christophe Calvès, Maribel Fernández

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2008

A polynomial nominal unification algorithm.

Christophe Calvès, Maribel Fernández

Theor. Comput. Sci., 2008

Nominal Matching and Alpha-Equivalence.

Christophe Calvès, Maribel Fernández

Proceedings of the Logic, 2008

2006

Implementing Nominal Unification.

Christophe Calvès, Maribel Fernández

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006