PADOVANI, LUCA
PADOVANI, LUCA
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
2025 Bravetti, Mario; Padovani, Luca; Zavattaro, Gianluigi
Fair Termination of Asynchronous Binary Sessions
2025 Padovani, Luca; Zavattaro, Gianluigi
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2025 Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco
A logical account of subtyping for session types
2024 Horne, Ross; Padovani, Luca
Fair termination of multiparty sessions
2024 Ciccone, Luca; Dagnino, Francesco; Padovani, Luca
On the Almost-Sure Termination of Binary Sessions
2024 Dal Lago, Ugo; Padovani, Luca
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions
2024 Dagnino, Francesco; Padovani, Luca
The Concurrent Calculi Formalisation Benchmark
2024 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
A Logical Account of Subtyping for Session Types
2023 Horne, Ross; Padovani, Luca
EXPRESSing Session Types
2023 Castellani I.; Dardha O.; Padovani L.; Sangiorgi D.
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022 Ciccone, Luca; Padovani, Luca
Distributed workflows with Jupyter
2022 Colonnelli, I; Aldinucci, M; Cantalupo, B; Padovani, L; Rabellino, S; Spampinato, C; Morelli, R; Di Carlo, R; Magini, N; Cavazzoni, C
Fair Termination of Binary Sessions
2022 Ciccone, Luca; Padovani, Luca
Fair Termination of Multiparty Sessions
2022 Ciccone, Luca; Dagnino, Francesco; Padovani, Luca
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
2022 Ciccone, L; Padovani, L
On the Fair Termination of Client-Server Sessions
2022 Luca Padovani
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
2022 Balzer, Stephanie; Padovani, Luca
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
2021 Luca Ciccone; Luca Padovani
A Dependently Typed Linear π-Calculus in Agda
2020 Ciccone, Luca; Padovani, Luca
Probabilistic Analysis of Binary Sessions
2020 Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Sound and Complete Characterization of Fair Asynchronous Session Subtyping | Bravetti, Mario; Padovani, Luca; Zavattaro, Gianluigi | 2025-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Fair Termination of Asynchronous Binary Sessions | Padovani, Luca; Zavattaro, Gianluigi | 2025-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | LIPIcs.ECOOP.2025.24.pdf |
| Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows | Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco | 2025-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | 978-3-031-71162-6_12.pdf |
| A logical account of subtyping for session types | Horne, Ross; Padovani, Luca | 2024-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S2352220824000403-main.pdf |
| Fair termination of multiparty sessions | Ciccone, Luca; Dagnino, Francesco; Padovani, Luca | 2024-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |
| On the Almost-Sure Termination of Binary Sessions | Dal Lago, Ugo; Padovani, Luca | 2024-01-01 | - | ACM | 4.01 Contributo in Atti di convegno | - |
| sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions | Dagnino, Francesco; Padovani, Luca | 2024-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| The Concurrent Calculi Formalisation Benchmark | Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krog...sdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel | 2024-01-01 | - | SPRINGER INTERNATIONAL PUBLISHING AG | 4.01 Contributo in Atti di convegno | - |
| A Logical Account of Subtyping for Session Types | Horne, Ross; Padovani, Luca | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| EXPRESSing Session Types | Castellani I.; Dardha O.; Padovani L.; Sangiorgi D. | 2023-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | paper.cgi.pdf |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus | Ciccone, Luca; Padovani, Luca | 2022-01-01 | - | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | LIPIcs-CONCUR-2022-36.pdf |
| Distributed workflows with Jupyter | Colonnelli, I; Aldinucci, M; Cantalupo, B; Padovani, L; Rabellino, S; Spampinato, C; Morelli, R; ...Di Carlo, R; Magini, N; Cavazzoni, C | 2022-01-01 | FUTURE GENERATION COMPUTER SYSTEMS | - | 1.01 Articolo in rivista | Distributed workflows with Jupyter _ Edit.pdf |
| Fair Termination of Binary Sessions | Ciccone, Luca; Padovani, Luca | 2022-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | 3498666.pdf |
| Fair Termination of Multiparty Sessions | Ciccone, Luca; Dagnino, Francesco; Padovani, Luca | 2022-01-01 | - | Schloss Dagstuhl - Leibniz Center for Informatic | 4.01 Contributo in Atti di convegno | LIPIcs.ECOOP.2022.26.pdf |
| Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types | Ciccone, L; Padovani, L | 2022-01-01 | LOGICAL METHODS IN COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| On the Fair Termination of Client-Server Sessions | Luca Padovani | 2022-01-01 | - | Schloss Dagstuhl – Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | - |
| THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | Balzer, Stephanie; Padovani, Luca | 2022-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 8.01 Ruolo editoriale in rivista | - |
| Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types | Luca Ciccone; Luca Padovani | 2021-01-01 | - | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | 4.01 Contributo in Atti di convegno | - |
| A Dependently Typed Linear π-Calculus in Agda | Ciccone, Luca; Padovani, Luca | 2020-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Probabilistic Analysis of Binary Sessions | Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto | 2020-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |