«There are so many things that I don't understand.»
Daft Punk (Within)

on this page

Partial lists of my papers are also available on:

Disclaimer: Papers are made available on this webpage to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or other copyright holders.

submitted papers

1
Cosimo Laneve and Luca Padovani, An Algebraic Theory for Web Service Contracts, 2013.

journal papers 2014 2012 2010 2009 2003 older

to appear
12
Luca Padovani, Fair Subtyping for Multi-Party Session Types, in Mathematical Structures in Computer Science, ISSN 0960-1295, Cambridge University Press, to appear.
11
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, and Luca Padovani, Global Progress for Dynamically Interleaved Multiparty Sessions, in Mathematical Structures in Computer Science, ISSN 0960-1295, Cambridge University Press, to appear.
2014
10
Svetlana Jakšić and Luca Padovani, Exception Handling for Copyless Messaging, in Science of Computer Programming, Vol. 84, pages 22-51, ISSN 0167-6423, Elsevier, 2014.
2012
9
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, and Luca Padovani, On Global Types and Multi-Party Sessions, in Logical Methods in Computer Science, Vol. 8, Issue 1:24, pages 1-45, ISSN 1860-5974, 2012.
8
Viviana Bono and Luca Padovani, Typing Copyless Message Passing, in Logical Methods in Computer Science, Vol. 8, Issue 1:17, pages 1-50, ISSN 1860-5974, 2012.
7
Luca Padovani, On Projecting Processes into Session Types, in Mathematical Structures in Computer Science, Vol. 22, Issue 2, pages 237-289, ISSN 0960-1295, Cambridge University Press, 2012.
2010
6
Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, in Theoretical Computer Science, Vol. 411, pages 3328-3347, ISSN 0304-3975, Elsevier, 2010.
2009
5
Samuele Carpineti, Cosimo Laneve, and Luca Padovani, PiDuce - A Project for Experimenting Web Services Technologies, in Science of Computer Programming, Vol. 74, No. 10, pages 777-811, ISSN 0167-6423, Elsevier, 2009.
4
Giuseppe Castagna, Nils Gesbert, and Luca Padovani, A Theory of Contracts for Web Services, in ACM Transactions on Programming Languages and Systems, Vol. 31, No. 5, ISSN 0164-0925, ACM, 2009.
2003
3
Luca Padovani, MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality, The Communications of the TeX Users Group, Vol. 24, No. 1, pages 53-61, ISSN 0896-3207, Portland, Oregon, USA, 2003.
2
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi, and Irene Schena, Mathematical Knowledge Management in HELM, in Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management, Vol. 38, No. 1-3, pages 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003.
2002
1
Paolo Casarini and Luca Padovani, The GNOME DOM Engine, in Markup Languages: Theory & Practice, Vol. 3, No. 2, pages 173-190, ISSN 1099-6621, MIT Press, 2002.

proceedings 2013 2012 2011 2010 2009 older

2014
49
Luca Padovani, Deadlock and Lock Freedom in the Linear π-Calculus, in Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), pages 72:1-72:10, ACM, 2014.
48
Luca Padovani, Vasco Thudichum Vasconcelos, and Hugo Torres Vieira, Typing Liveness in Multiparty Communicating Systems, in Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), Eva Kühn and Rosario Pugliese (editors), LNCS, Vol. 8459, pages 147-162, Springer, 2014.
47
Mariangiola Dezani-Ciancaglini, Luca Padovani, and Jovanka Pantović, Session Type Isomorphisms, to appear in Proceedings of the Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'14), Alastair F. Donaldson and Vasco Thudichum Vasconcelos (editors), EPTCS, Vol. 155, pages 61-71, Open Publishing Association, 2014.
46
Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Anca Muscholl (editor), LNCS, Vol. 8412, pages 88-102, Springer, 2014.
45
Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, and Luca Padovani, Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation, in Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14), ACM SIGPLAN Notices, Vol. 49, Issue 1, pages 5-17, ACM, 2014.
2013
44
Luca Padovani, Fair Subtyping for Open Session Types, in Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP'13), Part II, Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg (editors), LNCS, Vol. 7966, pages 373-384, Springer 2013.
43
Cosimo Laneve and Luca Padovani, An Algebraic Theory for Web Service Contracts, in Proceedings of the 10th International Conference on Integrated Formal Methods (IFM'13), Einar Broch Johnsen and Luigia Petre (editors), LNCS, Vol. 7940, pages 301-315, Springer, 2013.
42
Viviana Bono, Luca Padovani, and Andrea Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, in Proceedings of the 2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13), Dirk Beyer and Michele Boreale (editors), LNCS, Vol. 7892, pages 83-98, Springer, 2013.
41
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, and Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION'13), Christine Julien and Rocco De Nicola (editors), LNCS, Vol. 7890, pages 45-59, Springer, 2013.
40
Luca Padovani, From Lock Freedom to Progress Using Session Types, in Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13), Nobuko Yoshida and Wim Vanderbauwhede (editors), EPTCS, Vol. 137, pages 3-19, Open Publishing Association, 2013.
39
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, and Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in Proceedings of the 1st International Workshop on Behavioural Types (BEAT'13), pages 16-27, 2013.
2012
38
Ferruccio Damiani, Luca Padovani, and Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, in Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE'12), Klaus Ostermann and Walter Binder (editors), ACM SIGPLAN Notices, Vol. 48, Issue 3, pages 1-10, ACM, 2012.
37
Svetlana Jakšić and Luca Padovani, Exception Handling for Copyless Messaging, in Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'12), Danny De Schreye, Gerda Janssens, and Andy King (editors), pages 151-162, ACM, 2012.
2011
36
Viviana Bono and Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, in Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone (editors), EPTCS, Vol. 59, pages 52-67, Open Publishing Association, 2011.
35
Luca Padovani, Fair Subtyping for Multi-Party Session Types, in Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION'11), Wolfgang De Meuter and Gruia-Catalin Roman (editors), LNCS, Vol. 6721, pages 127-141, Springer, 2011.
34
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, and Luca Padovani, On Global Types and Multi-Party Sessions, in Proceedings of the 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems (FMOODS'11), Roberto Bruni and Juergen Dingel (editors), LNCS, Vol. 6722, pages 1-28, Springer, 2011.
33
Viviana Bono, Chiara Messa, and Luca Padovani, Typing Copyless Message Passing, in Proceedings of the 20th European Symposium on Programming (ESOP'11), Gilles Barthe (editor), LNCS, Vol. 6602, pages 57-76, Springer, 2011.
2010
32
Luca Padovani, Session Types = Intersection Types + Union Types, in Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS'10), Elaine Pimentel, Betti Venneri, and Joe Wells (editors), EPTCS, Vol. 45, pages 71-89, Open Publishing Association, 2011.
31
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, and Andrea Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, in Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10), Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet (editors), Vol. 627, pages 134-149, CEUR, ISSN 1613-0073, 2010.
2009
30
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, and Luca Padovani, Foundations of Session Types, in Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), António Porto and Francisco J. López-Fraguas (editors), pages 219-230, ACM, 2009.
29
Giuseppe Castagna and Luca Padovani, Contracts for Mobile Processes, in Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), Mario Bravetti and Gianluigi Zavattaro (editors), LNCS, Vol. 5710, pages 211-228, Springer, 2009.
28
Luca Padovani, Session Types at the Mirror, in Proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09), Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto (editors), EPTCS, Vol. 12, pages 71-86, Open Publishing Association, 2009.
27
Giuseppe Castagna and Luca Padovani, A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous CCS, presented at the 11th International Workshop on Verification of Infinite-State Systems (INFINITY'09), 2009.
2008
26
Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, in Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), Franck van Breugel and Marsha Chechik (editors), LNCS, Vol. 5201, pages 131-146, Springer, 2008.
25
Cosimo Laneve and Luca Padovani, The Pairing of Contracts and Session Types, in Concurrency, Graphs and Models (Ugo65'08), Pierpaolo Degano, Rocco De Nicola, and José Meseguer (editors), LNCS, Vol. 5065, Springer, pages 681-700, 2008.
24
Giuseppe Castagna, Nils Gesbert, and Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 35th annual symposium on Principles of Programming Languages (POPL'08), ACM SIGPLAN Notices, Vol. 43, Issue 1, pages 261-272, ACM, 2008.
2007
23
Cosimo Laneve and Luca Padovani, The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts, in Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07), Luís Caires and Vasco Thudichum Vasconcelos (editors), LNCS, Vol. 4703, pages 212-225, Springer, 2007.
22
Marco Bernardo and Luca Padovani, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, in Proceedings of the 9th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Marcello M. Bonsangue and Einar Broch Johnsen (editors), LNCS, Vol. 4468, pages 269-284, Springer, 2007.
21
Giuseppe Castagna, Nils Gesbert, and Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X'07), pages 37-48, ACM, 2007.
2006
20
Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, and Luca Padovani, A Formal Account of Contracts for Web Services, in Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), Mario Bravetti, Manuel Núñez, and Gianluigi Zavattaro (editors), LNCS, Vol. 4184, pages 148-162, Springer, 2006.
19
Luca Padovani and Stefano Zacchiroli, From Notation to Semantics: There and Back Again, in Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06), Jonathan M. Borwein and William M. Farmer (editors), LNAI, Vol. 4108, pages 194-207, Springer, 2006.
18
Cosimo Laneve and Luca Padovani, Smooth Orchestrators, in Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), Luca Aceto and Anna Ingólfsdóttir (editors), LNCS, Vol. 3921, pages 32-46, Springer, 2006.
2005
17
Nadia Busi and Luca Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, in Proceedings of the 7th IFIP Conference of Formal Methods for Open Object-Based Distributed Systems (FMOODS'05), Martin Steffen and Gianluigi Zavattaro (editors), LNCS, Vol. 3535, pages 259-274, Springer, 2005.
16
Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in Proceedings of the 14th Conference on Compiler Construction (CC'05), Rastislav Bodik (editor), LNCS, Vol. 3443, pages 27-42, Springer, 2005.
2004
15
Luca Padovani, Claudio Sacerdoti Coen, and Stefano Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE'04), Gabor Karsai and Eelco Visser (editors), LNCS, Vol. 3286, pages 469-487, Springer, 2004.
14
Luca Padovani and Riccardo Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, in Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04), Andrea Asperti, Grzegorz Bancerek, and Andrzej Trybulec (editors), LNCS, Vol. 3119, pages 302-316, Springer, 2004.
13
Luca Padovani, A Math Canvas for the GNOME Desktop, in Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC'04), Vol. 107, ISSN 0806-5942, Agder University College, 2004.
12
Luca Padovani, Interactive Editing of MathML Markup Using TeX Syntax, in Preprints for the 2004 Annual Meeting and in Proceedings of the International Conference on TeX, XML, and Digital Typography (TUG'04), Apostolos Syropoulos, Karl Berry, Yannis Haralambous, Baden Hughes, Steven Peter, and John Plaice (editors), LNCS, Vol. 3130, pages 125-138, Springer, 2004.
2003
11
Luca Padovani, On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions, in Proceedings of the 2nd International Conference on Mathematical Knowledge Management (MKM'03), Andrea Asperti, Bruno Buchberger, and James H. Davenport (editors), LNCS, Vol. 2594, pages 66-79, Springer, 2003.
2002
10
Luca Padovani, A Standalone Rendering Engine for MathML, in Proceedings of the MathML International Conference (MathML'02), 2002.
9
Yuzhen Xie, Stephen M. Watt, and Luca Padovani, A Lisp Subset Based on MathML, in Proceedings of the MathML International Conference (MathML'02), 2002.
2001
8
Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, Mathematical Knowledge Management in HELM, in Proceedings of the 1st International Workshop on Mathematical Knowledge Management (MKM'01), Bruno Buchberger and Olga Caprotti (editors), 2001.
7
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, HELM and the Semantic Math-Web, in Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), Richard J. Boulton and Paul B. Jackson (editors), LNCS, Vol. 2152, pages 59-74, Springer, 2001.
6
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, XML, Stylesheets and the Re-mathematization of Formal Content, in Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 17-27, 2001.
5
Paolo Casarini and Luca Padovani, The GNOME DOM Engine, in Proceedings of the Extreme Markup Languages Conference (EXTREME'01), pages 45-53, 2001.
4
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, Formal Mathematics on the Web, in Proceedings of the 8th International Conference `Crimea 2001': Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea'01), Vol. 1, pages 342-346, 2001.
2000
3
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, Formal Mathematics in MathML, Session Presentation at 1st MathML International Conference (MathML'00), 2000.
2
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, Towards a Library of Formal Mathematics, Technical Report at 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), 2000.
1
Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, and Irene Schena, Content-Centric Logical Environments, Short Presentation at 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), 2000.

book chapters

1
Luca Padovani, Contract-based Discovery and Adaptation of Web Services, in 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09), LNCS, Vol. 5569, pages 213-260, Springer, 2009.

edited books

Book cover

1
Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro (editors), Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09), Advanced Lectures, LNCS, Vol. 5569, Springer, ISBN 978-3-642-01917-3, 2009.

seminars

15
Behavioral subtyping, 1st International Summer School on Behavioural Types (BETTYSS'14), Lovran, Croatia, 30 June - 4 July 2014.
14
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs, NII Shonan Meeting (Shonan'14), Tokyo, Japan, 26-30 May 2014.
13
Un système de types pour prévenir les interblocages dans le π-calcul linéaire, Laboratoire d'Algorithmique, Complexité et Logique, 2014.
12
Types and Effects for Deadlock-Free Higher-Order Concurrent Programs, BETTY WG/MC Meetings (BETTY'14), Grenoble, France, 13 April 2014.
11
Deadlock and lock freedom in the linear π-calculus, Dipartimento di Informatica, Università di Bologna, 2014
10
Fair Subtyping for Open Session Types, INRIA Sophia Antipolis Méditerranée, 2013.
9
Fair Testing and Fair Subtyping, Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012.
8
Fair Subtyping for Multi-Party Session Types, Rencontre des groupes de travail GEOCAL (Géométrie du calcul) et LAC (Logique, Algèbre et Calcul) du GDR Informatique mathématique (LAC'11), Palaiseau, France, 2011.
7
Semantic Subtyping for Session Types, 1st Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011.
6
Contract-based Discovery and Adaptation of Web Services, Workshop on Security Oriented Formal Techniques (WSOFT'10), Pisa, Italy, 2010 and 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), Pisa, Italy, 2010.
5
Contracts for Web Services, Dipartimento di Informatica, Università di Torino, 2009.
4
A Taste of Carbon, Laboratoire Preuves, Programmes et Systèmes, 2008.
3
A Formal Account of Contracts for Web Services, INRIA Saclay, 2006.
2
PiDuce, Istituto di Scienze e Tecnologie dell'Informazione, Università di Urbino, 2005.
1
The Mathematical Markup Language and Web Technologies for Mathematics, Trieste, Italy, 2003.

dissertations

2
Luca Padovani, MathML Formatting, Ph.D. dissertation, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003 (refereed by Robert Miner, John Pedersen, Stephen M. Watt).
1
Luca Padovani, Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione (A distributed language with mobile agents: design and implementation), Master thesis, 1998.

technical reports

10
Luca Padovani and Luca Novara, Types for Deadlock-Free Higher-Order Concurrent Programs, 2014.
9
Luca Padovani, Yet Another Type System for Lock-Free Processes, 2013.
8
Luca Padovani, Fair Subtyping for Open Session Types, Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013.
7
Svetlana Jakšić and Luca Padovani, Exception Handling for Copyless Messaging, Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012.
6
Ferruccio Damiani, Luca Padovani, and Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012.
5
Luca Padovani, Fair Subtyping for Multi-Party Session Types, 2011.
4
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, and Andrea Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, Technical Report RT 128/10, Dipartimento di Informatica, Università di Torino, 2010.
3
Luca Padovani and Stefano Zacchiroli, Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators, Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007.
2
Hanane Naciri and Luca Padovani, MathML Rendering/Browsing engine, Report D4.a, IST-2001-33562 MoWGLI.
1
Philippe Audebaud and Luca Padovani, Prototype functionalities for assisted annotation, Report D4.c, IST-2001-33562 MoWGLI.

white papers

2
Luca Padovani, The Path Expression Template Library, 2005.
1
Andrea Asperti and Luca Padovani, Mobile Computation vs. Mobile Code: What Implementative Issues?, 1998.
made with LESS CSS validate XHTML 1.1 CSS 3 URLs modified Thu, 28 Aug 2014Flag Counter