index

Document formats

Portable Document Format

PostScript (possibly compressed)

HTML page

BibTeX entry

• submitted papers
• journal papers
• proceedings
• book chapters
• books
• seminars
• dissertations
• technical reports
• white papers

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 papersup

1. Luca Padovani, Fair Subtyping for Multi-Party Session Types.
   .pdf

journal papersup

1. Viviana Bono, Luca Padovani, Typing Copyless Message Passing, accepted for publication in Logical Methods in Computer Science.
   .pdf
2. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani, On Global Types and Multi-Party Sessions, accepted for publication in Logical Methods in Computer Science.
   .pdf
3. Luca Padovani, On Projecting Processes into Session Types, accepted for publication in Mathematical Structures in Computer Science.
   .pdf
4. Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, in Theoretical Computer Science, Vol. 411, pp. 3328–3347, ISSN 0304-3975, Elsevier, 2010.
   doi> .pdf .bib
5. Samuele Carpineti, Cosimo Laneve, Luca Padovani, PiDuce – A Project for Experimenting Web Services Technologies, in Science of Computer Programming, Vol. 74, Issue 10, pp. 777–811, ISSN 0167-6423, Elsevier, 2009.
   doi> .pdf .bib
6. Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, in ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 31, Issue 5, ISSN 0164-0925, New York, NY, USA, 2009.
   doi> .pdf .bib
7. Luca Padovani, MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality, TUGboat, The Communications of the TeX Users Group, Vol. 24, No. 1, pp. 53–61, ISSN 0896-3207, Portland, Oregon, USA, 2003.
   .html (volume) .pdf .pdf (slides) .bib
8. Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Mathematical Knowledge Management in HELM, in Annals of Mathematics and Artificial Intelligence, Special Issue on Mathematical Knowledge Management, Vol. 38, Issue 1-3, pp. 27–46, ISSN 1012-2443, Kluwer Academic Publishers, 2003.
   doi> .ps.gz .bib
9. Paolo Casarini, Luca Padovani, The GNOME DOM Engine, in Markup Languages: Theory & Practice, Vol. 3, Issue 2, pp. 173–190, ISSN 1099-6621, MIT Press, 2002.
   doi> .bib

proceedingsup

1. Viviana Bono, Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, in Proceedings of the 4th Workshop on Interaction and Concurrency Experience (ICE'11), EPTCS 59, pp. 52–67, Reykjavík, Iceland, 2011.
   doi> .pdf (full version) .pdf (slides) .bib
2. Luca Padovani, Fair Subtyping for Multi-Party Session Types, in Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION'11), LNCS 6721, pp. 127–141, Reykjavík, Iceland, 2011.
   doi> .pdf (full version) .pdf (slides) .bib
3. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, 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), LNCS 6722, pp. 1–28, Reykjavík, Iceland, 2011.
   doi> .pdf (full version) .bib
4. Viviana Bono, Chiara Messa, Luca Padovani, Typing Copyless Message Passing, in Proceedings of the 20th European Symposium on Programming (ESOP'11), LNCS 6602, pp. 57–76, Saarbrücken, Germany, 2011.
   doi> .pdf (full version) .pdf (slides) .bib
5. Luca Padovani, Session Types = Intersection Types + Union Types, in Proceedings of the 5th Workshop on Intersection Types and Related Systems (ITRS'10), EPTCS 45, pp. 71–89, Edinburgh, Scotland, 2010.
   doi> .pdf .pdf (slides) .bib
6. 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), CEUR, Vol. 627, pp. 134–149, ISSN 1613-0073, Lyon, France, 2010.
   .html (volume) .pdf .bib
7. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani, Foundations of Session Types, in Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'09), pp. 219–230, Coimbra, Portugal, 2009.
   doi> .pdf (full version) .bib
8. Giuseppe Castagna, Luca Padovani, Contracts for Mobile Processes, in Proceedings of the 20th International Conference on Concurrency Theory (CONCUR'09), LNCS 5710, pp. 211–228, Bologna, Italy, 2009.
   doi> .pdf (full version) .pdf (slides) .bib
9. Luca Padovani, Session Types at the Mirror, best scored paper in Proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09), EPTCS 12, pp. 71–86, Bologna, Italy, 2009.
   doi> .pdf (full version) .pdf (slides) .bib
10. Giuseppe Castagna, 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), Bologna, Italy, 2009.
    .pdf .pdf (slides)
11. Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, in Proceedings of the 19th International Conference on Concurrency Theory (CONCUR'08), LNCS 5201, pp. 131–146, Toronto, Canada, 2008.
    doi> .pdf (full version) .pdf (slides) .bib
12. Cosimo Laneve, Luca Padovani, The Pairing of Contracts and Session Types, in Concurrency, Graphs and Models (Ugo65'08), LNCS 5065, pp. 681–700, Pisa, Italy, 2008.
    doi> .pdf .bib
13. Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts for Web Services, in Proceedings of the 35th annual symposium on Principles of Programming Languages (POPL'08), pp. 261–272, San Francisco, California, 2008.
    doi> .pdf (full version) .bib
14. Cosimo Laneve, 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), LNCS 4703, pp. 212–225, Lisbon, Portugal, 2007.
    doi> .pdf (full version) .pdf (slides) .bib
15. Marco Bernardo, 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), LNCS 4468, pp. 269–284, Paphos, Cyprus, 2007.
    doi> .pdf (full version) .bib
16. Giuseppe Castagna, Nils Gesbert, 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), pp. 37–48, Nice, France, 2007. (superseded by A Theory of Contracts for Web Services in Proceedings of the 35th annual symposium on Principles of Programming Languages (POPL'08)).
    .pdf .pdf (slides) .bib
17. Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, 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), LNCS 4184, pp. 148–162, Vienna, Austria, 2006.
    doi> .pdf (full version) .pdf (slides) .bib
18. Luca Padovani, Stefano Zacchiroli, From Notation to Semantics: There and Back Again, in Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM'06), LNAI 4108, pp. 194–207, Wokingham, UK, 2006.
    doi> .pdf .bib
19. Cosimo Laneve, Luca Padovani, Smooth Orchestrators, in Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'06), LNCS 3921, pp. 32–46, Vienna, Austria, 2006.
    doi> .pdf .pdf (slides) .bib
20. Nadia Busi, 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), LNCS 3535, pp. 259–274, Athens, Greece, 2005.
    doi> .pdf .pdf (slides) .bib
21. Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, in Proceedings of the 14th Conference on Compiler Construction (CC'05), LNCS 3443, pp. 27–42, Edinburgh, Scotland, 2005.
    doi> .pdf .pdf (slides) .bib
22. Luca Padovani, Claudio Sacerdoti Coen, Stefano Zacchiroli, 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), LNCS 3286, pp. 469–487, Vancouver, British Colombia, Canada, 2004.
    doi> .pdf .pdf (slides) .bib
23. Luca Padovani, Riccardo Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, in the Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM'04) LNCS 3119, pp. 302–316, Białowieża, Poland, 2004.
    doi> .pdf .pdf (slides) .bib
24. Luca Padovani, A Math Canvas for the GNOME Desktop, in the Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC'04), Publication Series No. 107, ISSN 0806-5942, Agder University College, Kristiansand, Norway, 2004.
    .pdf (whole proceedings volume) .pdf (slides) .bib
25. 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), LNCS 3130, pp. 125–138, Xanthi, Greece, 2004.
    doi> .html (preprints) .pdf .pdf (slides) .bib
26. 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), LNCS 2594, pp. 66–79, Bertinoro, Italy, 2003.
    doi> .pdf .bib
27. Luca Padovani, A Standalone Rendering Engine for MathML, in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
    .html
28. Yuzhen Xie, Stephen M. Watt, Luca Padovani, A Lisp Subset Based on MathML, in Proceedings of the MathML International Conference (MathML'02), Chicago, Illinois, USA, 2002.
    .html
29. Andrea Asperti, Ferruccio Guidi, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Mathematical Knowledge Management in HELM, in Proceedings of the 1st International Workshop on Mathematical Knowledge Management (MKM'01), RISC, A-4232 Schloss Hagenberg, Austria, 2001.
    .pdf .ps.gz
30. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, HELM and the Semantic Math-Web, in Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs'01), LNCS 2152, pp. 59–74, Edinburgh, Scotland, 2001.
    doi> .pdf .bib
31. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, XML, 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.
    .html .pdf .pdf (FO) .bib
32. Paolo Casarini, Luca Padovani, The GNOME DOM Engine, in Proceedings of Extreme Markup Languages Conference (EXTREME'01), pp. 45–53, Montréal, Québec, Canada, 2001.
    .html .pdf .pdf (FO) .bib
33. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, 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.
    .ps.gz
34. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Irene Schena, Formal Mathematics in MathML, Session Presentation at the 1st MathML International Conference (MathML'00), Urbana-Champaign, Illinois, USA, 2000.
    .html .ps.gz
35. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, 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.
    .ps.gz
36. Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, 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.
    .ps.gz

book chaptersup

1. 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 (SFM'09), LNCS 5569, pp. 213–260, 2009.
   doi> .pdf .pdf (exercises) .pdf (slides) .bib

booksup

1. Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (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 (SFM'09).
   doi> .bib

seminarsup

1. Fair Testing and Fair Subtyping, Workshop su Contratti e Tipi Comportamentali (COTICO'12), Lucca, Italy, 2012.
   .pdf
2. 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.
   .pdf
3. Luca Padovani, Semantic Subtyping for Session Types, 1st Workshop on Behavioural Types (BTW'11), Lisbon, Portugal, 2011.
   .pdf
4. Luca Padovani, 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.
   .pdf
5. Contracts for Web Services, Torino, Italy, 2009.
   .pdf
6. A Taste of Carbon, Université Paris Diderot, France, 2008.
   .pdf
7. A Formal Account of Contracts for Web Services, INRIA, France, 2006.
   .pdf
8. PiDuce, Urbino, Italy, 2005.
   .pdf
9. The Mathematical Markup Language and Web Technologies for Mathematics, Trieste, Italy, 2003.
   .pdf

dissertationsup

1. Luca Padovani, MathML Formatting, Ph.D. dissertation, Technical Report UBLCS-2003-3, Dipartimento di Scienze dell'Informazione, University of Bologna, 2003 (refereed by Robert Miner, John Pedersen, Stephen M. Watt).
   .pdf .ps.gz .ps.gz (UBLCS)
2. Luca Padovani, Un linguaggio distribuito con agenti mobili: analisi progettuale e implementazione (A distributed language with mobile agents: design and implementation), Master thesis, 1998.
   .pdf (italian only) .ps.gz (abstract) .ps.gz (italian only)

technical reportsup

1. Luca Padovani, Fair Subtyping for Multi-Party Session Types.
   .html .pdf
2. 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/2010, Dipartimento di Informatica, University of Torino, 2010.
   .pdf
3. Luca Padovani, Stefano Zacchiroli, Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators, Technical Report UBLCS-2007-23, Dipartimento di Scienze dell'Informazione, University of Bologna, 2007.
   .pdf
4. Hanane Naciri, Luca Padovani, MathML Rendering/Browsing engine, Report D4.a, IST-2001-33562 MoWGLI.
   .pdf .ps
5. Philippe Audebaud, Luca Padovani, Prototype functionalities for assisted annotation, Report D4.c, IST-2001-33562 MoWGLI.
   .pdf .ps

white papersup

1. Luca Padovani, The Path Expression Template Library.
   .pdf
2. Andrea Asperti, Luca Padovani, Mobile Computation vs. Mobile Code: What Implementative Issues?.
   .ps.gz

metadata up

CHECK LINKS generated by macnautilus.dipinfo.di.unito.it iMac11,2 on Wed Feb 8 09:33:42 CET 2012