Luca Ciccone; Luca Padovani, Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types, in: Proceedings of the 48th International Colloquium on Automata, Languages, and Programming (ICALP’21), DEU, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021, 198, pp. 1 - 16 (atti di: International Colloquium on Automata, Languages, and Programming, Glasgow, 12th-16th July 2021) [Contributo in Atti di convegno]
Ciccone, Luca; Padovani, Luca, A Dependently Typed Linear π-Calculus in Agda, in: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, 2020, pp. 1 - 14 (atti di: International Symposium on Principles and Practice of Declarative Programming, Bologna, 9-10 September, 2020) [Contributo in Atti di convegno]
Omar Inverso; Hernán Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto, Probabilistic Analysis of Binary Sessions, in: Leibniz International Proceedings in Informatics, LIPIcs, DEU, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2020, 171, pp. 1 - 21 (atti di: International Conference on Concurrency Theory, Vienna, Austria, 2020) [Contributo in Atti di convegno]
Stephanie Balzer; Luca Padovani, Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, AUS, Open Publishing Association, 2020, pp. 1 . [curatela]
Rosita, Gerbo; Padovani, Luca, Concurrent Typestate-Oriented Programming in Java, in: Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Walterloo, OPA, 2019, 291, pp. 24 - 34 (atti di: Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Praga, Repubblica Ceca, 7 aprile 2019) [Contributo in Atti di convegno]
Luca Padovani, Context-Free Session Type Inference, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2019, 41, pp. 1 - 37 [articolo]
Laneve, C.; Padovani, L., Deadlock Analysis of Wait-Notify Coordination, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer Verlag, «LECTURE NOTES IN BIOINFORMATICS», 2019, 11760, pp. 50 - 67 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Parigi, 4-5 Novembre 2019) [Contributo in Atti di convegno]Open Access
Castagna, Giuseppe; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca, Foundations of Session Types: 10 Years Later, in: Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019, USA, ACM, 2019, pp. 1 - 3 (atti di: 21st International Symposium on Principles and Practice of Programming Languages 2019, Porto, Portogallo, 7-9 Ottobre 2019) [Contributo in Atti di convegno]
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph, A core calculus for dynamic delta-oriented programming, «ACTA INFORMATICA», 2018, 55, pp. 269 - 307 [articolo]
Luca Padovani, A Type Checking Algorithm for Concurrent Object Protocols, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2018, 100, pp. 16 - 35 [articolo]
Padovani, Luca, Deadlock-Free Typestate-Oriented Programming, «THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING», 2018, 2, pp. 1 - 34 [articolo]
Aldinucci, Marco; Padovani, Luca; Torquati, Massimo (a cura di): Marco Aldinucci, Luca Padovani, Massimo Torquati, Euro-Par 2018: Parallel Processing, BERLIN, Springer, 2018, pp. 829 . [curatela]
De'Liguoro, Ugo; Padovani, Luca, Mailbox Types for Unordered Interactions, in: 32nd European Conference on Object-Oriented Programming, DEU, Schloss Dagstuhl, 2018, 109, pp. 1 - 28 (atti di: 32nd European Conference on Object-Oriented Programming (ECOOP'18), Amsterdam, July 16-21, 2018) [Contributo in Atti di convegno]
Padovani, Luca, A Simple Library Implementation of Binary Sessions, «JOURNAL OF FUNCTIONAL PROGRAMMING», 2017, 27, pp. 1 - 42 [articolo]
Melgratti, Hernán; Padovani, Luca, An OCaml Implementation of Binary Sessions, in: Behavioural Types: from Theory to Tools, NLD, River Publishers, 2017, pp. 243 - 263 [capitolo di libro]
