 | 2011 |
|---|
| 10 |       | Anne-Gwenn Bosser,
Pierre Courtieu,
Julien Forest,
Marc Cavazza:
Structural Analysis of Narratives with the Coq Proof Assistant.
ITP 2011: 55-70 |
| 9 | | Evelyne Contejean,
Pierre Courtieu,
Julien Forest,
Olivier Pons,
Xavier Urbain:
Automated Certified Proofs with CiME3.
RTA 2011: 21-30 |
| 2010 |
|---|
| 8 | | Evelyne Contejean,
Andrey Paskevich,
Xavier Urbain,
Pierre Courtieu,
Olivier Pons,
Julien Forest:
A3PAT, an approach for certified automated termination proofs.
PEPM 2010: 63-72 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page