«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 these sites:

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.

AAA

submitted papers

[2]
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
unpublished, 2014
[1]
An Algebraic Theory for Web Service Contracts
Cosimo Laneve and Luca Padovani
unpublished, 2013
AAA

journal papers 2014 2012 2010 2009 2003 older

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

proceedings 2013 2012 2011 2010 2009 older

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

book chapters

[1]
Contract-based Discovery and Adaptation of Web Services
Luca Padovani
9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (SFM'09)
LNCS, vol. 5569, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, pages 213-260, Springer, 2009
AAA

edited books

Book cover

[1]
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, eds. Marco Bernardo, Luca Padovani, and Gianluigi Zavattaro, Springer, ISBN 978-3-642-01917-3, 2009
AAA

seminars

[15]
Behavioral subtyping INVITED LECTURER
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 INVITED SPEAKER
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
[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
[10]
Fair Subtyping for Open Session Types
[9]
Fair Testing and Fair Subtyping INVITED SPEAKER
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 INVITED SPEAKER
1st Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011
[6]
Contract-based Discovery and Adaptation of Web Services INVITED SPEAKER
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
[4]
A Taste of Carbon
[3]
A Formal Account of Contracts for Web Services
[2]
PiDuce
[1]
The Mathematical Markup Language and Web Technologies for Mathematics INVITED LECTURER
Trieste, Italy, 2003
AAA

dissertations

[2]
MathML Formatting
Luca Padovani
PhD Thesis, Technical Report UBLCS-2003-3, Dipartimento di Informatica, Università di Bologna, 2003
[1]
Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione
Luca Padovani
Master thesis, 1998
AAA

technical reports

[10]
Types for Deadlock-Free Higher-Order Concurrent Programs
Luca Padovani and Luca Novara
Technical Report hal-00954364, 2014
[9]
Yet Another Type System for Lock-Free Processes
Luca Padovani
Technical Report hal-00863129, 2013
[8]
Fair Subtyping for Open Session Types
Luca Padovani
Technical Report RT 146/13, Dipartimento di Informatica, Università di Torino, 2013
[7]
Exception Handling for Copyless Messaging
Svetlana Jakšić and Luca Padovani
Technical Report RT 143/12, Dipartimento di Informatica, Università di Torino, 2012
.pdf superseded by [10] in journal papers
[6]
A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
Ferruccio Damiani, Luca Padovani, and Ina Schaefer
Technical Report RT 142/12, Dipartimento di Informatica, Università di Torino, 2012
[5]
Fair Subtyping for Multi-Party Session Types
Luca Padovani
Technical Report hal-00546531, 2011
[4]
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]
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators
Luca Padovani and Stefano Zacchiroli
Technical Report UBLCS-2007-23, Dipartimento di Informatica, Università di Bologna, 2007
[2]
MathML Rendering/Browsing engine
Hanane Naciri and Luca Padovani
Technical Report D4.a, IST-2001-33562 MoWGLI, 2003
[1]
Prototype functionalities for assisted annotation
Philippe Audebaud and Luca Padovani
Technical Report D4.c, IST-2001-33562 MoWGLI, 2003
AAA

white papers

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