PADOVANI, LUCA
PADOVANI, LUCA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
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
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
2024 Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco
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
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
2020 Stephanie Balzer; Luca Padovani
Concurrent Typestate-Oriented Programming in Java
2019 Rosita, Gerbo; Padovani, Luca
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 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 | - |
| Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows | Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco | 2024-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software | Stephanie Balzer; Luca Padovani | 2020-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | Open Publishing Association | 3.02 Curatela | - |
| Concurrent Typestate-Oriented Programming in Java | Rosita, Gerbo; Padovani, Luca | 2019-01-01 | - | OPA | 4.01 Contributo in Atti di convegno | - |