Luca Padovani

2.4k total citations
57 papers, 629 citations indexed

About

Luca Padovani is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Luca Padovani has authored 57 papers receiving a total of 629 indexed citations (citations by other indexed papers that have themselves been cited), including 42 papers in Artificial Intelligence, 27 papers in Computational Theory and Mathematics and 23 papers in Computer Networks and Communications. Recurrent topics in Luca Padovani's work include Logic, programming, and type systems (39 papers), Formal Methods in Verification (23 papers) and Distributed systems and fault tolerance (14 papers). Luca Padovani is often cited by papers focused on Logic, programming, and type systems (39 papers), Formal Methods in Verification (23 papers) and Distributed systems and fault tolerance (14 papers). Luca Padovani collaborates with scholars based in Italy, United Kingdom and France. Luca Padovani's co-authors include Giuseppe Castagna, Nils Gesbert, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Cosimo Laneve, Mario Coppo, Viviana Bono, Vasco T. Vasconcelos, Gianluigi Zavattaro and Emilio Tuosto and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Future Generation Computer Systems.

In The Last Decade

Luca Padovani

49 papers receiving 614 citations

Peers

Luca Padovani

CTM

CNC

Ivan Lanese Italy

Vasco T. Vasconcelos Portugal

Ian A. Mason United States

Ilaria Castellani France

Michaël Rusinowitch France

Paul C. Attie United States

Luı́s Caires Portugal

John Boyland United States

Michele Boreale Italy

Reino Kurki-Suonio Finland

Ivan Lanese Italy

Luca Padovani

355 ×0.7

228 ×0.7

CTM

223 ×0.9

CNC

135 ×0.9

58 ×1.0

Citations per year, relative to Luca Padovani Luca Padovani (= 1×) peers Ivan Lanese

Countries citing papers authored by Luca Padovani

Since Specialization

Citations

This map shows the geographic impact of Luca Padovani'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 Luca Padovani with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Padovani more than expected).

Fields of papers citing papers by Luca Padovani

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca Padovani. 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 Luca Padovani. The network helps show where Luca Padovani may publish in the future.

Co-authorship network of co-authors of Luca Padovani

This figure shows the co-authorship network connecting the top 25 collaborators of Luca Padovani. A scholar is included among the top collaborators of Luca Padovani 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 Luca Padovani. Luca Padovani is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Padovani, Luca, et al.. (2024). Fair termination of multiparty sessions. Journal of Logical and Algebraic Methods in Programming. 139. 100964–100964. 4 indexed citations

Lago, Ugo Dal & Luca Padovani. (2024). On the Almost-Sure Termination of Binary Sessions. SPIRE - Sciences Po Institutional REpository. 1–12.

Padovani, Luca, et al.. (2024). sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 1–13.

Padovani, Luca, et al.. (2023). A Logical Account of Subtyping for Session Types. Electronic Proceedings in Theoretical Computer Science. 378. 26–37. 1 indexed citations

Padovani, Luca, et al.. (2021). Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 198. 1–16. 4 indexed citations

Inverso, Omar, Hernán Melgratti, Luca Padovani, Catia Trubiani, & Emilio Tuosto. (2020). Probabilistic Analysis of Binary Sessions. Institutional Research Information System University of Turin (University of Turin). 2 indexed citations

de’Liguoro, Ugo & Luca Padovani. (2018). Mailbox Types for Unordered Interactions. Institutional Research Information System University of Turin (University of Turin). 6 indexed citations

Severi, Paula, Luca Padovani, Emilio Tuosto, & Mariangiola Dezani-Ciancaglini. (2017). On Sessions and Infinite Data. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 2 indexed citations

Melgratti, Hernán & Luca Padovani. (2017). Chaperone contracts for higher-order sessions. Proceedings of the ACM on Programming Languages. 1(ICFP). 1–29. 7 indexed citations

10.

Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna). 50 indexed citations

11.

Ancona, Davide, Viviana Bono, Mario Bravetti, et al.. (2016). Behavioral Types in Programming Languages. University of Southern Denmark Research Portal (University of Southern Denmark). 3(2-3). 95–230. 28 indexed citations

12.

Padovani, Luca, et al.. (2013). Exception handling for copyless messaging. Science of Computer Programming. 84. 22–51. 1 indexed citations

13.

Bono, Viviana & Luca Padovani. (2012). Typing Copyless Message Passing. Logical Methods in Computer Science. Volume 8, Issue 1. 13 indexed citations

14.

Castagna, Giuseppe, Mariangiola Dezani-Ciancaglini, & Luca Padovani. (2012). On Global Types and Multi-Party Session. Logical Methods in Computer Science. Volume 8, Issue 1. 40 indexed citations

15.

Bernardo, Marco, et al.. (2009). Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Springer eBooks. 9 indexed citations

16.

Laneve, Cosimo, et al.. (2009). PiDuce — A project for experimenting Web services technologies. Science of Computer Programming. 74(10). 777–811. 10 indexed citations

17.

Laneve, Cosimo & Luca Padovani. (2007). The must preorder revisited: an algebraic theory for web services contracts. Unicam Scientific Publications (University of Camerino). 21(4). 212–225. 17 indexed citations

18.

Asperti, Andrea, et al.. (2001). XML, Stylesheets and the Re-mathematization of Formal Content. 1 indexed citations

19.

Padovani, Luca, et al.. (2001). The Gnome DOM engine. 3(2). 173–190. 3 indexed citations

20.

Asperti, Andrea, et al.. (2000). Towards a Library of Formal Mathematics. 1 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