Thomas Sibut-Pinote
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2014–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | ITP | Formally Verified Approximations of Definite Integrals. | Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote |
| 2014 | ITP | A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3). | Frdric Chyzak, Assia Mahboubi, Thomas Sibut-Pinote, Enrico Tassi |