Luca Padovani

Viviana Bono, Luca Padovani: Typing Copyless Message Passing. Logical Methods in Computer Science 8(1) (2012)

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-Party Session. Logical Methods in Computer Science 8(1) (2012)

Luca Padovani: On projecting processes into session types. Mathematical Structures in Computer Science 22(2): 237-289 (2012)

Ferruccio Damiani, Luca Padovani, Ina Schaefer: A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10

Svetlana Jaksic, Luca Padovani: Exception handling for copyless messaging. PPDP 2012: 151-162

Luca Padovani: Fair Subtyping for Multi-party Session Types. COORDINATION 2011: 127-141

Viviana Bono, Chiara Messa, Luca Padovani: Typing Copyless Message Passing. ESOP 2011: 57-76

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani: On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28

Viviana Bono, Luca Padovani: Polymorphic Endpoint Types for Copyless Message Passing. ICE 2011: 52-67

Luca Padovani: Contract-based discovery of Web services modulo simple orchestrators. Theor. Comput. Sci. 411(37): 3328-3347 (2010)

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

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

Luca Padovani: Session Types = Intersection Types + Union Types. ITRS 2010: 71-89

Samuele Carpineti, Cosimo Laneve, Luca Padovani: PiDuce - A project for experimenting Web services technologies. Sci. Comput. Program. 74(10): 777-811 (2009)

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

Giuseppe Castagna, Luca Padovani: Contracts for Mobile Processes. CONCUR 2009: 211-228

Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani: Foundations of session types. PPDP 2009: 219-230

Luca Padovani: Contract-Based Discovery and Adaptation of Web Services. SFM 2009: 213-260

Luca Padovani: Session Types at the Mirror. ICE 2009: 71-86

Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (Eds.): 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

Cosimo Laneve, Luca Padovani: The Pairing of Contracts and Session Types. Concurrency, Graphs and Models 2008: 681-700

Luca Padovani: Contract-Directed Synthesis of Simple Orchestrators. CONCUR 2008: 131-146

Giuseppe Castagna, Nils Gesbert, Luca Padovani: A theory of contracts for web services. POPL 2008: 261-272

Cosimo Laneve, Luca Padovani: The Must Preorder Revisited. CONCUR 2007: 212-225

Marco Bernardo, Luca Padovani: Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders. FMOODS 2007: 269-284

Giuseppe Castagna, Nils Gesbert, Luca Padovani: A Theory of Contracts for Web Services. PLAN-X 2007: 37-48

Cosimo Laneve, Luca Padovani: Smooth Orchestrators. FoSSaCS 2006: 32-46

Luca Padovani, Stefano Zacchiroli: From Notation to Semantics: There and Back Again. MKM 2006: 194-207

Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani: A Formal Account of Contracts for Web Services. WS-FM 2006: 148-162

Luca Padovani: Compilation of Generic Regular Path Expressions Using C++ Class Templates. CC 2005: 27-42

Nadia Busi, Luca Padovani: A Distributed Implementation of Mobile Nets as Mobile Agents. FMOODS 2005: 259-274

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

Luca Padovani, Alessandro Provetti: Qsmodels: ASP Planning in Interactive Gaming Environment. JELIA 2004: 689-692

Luca Padovani, Riccardo Solmi: An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics. MKM 2004: 302-316

Luca Padovani: Interactive Editing of MathML Markup Using TEX Syntax. TEX, XML, and Digital Typography 2004: 125-138

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)

Luca Padovani: On the Roles of L^AT_EX and MathML in Encoding and Processing Mathematical Expressions. MKM 2003: 66-79

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

Paolo Casarini, Luca Padovani: The Gnome DOM Engine. Extreme Markup Languages® 2001

Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena: HELM and the Semantic Math-Web. TPHOLs 2001: 59-74