Search the dblp DataBase

Publications of Author

1. Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu
   Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:114-129 [Conf]
   
2. Julien Forest
   A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. [Citation Graph (0, 0)][DBLP]
   RTA, 2002, pp:174-191 [Conf]
   
3. Julien Forest, Delia Kesner
   Expression Reduction Systems with Patterns. [Citation Graph (0, 0)][DBLP]
   RTA, 2003, pp:107-122 [Conf]
   
4. Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain
   Certification of Automated Termination Proofs. [Citation Graph (0, 0)][DBLP]
   FroCos, 2007, pp:148-162 [Conf]
   
5. 
   A3PAT, an approach for certified automated termination proofs. [Citation Graph (, )][DBLP]
   
   
6. 
   Certifying a Termination Criterion Based on Graphs, without Graphs. [Citation Graph (, )][DBLP]
   
   
7. 
   ShareX3D, a scientific collaborative 3D viewer over HTTP. [Citation Graph (, )][DBLP]