«There are so many things that I don't understand.»
(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

Luca Padovani, Luca Novara, Types for Deadlock-Free Higher-Order Concurrent Programs.
, Luca Padovani, An Algebraic Theory for Web Service Contracts.

journal papersto appear2014201220102009older

to appear
Luca Padovani, Fair Subtyping for Multi-Party Session Types, to appear in , ISSN 0960-1295, Cambridge University Press.
, , , Luca Padovani, Global Progress for Dynamically Interleaved Multiparty Sessions, to appear in , ISSN 0960-1295, Cambridge University Press.
2014
, Luca Padovani, Exception Handling for Copyless Messaging, in , Vol. 84, pp. 22-51, ISSN 0167-6423, Elsevier, 2014.
2012
, , Luca Padovani, On Global Types and Multi-Party Sessions, in , Vol. 8, Issue 1:24, pp. 1-45, ISSN 1860-5974, 2012.
, Luca Padovani, Typing Copyless Message Passing, in , Vol. 8, Issue 1:17, pp. 1-50, ISSN 1860-5974, 2012.
Luca Padovani, On Projecting Processes into Session Types, in , Vol. 22, Special Issue 02, pp. 237-289, ISSN 0960-1295, Cambridge University Press, 2012.
2010
Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, in , Vol. 411, pp. 3328-3347, ISSN 0304-3975, Elsevier, 2010.
2009
Samuele Carpineti, , Luca Padovani, - A Project for Experimenting Web Services Technologies, in , Vol. 74, Issue 10, pp. 777-811, ISSN 0167-6423, Elsevier, 2009.
, , Luca Padovani, A Theory of Contracts for Web Services, in , Vol. 31, Issue 5, ISSN 0164-0925, New York, NY, USA, 2009.
2003
Luca Padovani, Formatting with TeX Rules, TeX Fonts, and TeX Quality, , Vol. 24, No. 1, pp. 53-61, ISSN 0896-3207, Portland, Oregon, USA, 2003.
, , Luca Padovani, , Irene Schena, Mathematical Knowledge Management in , in , Special Issue on Mathematical Knowledge Management, Vol. 38, Issue 1-3, pp. 27-46, ISSN 1012-2443, Kluwer Academic Publishers, 2003.
2002
, Luca Padovani, The Engine, in , Vol. 3, Issue 2, pp. 173-190, ISSN 1099-6621, MIT Press, 2002.

proceedings20142013201220112010older

2014
Luca Padovani, Deadlock and Lock Freedom in the Linear π-Calculus, to appear in Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (), Vienna, Austria, 14-18 July 2014.
Luca Padovani, , , Typing Liveness in Multiparty Communicating Systems, to appear in Proceedings of the 16th International Conference on Coordination Models and Languages (), Berlin, Germany, 3-6 June 2014.
, Luca Padovani, , Session Type Isomorphisms, to appear in Proceedings of the Programming Language Approaches to Concurrency and Communication-cEntric Software (), Grenoble, France, 12 April 2014.
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 (), Anca Muscholl (editor), LNCS 8412, pp. 88-102, Grenoble, France, 5-13 April 2014.
, , , , , 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 (), pp. 5-17, San Diego, USA, 22-24 January 2014.
2013
Luca Padovani, Fair Subtyping for Open Session Types, in Proceedings of the 40th International Colloquium on Automata, Languages and Programming (), Part II, Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska, and David Peleg (editors), LNCS 7966, pp. 373-384, Riga, Latvia, 8-12 July 2013.
, Luca Padovani, An Algebraic Theory for Web Service Contracts, in Proceedings of the 10th International Conference on integrated Formal Methods (), Einar Broch Johnsen and Luigia Petre (editors), LNCS 7940, pp. 301-315, Turku, Finland, 10-14 June 2013. INVITED
, Luca Padovani, 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 (), Dirk Beyer and Michele Boreale (editors), LNCS 7892, pp. 83-98, Florence, Italy, 3-6 June 2013.
, , Luca Padovani, , 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 7890, pp. 45-59, Florence, Italy, 3-5 June 2013.
Luca Padovani, From Lock Freedom to Progress Using Session Types, in Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (), and Wim Vanderbauwhede (editors), EPTCS 137, pp. 3-19, Rome, Italy, 23 March 2013.
, , Luca Padovani, , Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, in Proceedings of the 1st International Workshop on Behavioural Types (), pp. 16-27, Rome, Italy, 22 January 2013.
2012
, Luca Padovani, , A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, in Proceedings of the 11th International Conference on Generative Programming and Component Engineering (), Klaus Ostermann and Walter Binder (editors), pp. 1-10, Dresden, Germany, 26-27 September 2012.
, Luca Padovani, Exception Handling for Copyless Messaging, in Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (), Danny De Schreye, Gerda Janssens, and Andy King (editors), pp. 151-162, Leuven, Belgium, 19-21 September 2012. superseded by in
2011
, Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, in Proceedings of the 4th Workshop on Interaction and Concurrency Experience (), Alexandra Silva, Simon Bliudze, Roberto Bruni, and Marco Carbone (editors), EPTCS 59, pp. 52-67, Reykjavík, Iceland, 9 June 2011. superseded by in
Luca Padovani, Fair Subtyping for Multi-Party Session Types, in Proceedings of the 13th International Conference on Coordination Models and Languages (), Wolfgang De Meuter and Gruia-Catalin Roman (editors), LNCS 6721, pp. 127-141, Reykjavík, Iceland, 6-9 June 2011. superseded by in
, , 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 (), Roberto Bruni and Juergen Dingel (editors), LNCS 6722, pp. 1-28, Reykjavík, Iceland, 6-9 June 2011. superseded by in INVITED
, Chiara Messa, Luca Padovani, Typing Copyless Message Passing, in Proceedings of the 20th European Symposium on Programming (), Gilles Barthe (editor), LNCS 6602, pp. 57-76, Saarbrücken, Germany, 26 March - 3 April 2011. superseded by in
2010
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 45, pp. 71-89, Edinburgh, Scotland, 2010.
, , , Antonio Boccalatte, , , , Luca Padovani, , , , and , 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 (), Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet (editors), CEUR, Vol. 627, pp. 134-149, ISSN 1613-0073, Lyon, France, 30 August - 2 September 2010.
2009
, , , Luca Padovani, Foundations of Session Types, in Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (), António Porto and Francisco J. López-Fraguas (editors), pp. 219-230, Coimbra, Portugal, 7-9 September 2009.
, Luca Padovani, Contracts for Mobile Processes, in Proceedings of the 20th International Conference on Concurrency Theory (), Mario Bravetti and (editors), LNCS 5710, pp. 211-228, Bologna, Italy, 31 August - 5 September 2009.
Luca Padovani, Session Types at the Mirror, in Proceedings of the 2nd Workshop on Interaction and Concurrency Experience (), Filippo Bonchi, Davide Grohmann, Paola Spoletini, and Emilio Tuosto (editors), EPTCS 12, pp. 71-86, Bologna, Italy, 31 August 2009. best scored papersuperseded by in
, Luca Padovani, A Preliminary Proposal of Decidable Testing Relations for Infinitary Asynchronous , presented at the 11th International Workshop on Verification of Infinite-State Systems (), Bologna, Italy, 31 August 2009.
2008
Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, in Proceedings of the 19th International Conference on Concurrency Theory (), Franck van Breugel and Marsha Chechik (editors), LNCS 5201, pp. 131-146, Toronto, Canada, 19-22 August 2008. superseded by in
, Luca Padovani, The Pairing of Contracts and Session Types, in Concurrency, Graphs and Models (), Pierpaolo Degano, Rocco De Nicola, and José Meseguer (editors), LNCS 5065, pp. 681-700, Pisa, Italy, 12 June 2008.
, , Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 35th annual symposium on Principles of Programming Languages (), pp. 261-272, San Francisco, California, 10-12 January 2008. superseded by in
2007
, Luca Padovani, The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts, in Proceedings of the 18th International Conference on Concurrency Theory (), Luís Caires and Vasco T. Vasconcelos (editors), LNCS 4703, pp. 212-225, Lisbon, Portugal, 2007.
, 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 (), Marcello M. Bonsangue and Einar Broch Johnsen (editors), LNCS 4468, pp. 269-284, Paphos, Cyprus, 2007.
, , Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 5th ACM SIGPLAN Workshop on Programming Language Technologies for XML (), pp. 37-48, Nice, France, 2007. superseded by in
2006
Samuele Carpineti, , , Luca Padovani, A Formal Account of Contracts for Web Services, in Proceedings of the 3rd International Workshop on Web Services and Formal Methods (), Mario Bravetti, Manuel Núñez, and (editors), LNCS 4184, pp. 148-162, Vienna, Austria, 2006.
Luca Padovani, , From Notation to Semantics: There and Back Again, in Proceedings of the 5th International Conference on Mathematical Knowledge Management (), Jonathan M. Borwein and William M. Farmer (editors), LNAI 4108, pp. 194-207, Wokingham, UK, 2006.
, 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 3921, pp. 32-46, Vienna, Austria, 2006.
2005
, 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 (), Martin Steffen and (editors), LNCS 3535, pp. 259-274, Athens, Greece, 2005.
Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in Proceedings of the 14th Conference on Compiler Construction (), Rastislav Bodik (editor), LNCS 3443, pp. 27-42, Edinburgh, Scotland, 2005.
2004
Luca Padovani, , , A Generative Approach to the Implementation of Language Bindings for the Document Object Model, in the Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE'04), Gabor Karsai and Eelco Visser (editors), LNCS 3286, pp. 469-487, Vancouver, British Colombia, Canada, 2004.
Luca Padovani, , An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, in the Proceedings of the 3rd International Conference on Mathematical Knowledge Management (), , Grzegorz Bancerek, and Andrzej Trybulec (editors), LNCS 3119, pp. 302-316, Białowieża, Poland, 2004.
Luca Padovani, A Math Canvas for the Desktop, in the Proceedings of the 5th Annual GNOME User and Developer European Conference (), Publication Series No. 107, ISSN 0806-5942, Agder University College, Kristiansand, Norway, 2004.
Luca Padovani, Interactive Editing of 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 3130, pp. 125-138, Xanthi, Greece, 2004.
2003
Luca Padovani, On the Roles of LaTeX and in Encoding and Processing Mathematical Expressions, in Proceedings of the 2nd International Conference on Mathematical Knowledge Management (), , Bruno Buchberger, and James H. Davenport (editors), LNCS 2594, pp. 66-79, Bertinoro, Italy, 2003.
2002
Luca Padovani, A Standalone Rendering Engine for , in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
Yuzhen Xie, , Luca Padovani, A Lisp Subset Based on , in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
2001
, , Luca Padovani, , Irene Schena, Mathematical Knowledge Management in , in Proceedings of the 1st International Workshop on Mathematical Knowledge Management (), Bruno Buchberger and Olga Caprotti (editors), RISC, A-4232 Schloss Hagenberg, Austria, 2001.
, Luca Padovani, , Irene Schena, and the Semantic Math-Web, in Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (), Richard J. Boulton and Paul B. Jackson (editors), LNCS 2152, pp. 59-74, Edinburgh, Scotland, 2001. superseded by in
, Luca Padovani, , Irene Schena, , Stylesheets and the Re-mathematization of Formal Content, in Proceedings of Extreme Markup Languages Conference (EXTREME'01), pp. 17-27, Montréal, Québec, Canada, 2001.
, Luca Padovani, The Engine, in Proceedings of Extreme Markup Languages Conference (EXTREME'01), pp. 45-53, Montréal, Québec, Canada, 2001. superseded by in
, Luca Padovani, , 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, pp. 342-346, Sudak, Ukraine, 2001.
2000
, Luca Padovani, , Irene Schena, Formal Mathematics in , Session Presentation at the 1st MathML International Conference (MathML'00), Urbana-Champaign, Illinois, USA, 2000.
, Luca Padovani, , Irene Schena, Towards a Library of Formal Mathematics, Technical Report at 13th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'00), Portland, Oregon, USA, 2000.
, Luca Padovani, , Irene Schena, Content-Centric Logical Environments, Short Presentation at 15th Annual IEEE Symposium on Logic in Computer Science (LICS'00), Santa Barbara, California, USA, 2000.

book chapters

Luca Padovani, Contract-based Discovery and Adaptation of Web Services, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services (), LNCS 5569, pp. 213-260, 2009.

edited books

Book cover

, Luca Padovani, (editors), Formal Methods for Web Services, LNCS 5569, 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services ().

seminars

Types and Effects for Deadlock-Free Higher-Order Concurrent Programs, BETTY WG/MC Meetings (), Grenoble, France, 13 April 2014.
Deadlock and lock freedom in the linear π-calculus, , , 2014
Fair Subtyping for Open Session Types, , 2013.
Fair Testing and Fair Subtyping, Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012.
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 (), Palaiseau, France, 2011.
Luca Padovani, Semantic Subtyping for Session Types, 1st Workshop on Behavioural Types (), Lisbon, Portugal, 2011.
Luca Padovani, Contract-based Discovery and Adaptation of Web Services, Workshop on Security Oriented Formal Techniques (), Pisa, Italy, 2010 and 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (), Pisa, Italy, 2010.
Contracts for Web Services, , , 2009.
A Taste of , , 2008.
A Formal Account of Contracts for Web Services, , 2006.
PiDuce, , , 2005.
The Mathematical Markup Language and Web Technologies for Mathematics, Trieste, Italy, 2003.

dissertations

Luca Padovani, Formatting, Ph.D. dissertation, Technical Report UBLCS-2003-3, , , 2003 (refereed by Robert Miner, John Pedersen, ).
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

Luca Padovani, Yet Another Type System for Lock-Free Processes.
Luca Padovani, Fair Subtyping for Open Session Types. Technical Report RT 146/13, , , 2013.
, Luca Padovani, Exception Handling for Copyless Messaging, Technical Report RT 143/12, , , 2012. superseded by in
, Luca Padovani, , A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, Technical Report RT 142/12, , , 2012.
Luca Padovani, Fair Subtyping for Multi-Party Session Types.
, , , Antonio Boccalatte, , , , Luca Padovani, , , , and , MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, Technical Report RT 128/10, , , 2010.
Luca Padovani, , Stream Processing of Documents Made Easy with LALR(1) Parser Generators, Technical Report UBLCS-2007-23, , , 2007.
, Luca Padovani, Rendering/Browsing engine, Report D4.a, IST-2001-33562 .
, Luca Padovani, Prototype functionalities for assisted annotation, Report D4.c, IST-2001-33562 .

white papers

Luca Padovani, The Path Expression Template Library.
, Luca Padovani, Mobile Computation vs. Mobile Code: What Implementative Issues?.

about this page

{less} Made With Cascading Stylesheets Valid CSS! Valid XHTML 1.1! CHECK LINKS Flag Counter last updated Sun, 13 Apr 2014