Frdric Gilbert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2019
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ESOP | Verifiable Certificates for Predicate Subtyping. | Frdric Gilbert |
| 2017 | FOSSACS | Automated Constructivization of Proofs. | Frdric Gilbert |
| 2017 | ITP | Proof Certificates in PVS. | Frdric Gilbert |
| 2015 | LPAR | A Lightweight Double-negation Translation. | Frdric Gilbert |
| 2013 | LPAR | Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo. | David Delahaye, Damien Doligez, Frdric Gilbert, Pierre Halmagrand, Olivier Hermant |
| 2010 | IV | From Databases to Graph Visualization. | Frdric Gilbert, David Auber |