Germain Faure

Publication Activity (10 Years)

Years Active: 2002-2011
Publications (10 Years): 0

LORIA (PHD)

Education History

LORIA

PHD

Publications

Michaël Armand, Germain Faure, Benjamin Grégoire, Chantal Keller, Laurent Théry, Benjamin Werner
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses. CPP (2011)
Germain Faure, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers. SAT (2008)
Horatiu Cirstea, Germain Faure
Confluence of Pattern-Based Calculi. RTA (2007)
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
From Functional Programs to Interaction Nets via the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Horatiu Cirstea, Germain Faure, Claude Kirchner
A rho-calculus of explicit constraint application. High. Order Symb. Comput. 20 (1-2) (2007)
Germain Faure
Term Collections in lambda and rho-calculi. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Germain Faure
Matching Modulo Superdevelopments Application to Second-Order Matching. LPAR (2006)
Horatiu Cirstea, Germain Faure, Claude Kirchner
A rho-Calculus of Explicit Constraint Application. WRLA (2004)
Germain Faure, Claude Kirchner
Exceptions in the Rewriting Calculus. RTA (2002)