Lorenzo Gheri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2023 | PPDP | Multicompatibility for Multiparty-Session Composition. | Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida |
| 2022 | ECOOP | Design-By-Contract for Flexible Multiparty Session Protocols. | Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida |
| 2021 | PLDI | Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. | David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida |
| 2020 | ICDCIT | A Very Gentle Introduction to Multiparty Session Types. | Nobuko Yoshida, Lorenzo Gheri |
| 2017 | ITP | A Formalized General Theory of Syntax with Bindings. | Lorenzo Gheri, Andrei Popescu |