Roberto Zunino

1.2k total citations
40 papers, 342 citations indexed

About

Roberto Zunino is a scholar working on Artificial Intelligence, Information Systems and Molecular Biology. According to data from OpenAlex, Roberto Zunino has authored 40 papers receiving a total of 342 indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 10 papers in Information Systems and 9 papers in Molecular Biology. Recurrent topics in Roberto Zunino's work include Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (11 papers) and Gene Regulatory Network Analysis (8 papers). Roberto Zunino is often cited by papers focused on Logic, programming, and type systems (16 papers), Logic, Reasoning, and Knowledge (11 papers) and Gene Regulatory Network Analysis (8 papers). Roberto Zunino collaborates with scholars based in Italy, United Kingdom and Denmark. Roberto Zunino's co-authors include Massimo Bartoletti, Corrado Priami, Pierpaolo Degano, Gian-Luigi Ferrari, Tiziana Cimoli, G. Pinna, Stefano Lande, Gabriele Costa, Nobuko Yoshida and Alceste Scalas and has published in prestigious journals such as The Journal of Chemical Physics, SHILAP Revista de lepidopterología and IEEE Transactions on Software Engineering.

In The Last Decade

Roberto Zunino

38 papers receiving 324 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Roberto Zunino Italy 11 131 120 115 78 54 40 342
František Simančík United Kingdom 10 315 2.4× 124 1.0× 181 1.6× 54 0.7× 6 0.1× 16 389
Boontawee Suntisrivaraporn Thailand 10 315 2.4× 105 0.9× 169 1.5× 46 0.6× 12 0.2× 32 364
Robert Stevens United Kingdom 5 268 2.0× 77 0.6× 423 3.7× 54 0.7× 12 0.2× 7 552
Nicole Tourigny Canada 4 300 2.3× 87 0.7× 364 3.2× 47 0.6× 7 0.1× 11 526
Angelo Troina Italy 9 96 0.7× 23 0.2× 132 1.1× 59 0.8× 7 0.1× 32 302
Julian Seidenberg United Kingdom 6 232 1.8× 137 1.1× 106 0.9× 71 0.9× 24 0.4× 9 269
Jennifer Vendetti United States 5 143 1.1× 56 0.5× 130 1.1× 17 0.2× 15 0.3× 8 243
Dimitris Zeginis Greece 10 134 1.0× 131 1.1× 62 0.5× 98 1.3× 24 0.4× 21 256
Guillaume Blin France 8 101 0.8× 30 0.3× 74 0.6× 54 0.7× 6 0.1× 19 225
Samir Tartir United States 5 250 1.9× 148 1.2× 92 0.8× 28 0.4× 18 0.3× 8 288

Countries citing papers authored by Roberto Zunino

Since Specialization
Citations

This map shows the geographic impact of Roberto Zunino's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Roberto Zunino with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roberto Zunino more than expected).

Fields of papers citing papers by Roberto Zunino

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Roberto Zunino. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Roberto Zunino. The network helps show where Roberto Zunino may publish in the future.

Co-authorship network of co-authors of Roberto Zunino

This figure shows the co-authorship network connecting the top 25 collaborators of Roberto Zunino. A scholar is included among the top collaborators of Roberto Zunino based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Roberto Zunino. Roberto Zunino is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Bartoletti, Massimo, et al.. (2025). Scalable UTXO smart contracts via fine-grained distributed state. Future Generation Computer Systems. 175. 108023–108023. 1 indexed citations
2.
Bartoletti, Massimo, Michele Bugliesi, Silvia Crafà, et al.. (2024). Smart contract languages: A comparative analysis. Future Generation Computer Systems. 164. 107563–107563. 6 indexed citations
3.
Bartoletti, Massimo, et al.. (2024). Secure compilation of rich smart contracts on poor UTXO blockchains. Institutional Research Information System (Università degli Studi di Trento). 235–267. 2 indexed citations
4.
Bartoletti, Massimo, Stefano Lande, Maurizio Murgia, & Roberto Zunino. (2022). Verifying liquidity of recursive Bitcoin contracts. UNICA IRIS Institutional Research Information System (University of Cagliari). 1 indexed citations
5.
Bartoletti, Massimo, Stefano Lande, & Roberto Zunino. (2021). Computationally sound Bitcoin tokens. UNICA IRIS Institutional Research Information System (University of Cagliari). 2 indexed citations
6.
Atzei, Nicola, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, & Roberto Zunino. (2019). Developing secure bitcoin contracts with BitML. UNICA IRIS Institutional Research Information System (University of Cagliari). 15 indexed citations
7.
Bartoletti, Massimo, Alceste Scalas, Emilio Tuosto, & Roberto Zunino. (2016). Honesty by typing. Aston Publications Explorer (Aston University). 3 indexed citations
8.
Bartoletti, Massimo, Tiziana Cimoli, Paolo Di Giamberardino, & Roberto Zunino. (2015). Vicious circles in contracts and in logic. Science of Computer Programming. 109. 61–95. 4 indexed citations
9.
Bartoletti, Massimo, Tiziana Cimoli, G. Pinna, & Roberto Zunino. (2015). Contracts as games on event structures. Journal of Logical and Algebraic Methods in Programming. 85(3). 399–424. 7 indexed citations
10.
Bartoletti, Massimo, Maurizio Murgia, Alceste Scalas, & Roberto Zunino. (2015). Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming. 86(1). 159–207. 5 indexed citations
11.
Bartoletti, Massimo, Tiziana Cimoli, G. Pinna, & Roberto Zunino. (2014). Circular Causality in Event Structures. Fundamenta Informaticae. 134(3-4). 219–259. 7 indexed citations
12.
Bartoletti, Massimo, Julien Lange, Alceste Scalas, & Roberto Zunino. (2014). Choreographies in the wild. Science of Computer Programming. 109. 36–60. 4 indexed citations
13.
Zunino, Roberto, et al.. (2014). Adaptive tree-based search for stochastic simulation algorithm. International Journal of Computational Biology and Drug Design. 7(4). 341–341. 14 indexed citations
14.
Bartoletti, Massimo, Tiziana Cimoli, Paolo Di Giamberardino, & Roberto Zunino. (2013). Contract agreements via logic. SHILAP Revista de lepidopterología. 131. 5–19. 3 indexed citations
15.
Bartoletti, Massimo, Tiziana Cimoli, G. Pinna, & Roberto Zunino. (2012). Circular causality in event structures. UNICA IRIS Institutional Research Information System (University of Cagliari). 1 indexed citations
16.
Bartoletti, Massimo & Roberto Zunino. (2010). Primitives for Contract-based Synchronization. SHILAP Revista de lepidopterología. 38. 67–82. 2 indexed citations
17.
Bartoletti, Massimo & Roberto Zunino. (2009). A Logic for Contracts. Unitn Eprints Research (Università Degli Studi di Trento). 34–37. 6 indexed citations
18.
Bartoletti, Massimo, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, & Roberto Zunino. (2009). Securing Java with Local Policies.. The Journal of Object Technology. 8(4). 5–5. 15 indexed citations
19.
Bartoletti, Massimo & Roberto Zunino. (2008). LocUsT: a tool for checking usage policies. UnipiEprints Open Archive (Università di Pisa). 6 indexed citations
20.
Zunino, Roberto & Pierpaolo Degano. (2005). Weakening the perfect encryption assumption in Dolev–Yao adversaries. Theoretical Computer Science. 340(1). 154–178. 5 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by František Simančík Breakdown of academic impact, for papers by Boontawee Suntisrivaraporn Breakdown of academic impact, for papers by Robert Stevens Breakdown of academic impact, for papers by Nicole Tourigny Breakdown of academic impact, for papers by Angelo Troina Breakdown of academic impact, for papers by Julian Seidenberg Breakdown of academic impact, for papers by Jennifer Vendetti Breakdown of academic impact, for papers by Dimitris Zeginis Breakdown of academic impact, for papers by Guillaume Blin Breakdown of academic impact, for papers by Samir Tartir
Rankless by CCL
2026