default search action
Luca Padovani
- > Home > Persons > Luca Padovani
Publications
- 2024
- [j28]Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair termination of multiparty sessions. J. Log. Algebraic Methods Program. 139: 100964 (2024) - [j27]Ross Horne, Luca Padovani:
A logical account of subtyping for session types. J. Log. Algebraic Methods Program. 141: 100986 (2024) - [c62]Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon:
The Concurrent Calculi Formalisation Benchmark. COORDINATION 2024: 149-158 - [c61]Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci:
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. FM (1) 2024: 226-244 - [i11]Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci:
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. CoRR abs/2407.01838 (2024) - 2023
- [c60]Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi:
EXPRESSing Session Types. EXPRESS/SOS 2023: 8-25 - [c59]Ross Horne, Luca Padovani:
A Logical Account of Subtyping for Session Types. PLACES@ETAPS 2023: 26-37 - 2022
- [j26]Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicolò Magini, Carlo Cavazzoni:
Distributed workflows with Jupyter. Future Gener. Comput. Syst. 128: 282-298 (2022) - [j25]Stephanie Balzer, Luca Padovani:
Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. J. Log. Algebraic Methods Program. 127: 100777 (2022) - [j24]Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. Log. Methods Comput. Sci. 18(3) (2022) - [j23]Luca Ciccone, Luca Padovani:
Fair termination of binary sessions. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [c58]Luca Ciccone, Luca Padovani:
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CONCUR 2022: 36:1-36:18 - [c57]Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. ECOOP 2022: 26:1-26:26 - [i10]Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. CoRR abs/2205.08786 (2022) - [i9]Luca Ciccone, Luca Padovani:
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CoRR abs/2207.03749 (2022) - 2021
- [c55]Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. ICALP 2021: 125:1-125:16 - [i7]Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. CoRR abs/2108.01503 (2021) - 2020
- [c54]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CONCUR 2020: 14:1-14:21 - [c53]Luca Ciccone, Luca Padovani:
A Dependently Typed Linear π-Calculus in Agda. PPDP 2020: 8:1-8:14 - [e3]Stephanie Balzer, Luca Padovani:
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020. EPTCS 314, 2020 [contents] - [i6]Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto:
Probabilistic Analysis of Binary Sessions. CoRR abs/2007.11832 (2020) - 2019
- [c52]Cosimo Laneve, Luca Padovani:
Deadlock Analysis of Wait-Notify Coordination. The Art of Modelling Computational Systems 2019: 50-67 - [c51]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3 - 2018
- [j21]Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018) - [c49]Ugo de'Liguoro, Luca Padovani:
Mailbox Types for Unordered Interactions. ECOOP 2018: 15:1-15:28 - [e2]Marco Aldinucci, Luca Padovani, Massimo Torquati:
Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings. Lecture Notes in Computer Science 11014, Springer 2018, ISBN 978-3-319-96982-4 [contents] - [i5]Ugo de'Liguoro, Luca Padovani:
Mailbox Types for Unordered Interactions. CoRR abs/1801.04167 (2018) - 2017
- [j17]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017) - [j16]Hernán C. Melgratti, Luca Padovani:
Chaperone contracts for higher-order sessions. Proc. ACM Program. Lang. 1(ICFP): 35:1-35:29 (2017) - [j15]Silvia Crafa, Luca Padovani:
The Chemical Approach to Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 39(3): 13:1-13:45 (2017) - 2016
- [j14]Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j13]Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [j12]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - [c47]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261 - [i3]Silvia Crafa, Luca Padovani:
On the chemistry of typestate-oriented actors. CoRR abs/1607.02927 (2016) - [i2]Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016) - 2015
- [j9]Cosimo Laneve, Luca Padovani:
An algebraic theory for web service contracts. Formal Aspects Comput. 27(4): 613-640 (2015) - [c46]Luca Padovani, Tzu-Chun Chen, Andrea Tosatto:
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. COORDINATION 2015: 83-98 - [c44]Silvia Crafa, Luca Padovani:
The chemical approach to typestate-oriented programming. OOPSLA 2015: 917-934 - [c43]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [i1]Luca Padovani, Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment. CoRR abs/1505.07263 (2015) - 2014
- [j8]Svetlana Jaksic, Luca Padovani:
Exception handling for copyless messaging. Sci. Comput. Program. 84: 22-51 (2014) - [c42]Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira:
Typing Liveness in Multiparty Communicating Systems. COORDINATION 2014: 147-162 - [c39]Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani:
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL 2014: 5-18 - [c38]Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. PLACES 2014: 61-71 - 2013
- [c37]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59 - [c36]Viviana Bono, Luca Padovani, Andrea Tosatto:
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. FMOODS/FORTE 2013: 83-98 - [c34]Cosimo Laneve, Luca Padovani:
An Algebraic Theory for Web Service Contracts. IFM 2013: 301-315 - 2012
- [j7]Viviana Bono, Luca Padovani:
Typing Copyless Message Passing. Log. Methods Comput. Sci. 8(1) (2012) - [j6]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-Party Session. Log. Methods Comput. Sci. 8(1) (2012) - [c32]Ferruccio Damiani, Luca Padovani, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10 - [c31]Svetlana Jaksic, Luca Padovani:
Exception handling for copyless messaging. PPDP 2012: 151-162 - 2011
- [c29]Viviana Bono, Chiara Messa, Luca Padovani:
Typing Copyless Message Passing. ESOP 2011: 57-76 - [c28]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28 - [c27]Viviana Bono, Luca Padovani:
Polymorphic Endpoint Types for Copyless Message Passing. ICE 2011: 52-67 - 2010
- [c26]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. MALLOW 2010 - [c25]Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi:
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. WOA 2010 - 2009
- [j3]Samuele Carpineti, Cosimo Laneve, Luca Padovani:
PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009) - [j2]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for Web services. ACM Trans. Program. Lang. Syst. 31(5): 19:1-19:61 (2009) - [c23]Giuseppe Castagna, Luca Padovani:
Contracts for Mobile Processes. CONCUR 2009: 211-228 - [c22]Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of session types. PPDP 2009: 219-230 - [e1]Marco Bernardo, Luca Padovani, Gianluigi Zavattaro:
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. Lecture Notes in Computer Science 5569, Springer 2009, ISBN 978-3-642-01917-3 [contents] - 2008
- [c19]Cosimo Laneve, Luca Padovani:
The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700 - [c17]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A theory of contracts for web services. POPL 2008: 261-272 - 2007
- [c16]Cosimo Laneve, Luca Padovani:
The Must Preorder Revisited. CONCUR 2007: 212-225 - [c15]Marco Bernardo, Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS 2007: 269-284 - [c14]Giuseppe Castagna, Nils Gesbert, Luca Padovani:
A Theory of Contracts for Web Services. PLAN-X 2007: 37-48 - 2006
- [c13]Cosimo Laneve, Luca Padovani:
Smooth Orchestrators. FoSSaCS 2006: 32-46 - [c12]Luca Padovani, Stefano Zacchiroli:
From Notation to Semantics: There and Back Again. MKM 2006: 194-207 - [c11]Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani:
A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162 - 2005
- [c9]Nadia Busi, Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274 - 2004
- [c8]Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli:
A Generative Approach to the Implementation of Language Bindings for the Document Object Model. GPCE 2004: 469-487 - [c7]Luca Padovani, Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692 - [c6]Luca Padovani, Riccardo Solmi:
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. MKM 2004: 302-316 - 2003
- [j1]Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena:
Mathematical Knowledge Management in HELM. Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003) - 2001
- [c3]Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® 2001 - [c1]Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena:
HELM and the Semantic Math-Web. TPHOLs 2001: 59-74
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-19 00:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint