XML, Stylesheets and the Re-mathematization of Formal Content. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Irene Schena (Extreme Markup Languages®, 2001)

The Gnome DOM Engine. - Paolo Casarini; Luca Padovani (Extreme Markup Languages®, 2001)

HELM and the Semantic Math-Web. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Irene Schena (TPHOLs, 2001)

On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions. - Luca Padovani (MKM, 2003)

Mathematical Knowledge Management in HELM. - Andrea Asperti; Luca Padovani; Claudio Sacerdoti Coen; Ferruccio Guidi; Irene Schena (Ann. Math. Artif. Intell., 2003)

A Generative Approach to the Implementation of Language Bindings for the Document Object Model. - Luca Padovani; Claudio Sacerdoti Coen; Stefano Zacchiroli (GPCE, 2004)

Qsmodels: ASP Planning in Interactive Gaming Environment. - Luca Padovani; Alessandro Provetti (JELIA, 2004)

An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. - Luca Padovani; Riccardo Solmi (MKM, 2004)

Interactive Editing of MathML Markup Using TEX Syntax. - Luca Padovani (TEX, XML, and Digital Typography, 2004)

Compilation of Generic Regular Path Expressions Using C++ Class Templates. - Luca Padovani (CC, 2005)

A Distributed Implementation of Mobile Nets as Mobile Agents. - Nadia Busi; Luca Padovani (FMOODS, 2005)

Smooth Orchestrators. - Cosimo Laneve; Luca Padovani (FoSSaCS, 2006)

From Notation to Semantics: There and Back Again. - Luca Padovani; Stefano Zacchiroli (MKM, 2006)

A Formal Account of Contracts for Web Services. - Samuele Carpineti; Giuseppe Castagna; Cosimo Laneve; Luca Padovani (WS-FM, 2006)

The Must Preorder Revisited. - Cosimo Laneve; Luca Padovani (CONCUR, 2007)

Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. - Marco Bernardo 001; Luca Padovani (FMOODS, 2007)

The Pairing of Contracts and Session Types. - Cosimo Laneve; Luca Padovani (Concurrency, Graphs and Models, 2008)

Contract-Directed Synthesis of Simple Orchestrators. - Luca Padovani (CONCUR, 2008)

Contracts for Mobile Processes. - Giuseppe Castagna; Luca Padovani (CONCUR, 2009)

Foundations of session types. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2009)

Contract-Based Discovery and Adaptation of Web Services. - Luca Padovani (SFM, 2009)

Session Types at the Mirror - Luca Padovani (ICE, 2009)

PiDuce - A project for experimenting Web services technologies. - Samuele Carpineti; Cosimo Laneve; Luca Padovani (Sci. Comput. Program., 2009)

A theory of contracts for Web services. - Giuseppe Castagna; Nils Gesbert; Luca Padovani (ACM Trans. Program. Lang. Syst., 2009)

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. - Matteo Baldoni; Cristina Baroglio; Federico Bergenti; Antonio Boccalatte; Elisa Marengo; Maurizio Martelli; Viviana Mascardi; Luca Padovani; Viviana Patti; Alessandro Ricci; Gianfranco Rossi; Andrea Santi (MALLOW, 2010)

Session Types = Intersection Types + Union Types - Luca Padovani (ITRS, 2010)

Contract-based discovery of Web services modulo simple orchestrators. - Luca Padovani (Theor. Comput. Sci., 2010)

Typing Copyless Message Passing. - Viviana Bono; Chiara Messa; Luca Padovani (ESOP, 2011)

On Global Types and Multi-party Sessions. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (FMOODS/FORTE, 2011)

Polymorphic Endpoint Types for Copyless Message Passing - Viviana Bono; Luca Padovani (ICE, 2011)

A formal foundation for dynamic delta-oriented software product lines. - Ferruccio Damiani; Luca Padovani; Ina Schaefer (GPCE, 2012)

Typing Copyless Message Passing - Viviana Bono; Luca Padovani (Log. Methods Comput. Sci., 2012)

On Global Types and Multi-Party Session - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Luca Padovani (Log. Methods Comput. Sci., 2012)

On projecting processes into session types. - Luca Padovani (Math. Struct. Comput. Sci., 2012)

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (COORDINATION, 2013)

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language. - Viviana Bono; Luca Padovani; Andrea Tosatto (FMOODS/FORTE, 2013)

Fair Subtyping for Open Session Types. - Luca Padovani (ICALP (2), 2013)

From Lock Freedom to Progress Using Session Types. - Luca Padovani (PLACES, 2013)

Typing Liveness in Multiparty Communicating Systems. - Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira (COORDINATION, 2014)

Deadlock and lock freedom in the linear π-calculus. - Luca Padovani (CSL-LICS, 2014)

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types. - Luca Padovani (FoSSaCS, 2014)

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. - Giuseppe Castagna; Kim Nguyen 001; Zhiwu Xu 001; Hyeonseung Im; Sergueï Lenglet; Luca Padovani (POPL, 2014)

Session Type Isomorphisms. - Mariangiola Dezani-Ciancaglini; Luca Padovani; Jovanka Pantovic (PLACES, 2014)

Exception handling for copyless messaging. - Svetlana Jaksic; Luca Padovani (Sci. Comput. Program., 2014)

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi. - Luca Padovani; Tzu-Chun Chen; Andrea Tosatto (COORDINATION, 2015)

Types for Deadlock-Free Higher-Order Programs. - Luca Padovani; Luca Novara (FORTE, 2015)

A Gentle Introduction to Multiparty Asynchronous Session Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (SFM, 2015)

Type Reconstruction for the Linear π-Calculus with Composite Regular Types. - Luca Padovani (Log. Methods Comput. Sci., 2015)

An algebraic theory for web service contracts. - Cosimo Laneve; Luca Padovani (Formal Aspects Comput., 2015)

On the chemistry of typestate-oriented actors. - Silvia Crafa; Luca Padovani (CoRR, 2016)

Foundations of Session Types and Behavioural Contracts. - 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 (ACM Comput. Surv., 2016)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

Global progress for dynamically interleaved multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Luca Padovani (Math. Struct. Comput. Sci., 2016)

Fair subtyping for multi-party session types. - Luca Padovani (Math. Struct. Comput. Sci., 2016)

A simple library implementation of binary sessions. - Luca Padovani (J. Funct. Program., 2017)

On Sessions and Infinite Data. - Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini (Log. Methods Comput. Sci., 2017)

Chaperone contracts for higher-order sessions. - Hernán C. Melgratti; Luca Padovani (Proc. ACM Program. Lang., 2017)

The Chemical Approach to Typestate-Oriented Programming. - Silvia Crafa; Luca Padovani (ACM Trans. Program. Lang. Syst., 2017)

Mailbox Types for Unordered Interactions. - Ugo de'Liguoro; Luca Padovani (ECOOP, 2018)

A core calculus for dynamic delta-oriented programming. - Ferruccio Damiani; Luca Padovani; Ina Schaefer; Christoph Seidl 001 (Acta Informatica, 2018)

A type checking algorithm for concurrent object protocols. - Luca Padovani (J. Log. Algebraic Methods Program., 2018)

Deadlock-Free Typestate-Oriented Programming. - Luca Padovani (Art Sci. Eng. Program., 2018)

Deadlock Analysis of Wait-Notify Coordination. - Cosimo Laneve; Luca Padovani (The Art of Modelling Computational Systems, 2019)

Foundations of Session Types: 10 Years Later. - Giuseppe Castagna; Mariangiola Dezani-Ciancaglini; Elena Giachino; Luca Padovani (PPDP, 2019)

Concurrent Typestate-Oriented Programming in Java. - Rosita Gerbo; Luca Padovani (PLACES@ETAPS, 2019)

Context-Free Session Type Inference. - Luca Padovani (ACM Trans. Program. Lang. Syst., 2019)

Probabilistic Analysis of Binary Sessions. - Omar Inverso; Hernán C. Melgratti; Luca Padovani; Catia Trubiani; Emilio Tuosto (CONCUR, 2020)

A Dependently Typed Linear π-Calculus in Agda. - Luca Ciccone; Luca Padovani (PPDP, 2020)

Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. - Luca Ciccone; Luca Padovani (ICALP, 2021)

An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. - Luca Ciccone; Luca Padovani (CONCUR, 2022)

On the Fair Termination of Client-Server Sessions. - Luca Padovani (TYPES, 2022)

Distributed workflows with Jupyter. - Iacopo Colonnelli; Marco Aldinucci; Barbara Cantalupo; Luca Padovani; Sergio Rabellino; Concetto Spampinato; Roberto Morelli; Rosario Di Carlo; Nicolò Magini; Carlo Cavazzoni (Future Gener. Comput. Syst., 2022)

Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020. - Stephanie Balzer; Luca Padovani (J. Log. Algebraic Methods Program., 2022)

Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. - Luca Ciccone; Luca Padovani (Log. Methods Comput. Sci., 2022)

Fair termination of binary sessions. - Luca Ciccone; Luca Padovani (Proc. ACM Program. Lang., 2022)

EXPRESSing Session Types. - Ilaria Castellani; Ornela Dardha; Luca Padovani; Davide Sangiorgi (EXPRESS/SOS, 2023)

The Concurrent Calculi Formalisation Benchmark. - Marco Carbone; David Castro-Perez; Francisco Ferreira 001; Lorenzo Gheri; Frederik Krogsdal Jacobsen; Alberto Momigliano; Luca Padovani; Alceste Scalas; Dawit Legesse Tirore; Martin Vassor; Nobuko Yoshida; Daniel Zackon (COORDINATION, 2024)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (FM (1), 2024)

sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions. - Francesco Dagnino; Luca Padovani (PPDP, 2024)

On the Almost-Sure Termination of Binary Sessions. - Ugo Dal Lago; Luca Padovani (PPDP, 2024)

Fair termination of multiparty sessions. - Luca Ciccone; Francesco Dagnino; Luca Padovani (J. Log. Algebraic Methods Program., 2024)

A logical account of subtyping for session types. - Ross Horne; Luca Padovani (J. Log. Algebraic Methods Program., 2024)

Artifact for paper "Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows". - Iacopo Colonnelli; Doriana Medic; Alberto Mulone; Viviana Bono; Luca Padovani; Marco Aldinucci (Zenodo, 2024)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping. - Mario Bravetti; Luca Padovani; Gianluigi Zavattaro (CONCUR, 2025)

Fair Termination of Asynchronous Binary Sessions. - Luca Padovani; Gianluigi Zavattaro (ECOOP, 2025)