| |
| 2007 | ||
|---|---|---|
| 5 | EE | Evelyne Contejean, Pierre Courtieu, Julien Forest, Olivier Pons, Xavier Urbain: Certification of Automated Termination Proofs. FroCos 2007: 148-162 |
| 4 | EE | Julien Forest, Delia Kesner: Expression Reduction Systems with Patterns. J. Autom. Reasoning 39(4): 513-541 (2007) |
| 2006 | ||
| 3 | EE | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu: Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. FLOPS 2006: 114-129 |
| 2003 | ||
| 2 | EE | Julien Forest, Delia Kesner: Expression Reduction Systems with Patterns. RTA 2003: 107-122 |
| 2002 | ||
| 1 | EE | Julien Forest: A Weak Calculus with Explicit Operators for Pattern Matching and Substitution. RTA 2002: 174-191 |
| 1 | Gilles Barthe | [3] |
| 2 | Evelyne Contejean | [5] |
| 3 | Pierre Courtieu | [5] |
| 4 | Delia Kesner | [2] [4] |
| 5 | David Pichardie | [3] |
| 6 | Olivier Pons | [5] |
| 7 | Vlad Rusu | [3] |
| 8 | Xavier Urbain | [5] |