Luca Padovani

112 papers A* 4A 6B 13C 13Journal 42Unranked 31
YearRankTypeTitle / Venue / Authors
2025 A* conf
A Novel Underwater Robot with Carangiform Locomotion Achieved via Single Degree of Actuation and Magnetically Transmitted Traveling Wave.
ICRA
Gianluca Manduca, Luca Padovani, Gaspare Santaera, Giorgio Graziani, Paolo Dario, Donato Romano, Cesare Stefanini
2025 B conf
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping.
CONCUR
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025 J jnl
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping.
CoRR
Mario Bravetti, Luca Padovani, Gianluigi Zavattaro
2025 A conf
Fair Termination of Asynchronous Binary Sessions.
ECOOP
Luca Padovani, Gianluigi Zavattaro
2025 J jnl
Fair Termination of Asynchronous Binary Sessions.
CoRR
Luca Padovani, Gianluigi Zavattaro
2024 J jnl
A logical account of subtyping for session types.
J. Log. Algebraic Methods Program.
Ross Horne, Luca Padovani
2024 J jnl
Experimental study of fish-like bodies with passive tail and tunable stiffness.
CoRR
Luca Padovani, Gianluca Manduca, Damiano Paniccia, Giorgio Graziani, Renzo Piva, Claudio Lugni
2024 J jnl
Fair termination of multiparty sessions.
J. Log. Algebraic Methods Program.
Luca Ciccone, Francesco Dagnino, Luca Padovani
2024 — conf
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows.
FM (1)
Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
2024 J jnl
Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows.
CoRR
Iacopo Colonnelli, Doriana Medic, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
2024 C conf
On the Almost-Sure Termination of Binary Sessions.
PPDP
Ugo Dal Lago, Luca Padovani
2024 C conf
The Concurrent Calculi Formalisation Benchmark.
COORDINATION
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
2024 C conf
sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure Sessions.
PPDP
Francesco Dagnino, Luca Padovani
2023 — conf
A Logical Account of Subtyping for Session Types.
PLACES@ETAPS
Ross Horne, Luca Padovani
2023 — conf
EXPRESSing Session Types.
EXPRESS/SOS
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
2022 B conf
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
CONCUR
Luca Ciccone, Luca Padovani
2022 J jnl
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus.
CoRR
Luca Ciccone, Luca Padovani
2022 J jnl
Distributed workflows with Jupyter.
Future Gener. Comput. Syst.
Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicolò Magini, Carlo Cavazzoni
2022 A conf
Fair Termination of Multiparty Sessions.
ECOOP
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 J jnl
Fair Termination of Multiparty Sessions.
CoRR
Luca Ciccone, Francesco Dagnino, Luca Padovani
2022 J jnl
Fair termination of binary sessions.
Proc. ACM Program. Lang.
Luca Ciccone, Luca Padovani
2022 J jnl
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
Log. Methods Comput. Sci.
Luca Ciccone, Luca Padovani
2022 — conf
On the Fair Termination of Client-Server Sessions.
TYPES
Luca Padovani
2022 J jnl
On the Fair Termination of Client-Server Sessions.
CoRR
Luca Padovani
2022 J jnl
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.
Stephanie Balzer, Luca Padovani
2021 J jnl
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types.
CoRR
Luca Ciccone, Luca Padovani
2021 A* conf
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
ICALP
Luca Ciccone, Luca Padovani
2020 C conf
A Dependently Typed Linear π-Calculus in Agda.
PPDP
Luca Ciccone, Luca Padovani
2020 B conf
Probabilistic Analysis of Binary Sessions.
CONCUR
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 J jnl
Probabilistic Analysis of Binary Sessions.
CoRR
Omar Inverso, Hernán C. Melgratti, Luca Padovani, Catia Trubiani, Emilio Tuosto
2020 — ed.
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020.
PLACES@ETAPS
Stephanie Balzer, Luca Padovani
2019 — conf
Concurrent Typestate-Oriented Programming in Java.
PLACES@ETAPS
Rosita Gerbo, Luca Padovani
2019 J jnl
Context-Free Session Type Inference.
ACM Trans. Program. Lang. Syst.
Luca Padovani
2019 — conf
Deadlock Analysis of Wait-Notify Coordination.
The Art of Modelling Computational Systems
Cosimo Laneve, Luca Padovani
2019 C conf
Foundations of Session Types: 10 Years Later.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2018 J jnl
A core calculus for dynamic delta-oriented programming.
Acta Informatica
Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl
2018 J jnl
A type checking algorithm for concurrent object protocols.
J. Log. Algebraic Methods Program.
Luca Padovani
2018 J jnl
Deadlock-Free Typestate-Oriented Programming.
CoRR
Luca Padovani
2018 J jnl
Deadlock-Free Typestate-Oriented Programming.
Art Sci. Eng. Program.
Luca Padovani
2018 — ed.
Euro-Par 2018: Parallel Processing - 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27-31, 2018, Proceedings
Euro-Par
Marco Aldinucci, Luca Padovani, Massimo Torquati
2018 A conf
Mailbox Types for Unordered Interactions.
ECOOP
Ugo de'Liguoro, Luca Padovani
2018 J jnl
Mailbox Types for Unordered Interactions.
CoRR
Ugo de'Liguoro, Luca Padovani
2017 J jnl
A simple library implementation of binary sessions.
J. Funct. Program.
Luca Padovani
2017 J jnl
Chaperone contracts for higher-order sessions.
Proc. ACM Program. Lang.
Hernán C. Melgratti, Luca Padovani
2017 A conf
Context-Free Session Type Inference.
ESOP
Luca Padovani
2017 J jnl
On Sessions and Infinite Data.
Log. Methods Comput. Sci.
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2017 J jnl
The Chemical Approach to Typestate-Oriented Programming.
ACM Trans. Program. Lang. Syst.
Silvia Crafa, Luca Padovani
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
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
2016 J jnl
Fair subtyping for multi-party session types.
Math. Struct. Comput. Sci.
Luca Padovani
2016 J jnl
Foundations of Session Types and Behavioural Contracts.
ACM Comput. Surv.
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
2016 J jnl
Global progress for dynamically interleaved multiparty sessions.
Math. Struct. Comput. Sci.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
2016 C conf
On Sessions and Infinite Data.
COORDINATION
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 J jnl
On Sessions and Infinite Data.
CoRR
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini
2016 J jnl
On the chemistry of typestate-oriented actors.
CoRR
Silvia Crafa, Luca Padovani
2015 — conf
A Gentle Introduction to Multiparty Asynchronous Session Types.
SFM
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
2015 J jnl
An algebraic theory for web service contracts.
Formal Aspects Comput.
Cosimo Laneve, Luca Padovani
2015 J jnl
Qsmodels: ASP Planning in Interactive Gaming Environment.
CoRR
Luca Padovani, Alessandro Provetti
2015 A conf
The chemical approach to typestate-oriented programming.
OOPSLA
Silvia Crafa, Luca Padovani
2015 C conf
Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.
COORDINATION
Luca Padovani, Tzu-Chun Chen, Andrea Tosatto
2015 J jnl
Type Reconstruction for the Linear π-Calculus with Composite Regular Types.
Log. Methods Comput. Sci.
Luca Padovani
2015 C conf
Types for Deadlock-Free Higher-Order Programs.
FORTE
Luca Padovani, Luca Novara
2014 — conf
Deadlock and lock freedom in the linear π-calculus.
CSL-LICS
Luca Padovani
2014 J jnl
Exception handling for copyless messaging.
Sci. Comput. Program.
Svetlana Jaksic, Luca Padovani
2014 A* conf
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
POPL
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
2014 — conf
Session Type Isomorphisms.
PLACES
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
2014 B conf
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.
FoSSaCS
Luca Padovani
2014 C conf
Typing Liveness in Multiparty Communicating Systems.
COORDINATION
Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira
2013 B conf
An Algebraic Theory for Web Service Contracts.
IFM
Cosimo Laneve, Luca Padovani
2013 — conf
Fair Subtyping for Open Session Types.
ICALP (2)
Luca Padovani
2013 — conf
From Lock Freedom to Progress Using Session Types.
PLACES
Luca Padovani
2013 C conf
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
COORDINATION
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
2013 — conf
Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.
FMOODS/FORTE
Viviana Bono, Luca Padovani, Andrea Tosatto
2012 B conf
A formal foundation for dynamic delta-oriented software product lines.
GPCE
Ferruccio Damiani, Luca Padovani, Ina Schaefer
2012 C conf
Exception handling for copyless messaging.
PPDP
Svetlana Jaksic, Luca Padovani
2012 J jnl
On Global Types and Multi-Party Session
Log. Methods Comput. Sci.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2012 J jnl
On projecting processes into session types.
Math. Struct. Comput. Sci.
Luca Padovani
2012 J jnl
Typing Copyless Message Passing
Log. Methods Comput. Sci.
Viviana Bono, Luca Padovani
2011 C conf
Fair Subtyping for Multi-party Session Types.
COORDINATION
Luca Padovani
2011 — conf
On Global Types and Multi-party Sessions.
FMOODS/FORTE
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
2011 — conf
Polymorphic Endpoint Types for Copyless Message Passing
ICE
Viviana Bono, Luca Padovani
2011 A conf
Typing Copyless Message Passing.
ESOP
Viviana Bono, Chiara Messa, Luca Padovani
2010 J jnl
Contract-based discovery of Web services modulo simple orchestrators.
Theor. Comput. Sci.
Luca Padovani
2010 — conf
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
MALLOW
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010 — conf
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
WOA
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010 — conf
Session Types = Intersection Types + Union Types
ITRS
Luca Padovani
2009 J jnl
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst.
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2009 — conf
Contract-Based Discovery and Adaptation of Web Services.
SFM
Luca Padovani
2009 B conf
Contracts for Mobile Processes.
CONCUR
Giuseppe Castagna, Luca Padovani
2009 — ed.
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
SFM
Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
2009 C conf
Foundations of session types.
PPDP
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani
2009 J jnl
PiDuce - A project for experimenting Web services technologies.
Sci. Comput. Program.
Samuele Carpineti, Cosimo Laneve, Luca Padovani
2009 — conf
Session Types at the Mirror
ICE
Luca Padovani
2008 A* conf
A theory of contracts for web services.
POPL
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2008 B conf
Contract-Directed Synthesis of Simple Orchestrators.
CONCUR
Luca Padovani
2008 — conf
The Pairing of Contracts and Session Types.
Concurrency, Graphs and Models
Cosimo Laneve, Luca Padovani
2007 — conf
A Theory of Contracts for Web Services.
PLAN-X
Giuseppe Castagna, Nils Gesbert, Luca Padovani
2007 — conf
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
FMOODS
Marco Bernardo, Luca Padovani
2007 B conf
The
CONCUR
Cosimo Laneve, Luca Padovani
2006 — conf
A Formal Account of Contracts for Web Services.
WS-FM
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
2006 — conf
From Notation to Semantics: There and Back Again.
MKM
Luca Padovani, Stefano Zacchiroli
2006 B conf
Smooth Orchestrators.
FoSSaCS
Cosimo Laneve, Luca Padovani
2005 — conf
A Distributed Implementation of Mobile Nets as Mobile Agents.
FMOODS
Nadia Busi, Luca Padovani
2005 B conf
Compilation of Generic Regular Path Expressions Using C++ Class Templates.
CC
Luca Padovani
2004 B conf
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
GPCE
Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli
2004 — conf
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.
MKM
Luca Padovani, Riccardo Solmi
2004 — conf
Interactive Editing of MathML Markup Using TEX Syntax.
TEX, XML, and Digital Typography
Luca Padovani
2004 B conf
Qsmodels: ASP Planning in Interactive Gaming Environment.
JELIA
Luca Padovani, Alessandro Provetti
2003 J jnl
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell.
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, Irene Schena
2003 — conf
On the Roles of L
MKM
Luca Padovani
2001 — conf
HELM and the Semantic Math-Web.
TPHOLs
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena
2001 — conf
The Gnome DOM Engine.
Extreme Markup Languages®
Paolo Casarini, Luca Padovani
2001 — conf
XML, Stylesheets and the Re-mathematization of Formal Content.
Extreme Markup Languages®
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena