default search action
Luca Padovani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 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) - [c64]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 - [c63]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 - [c62]Francesco Dagnino, Luca Padovani:
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. PPDP 2024: 4:1-4:13 - [c61]Ugo Dal Lago, Luca Padovani:
On the Almost-Sure Termination of Binary Sessions. PPDP 2024: 9:1-9:12 - [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 - [c56]Luca Padovani:
On the Fair Termination of Client-Server Sessions. TYPES 2022: 5:1-5:21 - [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) - [i8]Luca Padovani:
On the Fair Termination of Client-Server Sessions. CoRR abs/2212.05457 (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)
2010 – 2019
- 2019
- [j22]Luca Padovani:
Context-Free Session Type Inference. ACM Trans. Program. Lang. Syst. 41(2): 9:1-9:37 (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 - [c50]Rosita Gerbo, Luca Padovani:
Concurrent Typestate-Oriented Programming in Java. PLACES@ETAPS 2019: 24-34 - 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) - [j20]Luca Padovani:
A type checking algorithm for concurrent object protocols. J. Log. Algebraic Methods Program. 100: 16-35 (2018) - [j19]Luca Padovani:
Deadlock-Free Typestate-Oriented Programming. Art Sci. Eng. Program. 2(3): 15 (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) - [i4]Luca Padovani:
Deadlock-Free Typestate-Oriented Programming. CoRR abs/1803.10670 (2018) - 2017
- [j18]Luca Padovani:
A simple library implementation of binary sessions. J. Funct. Program. 27: e4 (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) - [c48]Luca Padovani:
Context-Free Session Type Inference. ESOP 2017: 804-830 - 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) - [j11]Luca Padovani:
Fair subtyping for multi-party session types. Math. Struct. Comput. Sci. 26(3): 424-464 (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
- [j10]Luca Padovani:
Type Reconstruction for the Linear π-Calculus with Composite Regular Types. Log. Methods Comput. Sci. 11(4) (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 - [c45]Luca Padovani, Luca Novara:
Types for Deadlock-Free Higher-Order Programs. FORTE 2015: 3-18 - [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 - [c41]Luca Padovani:
Deadlock and lock freedom in the linear π-calculus. CSL-LICS 2014: 72:1-72:10 - [c40]Luca Padovani:
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. FoSSaCS 2014: 88-102 - [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 - [c35]Luca Padovani:
Fair Subtyping for Open Session Types. ICALP (2) 2013: 373-384 - [c34]Cosimo Laneve, Luca Padovani:
An Algebraic Theory for Web Service Contracts. IFM 2013: 301-315 - [c33]Luca Padovani:
From Lock Freedom to Progress Using Session Types. PLACES 2013: 3-19 - 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) - [j5]Luca Padovani:
On projecting processes into session types. Math. Struct. Comput. Sci. 22(2): 237-289 (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
- [c30]Luca Padovani:
Fair Subtyping for Multi-party Session Types. COORDINATION 2011: 127-141 - [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
- [j4]Luca Padovani:
Contract-based discovery of Web services modulo simple orchestrators. Theor. Comput. Sci. 411(37): 3328-3347 (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 - [c24]Luca Padovani:
Session Types = Intersection Types + Union Types. ITRS 2010: 71-89
2000 – 2009
- 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 - [c21]Luca Padovani:
Contract-Based Discovery and Adaptation of Web Services. SFM 2009: 213-260 - [c20]Luca Padovani:
Session Types at the Mirror. ICE 2009: 71-86 - [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 - [c18]Luca Padovani:
Contract-Directed Synthesis of Simple Orchestrators. CONCUR 2008: 131-146 - [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
- [c10]Luca Padovani:
Compilation of Generic Regular Path Expressions Using C++ Class Templates. CC 2005: 27-42 - [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 - [c5]Luca Padovani:
Interactive Editing of MathML Markup Using TEX Syntax. TEX, XML, and Digital Typography 2004: 125-138 - 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) - [c4]Luca Padovani:
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions. MKM 2003: 66-79 - 2001
- [c3]Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content. Extreme Markup Languages® 2001 - [c2]Paolo Casarini, Luca Padovani:
The Gnome DOM Engine. Extreme Markup Languages® 2001 - [c1]Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena:
HELM and the Semantic Math-Web. TPHOLs 2001: 59-74
Coauthor Index
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-10-09 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint