Roberto Zunino
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
13
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FC | A Theoretical Basis for MEV. | Massimo Bartoletti, Roberto Zunino |
| 2024 | FC | DeFi Composability as MEV Non-interference. | Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino |
| 2022 | Coordination | A Sound Up-to-n, δ Bisimilarity for PCTL. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2021 | FC | A Formal Model of Algorand Smart Contracts. | Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino |
| 2020 | Coordination | Renegotiation and Recursion in Bitcoin Contracts. | Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
| 2020 | ISoLA | Bitcoin Covenants Unchained. | Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2018 | CCS | BitML: A Calculus for Bitcoin Smart Contracts. | Massimo Bartoletti, Roberto Zunino |
| 2018 | FC | A Formal Model of Bitcoin Transactions. | Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino |
| 2018 | ISoLA | Fun with Bitcoin Smart Contracts. | Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino |
| 2017 | FC | Constant-Deposit Multiparty Lotteries on Bitcoin. | Massimo Bartoletti, Roberto Zunino |
| 2015 | ICDCIT | Models of Circular Causality. | Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino |
| 2014 | CONCUR | A Semantic Deconstruction of Session Types. | Massimo Bartoletti, Alceste Scalas, Roberto Zunino |
| 2013 | FORTE | Honesty by Typing. | Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino |
| 2012 | Coordination | On the Realizability of Contracts in Dishonest Systems. | Massimo Bartoletti, Emilio Tuosto, Roberto Zunino |
| 2012 | SAC | An imperative language of self-modifying graphs for biological systems. | Corrado Priami, Paola Quaglia, Roberto Zunino |
| 2012 | SAC | Tree-based search for stochastic simulation algorithm. | Vo Hong Thanh, Roberto Zunino |
| 2012 | SEFM | A Rule-Based and Imperative Language for Biochemical Modeling and Simulation. | Durica Nikolic, Corrado Priami, Roberto Zunino |
| 2011 | PADS | Trading Computation Time for Synchronization Time in Spatial Distributed Simulation. | Roberto Zunino |
| 2010 | LICS | A Calculus of Contracting Processes. | Massimo Bartoletti, Roberto Zunino |
| 2010 | SEFM | Static Enforcement of Service Deadlines. | Massimo Bartoletti, Roberto Zunino |
| 2009 | ICTAC | Untitled record | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2007 | FOSSACS | Types and Effects for Resource Usage Analysis. | Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari, Roberto Zunino |
| 2006 | FOSSACS | Handling exp, × (and Timestamps) in Protocol Analysis. | Roberto Zunino, Pierpaolo Degano |
| 2004 | FOSSACS | A Note on the Perfect Encryption Assumption in a Process Calculus. | Roberto Zunino, Pierpaolo Degano |