Foto del docente

Luca Padovani

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Publications

Horne, Ross; Padovani, Luca, A logical account of subtyping for session types, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 141, Article number: 100986 , pp. 1 - 20 [Scientific article]Open Access

Ciccone, Luca; Dagnino, Francesco; Padovani, Luca, Fair termination of multiparty sessions, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2024, 139, Article number: 100964 , pp. 1 - 40 [Scientific article]

Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco, Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows, in: Proceedings of the 26th International Symposium on Formal Methods - Part I, Springer, 2024, 14933 LNCS, pp. 226 - 244 (atti di: 26th International Symposium on Formal Methods, Milano, Italia, September 9-13, 2024) [Contribution to conference proceedings]

Dal Lago, Ugo; Padovani, Luca, On the Almost-Sure Termination of Binary Sessions, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, New York, ACM, 2024, pp. 1 - 12 (atti di: Principles and Practice of Declarative Programming, Milano, 10-11 Settembre 2024) [Contribution to conference proceedings]

Dagnino, Francesco; Padovani, Luca, sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions, in: Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, 2024, pp. 1 - 13 (atti di: Principles and Practice of Declarative Programming, Milano, Italia, September 9-11, 2024) [Contribution to conference proceedings]

Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel, The Concurrent Calculi Formalisation Benchmark, in: Proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION 2024), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, 2024, 14676 LNCS, pp. 149 - 158 (atti di: COORDINATION, Groningen, June 17-21, 2024) [Contribution to conference proceedings]

Horne, Ross; Padovani, Luca, A Logical Account of Subtyping for Session Types, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 378, pp. 26 - 37 [Scientific article]

Castellani I.; Dardha O.; Padovani L.; Sangiorgi D., EXPRESSing Session Types, in: Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2023, 387, pp. 8 - 25 (atti di: Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS) 2023, Antwerp, Belgium, 18 September 2023) [Contribution to conference proceedings]Open Access

Ciccone, Luca; Padovani, Luca, An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus, in: Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR 2022), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, 243, pp. 1 - 18 (atti di: International Conference on Concurrency Theory, Warsaw, September 12-16, 2022) [Contribution to conference proceedings]Open Access

Colonnelli, I; Aldinucci, M; Cantalupo, B; Padovani, L; Rabellino, S; Spampinato, C; Morelli, R; Di Carlo, R; Magini, N; Cavazzoni, C, Distributed workflows with Jupyter, «FUTURE GENERATION COMPUTER SYSTEMS», 2022, 128, pp. 282 - 298 [Scientific article]Open Access

Ciccone, Luca; Padovani, Luca, Fair Termination of Binary Sessions, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 30 [Scientific article]Open Access

Ciccone, Luca; Dagnino, Francesco; Padovani, Luca, Fair Termination of Multiparty Sessions, in: Proceedings of the 36th European Conference on Object-Oriented Programming, ECOOP 2022, Schloss Dagstuhl - Leibniz Center for Informatic, 2022, 222, pp. 1 - 26 (atti di: European Conference on Object-Oriented Programming, Berlin, Germany, June 6-10, 2022) [Contribution to conference proceedings]Open Access

Ciccone, L; Padovani, L, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, «LOGICAL METHODS IN COMPUTER SCIENCE», 2022, 18, Article number: 27 , pp. 1 - 29 [Scientific article]

Luca Padovani, On the Fair Termination of Client-Server Sessions, in: Proceedings of the 28th International Conference on Types for Proofs and Programs (TYPES 2022), Dagstuhl, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, 269, pp. 1 - 21 (atti di: 28th International Conference on Types for Proofs and Programs (TYPES 2022), Nantes, 20-25th June 2022) [Contribution to conference proceedings]

Ruolo editoriale nella rivista «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING»

Latest news

At the moment no news are available.