Julien Forest

According to our database, Julien Forest authored at least 9 papers between 2002 and 2011.

Collaborative distances:

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

2011

Automated Certified Proofs with CiME3.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

Structural Analysis of Narratives with the Coq Proof Assistant.

Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

A3PAT, an approach for certified automated termination proofs.

Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

2008

ShareX3D, a scientific collaborative 3D viewer over HTTP.

Sébastien Jourdain, Julien Forest, Christophe Mouton, Bernard Nouailhas, Gerard Moniot, Franck Kolb, Sophie Chabridon, Michel Simatic, Zied Abid, Laurent Mallet

Proceedings of the Proceeding of the 13th International Conference on 3D Web Technology, 2008

Certifying a Termination Criterion Based on Graphs, without Graphs.

Pierre Courtieu, Julien Forest, Xavier Urbain

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Expression Reduction Systems with Patterns.

Julien Forest, Delia Kesner

J. Autom. Reason., 2007

Certification of Automated Termination Proofs.

Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

2006

Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant.

Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2002

A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.

Julien Forest

Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002