Exceptions in the Rewriting Calculus. - Germain Faure; Claude Kirchner (RTA, 2002)

Matching Modulo Superdevelopments Application to Second-Order Matching. - Germain Faure (LPAR, 2006)

From Functional Programs to Interaction Nets via the Rewriting Calculus. - Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François-Régis Sinot (WRS@FLoC, 2006)

Term Collections in lambda and rho-calculi. - Germain Faure (DCM@ICALP, 2006)

Structures et modeles de calculs de reecriture (Structures and models of rewriting calculi). - Germain Faure (2007)

Confluence of Pattern-Based Calculi. - Horatiu Cirstea; Germain Faure (RTA, 2007)

A rho-calculus of explicit constraint application. - Horatiu Cirstea; Germain Faure; Claude Kirchner (High. Order Symb. Comput., 2007)

SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. - Germain Faure; Robert Nieuwenhuis; Albert Oliveras; Enric Rodríguez-Carbonell (SAT, 2008)

A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. - Michaël Armand; Germain Faure; Benjamin Grégoire; Chantal Keller; Laurent Théry; Benjamin Werner (CPP, 2011)