Julien Forest

Publication Activity (10 Years)

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

Publications

Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza
Structural Analysis of Narratives with the Coq Proof Assistant. ITP (2011)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Automated Certified Proofs with CiME3. RTA (2011)
Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest
A3PAT, an approach for certified automated termination proofs. PEPM (2010)
Pierre Courtieu, Julien Forest, Xavier Urbain
Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs (2008)
Sébastien Jourdain, Julien Forest, Christophe Mouton, Bernard Nouailhas, Gerard Moniot, Franck Kolb, Sophie Chabridon, Michel Simatic, Zied Abid, Laurent Mallet
ShareX3D, a scientific collaborative 3D viewer over HTTP. Web3D (2008)
Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
Certification of Automated Termination Proofs. FroCoS (2007)
Julien Forest, Delia Kesner
Expression Reduction Systems with Patterns. J. Autom. Reason. 39 (4) (2007)
Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS (2006)
Julien Forest, Delia Kesner
Expression Reduction Systems with Patterns. RTA (2003)
Julien Forest
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. RTA (2002)