Guillaume Claret
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2020
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISoLA | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2015 | ICSE | Mechanical Verification of Interactive Programs Specified by Use Cases. | Guillaume Claret, Yann Rgis-Gianas |
| 2013 | ITP | Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. | Guillaume Claret, Lourdes Del Carmen Gonzlez-Huesca, Yann Rgis-Gianas, Beta Ziliani |
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |