Bruno Bernardo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2020
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FC | Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. | Bruno Bernardo, Raphal Cauderlier, Basile Pesin, Julien Tesson |
| 2020 | ISoLA | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2019 | FM | Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. | Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson |
| 2008 | FOSSACS | The Implicit Calculus of Constructions as a Programming Language with Dependent Types. | Bruno Barras, Bruno Bernardo |