|
10
|
Svetlana Jakšić,
Luca Padovani,
Exception Handling for Copyless Messaging, to appear
in Science of Computer Programming.
|
|
9
|
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Luca Padovani,
On Global Types and Multi-Party Sessions,
in Logical Methods in Computer Science, Vol. 8, Issue 1:24, pp. 1-45,
ISSN 1860-5974, 2012.
|
|
8
|
Viviana Bono,
Luca Padovani,
Typing Copyless Message Passing,
in Logical Methods in Computer Science, Vol. 8, Issue 1:17, pp. 1-50,
ISSN 1860-5974, 2012.
|
|
7
|
Luca Padovani,
On Projecting Processes into Session Types,
in Mathematical Structures in Computer Science, Vol. 22, Special Issue 02,
pp. 237-289, ISSN 0960-1295, Cambridge University Press,
2012.
|
|
6
|
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.
|
|
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.
|
|
4
|
Giuseppe Castagna, Nils Gesbert, Luca Padovani, A Theory of Contracts
for Web Services, in ACM Transactions on Programming Languages and Systems, Vol. 31,
Issue 5, ISSN 0164-0925, New York, NY, USA, 2009.
|
|
3
|
Luca Padovani, MathML Formatting with TeX
Rules, TeX Fonts, and TeX Quality,
The Communications of the TeX Users Group, Vol. 24, No. 1, pp. 53-61,
ISSN 0896-3207, Portland, Oregon, USA, 2003.
|
|
2
|
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.
|
|
1
|
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.
|
|
44
|
Luca Padovani,
Fair Subtyping for Open Session Types,
to appear in Proceedings of
the 40th International Colloquium on Automata, Languages and Programming (ICALP'13),
Part II,
Fedor V. Fomin,
Marta Kwiatkowska,
and David Peleg (editors),
LNCS 7966,
pp. 379-390,
Riga, Latvia, 2013.
|
|
43
|
Cosimo Laneve,
Luca Padovani,
An Algebraic Theory for Web Services Contracts,
in Proceedings of the 10th International Conference on integrated Formal Methods (IFM'13),
Einar Broch Johnsen and
Luigia Petre (editors),
LNCS 7940,
pp. 301-315,
Turku, Finland, 2013.
|
|
42
|
Viviana Bono,
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 (FORTE'13),
Dirk Beyer and
Michele Boreale (editors),
LNCS 7892,
pp. 83-98,
Florence, Italy, 2013.
|
|
41
|
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Luca Padovani,
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 7890,
pp. 45-59,
Florence, Italy, 2013.
|
|
40
|
Luca Padovani,
From Lock Freedom to Progress Using Session Types,
to appear in Proceedings of Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES'13),
Rome, Italy, 2013.
|
|
39
|
Mario Coppo,
Mariangiola Dezani-Ciancaglini,
Luca Padovani,
Nobuko Yoshida,
Inference of Global Progress Properties for Dynamically
Interleaved Multiparty Sessions,
in Proceedings of the
1st International Workshop on Behavioural Types (BEAT'13),
pp. 16-27,
Rome, Italy, 2013.
|
|
38
|
Ferruccio Damiani,
Luca Padovani,
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),
pp. 1-10,
Dresden, Germany, 2012.
|
|
37
|
Svetlana Jakšić,
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),
pp. 151-162, Leuven, Belgium, 2012.
|
|
36
|
Viviana Bono, 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 59, pp. 52-67,
Reykjavík, Iceland, 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 6721,
pp. 127-141,
Reykjavík, Iceland, 2011.
|
|
34
|
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),
Roberto Bruni and
Juergen Dingel (editors),
LNCS 6722,
pp. 1-28, Reykjavík, Iceland, 2011.
|
|
33
|
Viviana Bono,
Chiara Messa, Luca Padovani, Typing
Copyless Message Passing, in Proceedings of
the 20th European Symposium on Programming (ESOP'11),
Gilles Barthe (editor),
LNCS 6602,
pp. 57-76, Saarbrücken, Germany, 2011.
|
|
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 45,
pp. 71-89,
Edinburgh, Scotland, 2010.
|
|
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),
CEUR,
Vol. 627, pp. 134-149, ISSN 1613-0073,
Lyon, France, 2010.
|
|
30
|
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),
António Porto and
Francisco J. López-Fraguas (editors),
pp. 219-230, Coimbra, Portugal, 2009.
|
|
29
|
Giuseppe Castagna,
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 5710,
pp. 211-228, Bologna, Italy, 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 12,
pp. 71-86,
Bologna, Italy, 2009.
|
|
27
|
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.
|
|
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 5201,
pp. 131-146,
Toronto, Canada, 2008.
|
|
25
|
Cosimo Laneve,
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 5065,
pp. 681-700, Pisa, Italy, 2008.
|
|
24
|
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.
|
|
23
|
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),
Luís Caires and
Vasco T. Vasconcelos (editors),
LNCS 4703,
pp. 212-225, Lisbon, Portugal, 2007.
|
|
22
|
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),
Marcello M. Bonsangue and
Einar Broch Johnsen (editors),
LNCS 4468,
pp. 269-284, Paphos, Cyprus, 2007.
|
|
21
|
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.
|
|
20
|
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),
Mario Bravetti,
Manuel Núñez, and
Gianluigi Zavattaro (editors),
LNCS 4184,
pp. 148-162, Vienna, Austria, 2006.
|
|
19
|
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),
Jonathan M. Borwein
and William M. Farmer (editors),
LNAI 4108,
pp. 194-207, Wokingham, UK, 2006.
|
|
18
|
Cosimo Laneve,
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.
|
|
17
|
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),
Martin Steffen and
Gianluigi Zavattaro (editors),
LNCS 3535,
pp. 259-274, Athens, Greece, 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 3443,
pp. 27-42, Edinburgh, Scotland, 2005.
|
|
15
|
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),
Gabor Karsai and
Eelco Visser (editors),
LNCS 3286,
pp. 469-487, Vancouver, British Colombia, Canada, 2004.
|
|
14
|
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),
Andrea Asperti,
Grzegorz Bancerek, and
Andrzej Trybulec (editors),
LNCS 3119,
pp. 302-316, Białowieża, Poland, 2004.
|
|
13
|
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.
|
|
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 3130,
pp. 125-138, Xanthi, Greece, 2004.
|
|
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 2594,
pp. 66-79, Bertinoro, Italy, 2003.
|
|
10
|
Luca Padovani,
A Standalone Rendering Engine for MathML,
in Proceedings of the MathML International Conference (MathML'02),
Chicago, Illinois, USA, 2002.
|
|
9
|
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.
|
|
8
|
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),
Bruno Buchberger and
Olga Caprotti (editors),
RISC, A-4232 Schloss Hagenberg, Austria, 2001.
|
|
7
|
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),
Richard J. Boulton and
Paul B. Jackson (editors),
LNCS 2152,
pp. 59-74, Edinburgh, Scotland, 2001.
|
|
6
|
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.
|
|
5
|
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.
|
|
4
|
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.
|
|
3
|
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.
|
|
2
|
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.
|
|
1
|
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.
|
Document Object Identifier
Portable Document Format
(compressed) PostScript
HTML page
BibTeX
entry
