| 2007 |
|---|
| 6 | EE | Richard Bonichon,
David Delahaye,
Damien Doligez:
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.
LPAR 2007: 151-165 |
| 2002 |
|---|
| 5 | EE | Virgile Prevosto,
Damien Doligez,
Thérèse Hardin:
Algebraic Structures and Dependent Records.
TPHOLs 2002: 298-313 |
| 4 | | Virgile Prevosto,
Damien Doligez:
Algorithms and Proofs Inheritancey in the FOC Language.
J. Autom. Reasoning 29(3-4): 337-363 (2002) |
| 1999 |
|---|
| 3 | EE | Homayoon Akhiani,
Damien Doligez,
Paul Harter,
Leslie Lamport,
Joshua Scheid,
Mark R. Tuttle,
Yuan Yu:
Cache Coherence Verification with TLA+.
World Congress on Formal Methods 1999: 1871-1872 |
| 1994 |
|---|
| 2 | | Damien Doligez,
Georges Gonthier:
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems.
POPL 1994: 70-83 |
| 1993 |
|---|
| 1 | | Damien Doligez,
Xavier Leroy:
A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML.
POPL 1993: 113-123 |
