Germain Faure

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Stable and accurate schemes for smoothed dissipative particle dynamics AMM. Applied Mathematics and Mechanics. (English Edition)	2018-02-12	Paper
From functional programs to interaction nets via the rewriting calculus Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Term collections in {\(\lambda\)} and {\(\rho\)}-calculi Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
A \(\rho\)-calculus of explicit constraint application	2013-09-20	Paper
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses Certified Programs and Proofs	2011-11-22	Paper
SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Matching Modulo Superdevelopments Application to Second-Order Matching Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Confluence of Pattern-Based Calculi Lecture Notes in Computer Science	2008-01-02	Paper
A \(\rho\)-calculus of explicit constraint application Higher-Order and Symbolic Computation	2007-05-21	Paper
scientific article; zbMATH DE number 2090065 (Why is no real title available?)	2004-08-12	Paper

Research outcomes over time

This page was built for person: Germain Faure