 | 2008 |
|---|
| 7 |       | Pierre Courtieu,
Julien Forest,
Xavier Urbain:
Certifying a Termination Criterion Based on Graphs, without Graphs.
TPHOLs 2008: 183-198 |
| 6 | | 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: 35-41 |
| 2007 |
|---|
| 5 | | Evelyne Contejean,
Pierre Courtieu,
Julien Forest,
Olivier Pons,
Xavier Urbain:
Certification of Automated Termination Proofs.
FroCos 2007: 148-162 |
| 4 | | Julien Forest,
Delia Kesner:
Expression Reduction Systems with Patterns.
J. Autom. Reasoning 39(4): 513-541 (2007) |
| 2006 |
|---|
| 3 | | 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 | | Julien Forest,
Delia Kesner:
Expression Reduction Systems with Patterns.
RTA 2003: 107-122 |
| 2002 |
|---|
| 1 | | Julien Forest:
A Weak Calculus with Explicit Operators for Pattern Matching and Substitution.
RTA 2002: 174-191 |
