 | 2009 |
|---|
| 26 |       | Marco Bernardo,
Luca Padovani,
Gianluigi Zavattaro:
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Springer 2009 |
| 25 | | Giuseppe Castagna,
Luca Padovani:
Contracts for Mobile Processes.
CONCUR 2009: 211-228 |
| 24 | | Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
Elena Giachino,
Luca Padovani:
Foundations of session types.
PPDP 2009: 219-230 |
| 23 | | Luca Padovani:
Contract-Based Discovery and Adaptation of Web Services.
SFM 2009: 213-260 |
| 22 | | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A theory of contracts for Web services.
ACM Trans. Program. Lang. Syst. 31(5): (2009) |
| 21 | | Samuele Carpineti,
Cosimo Laneve,
Luca Padovani:
PiDuce - A project for experimenting Web services technologies.
Sci. Comput. Program. 74(10): 777-811 (2009) |
| 2008 |
|---|
| 20 | | Luca Padovani:
Contract-Directed Synthesis of Simple Orchestrators.
CONCUR 2008: 131-146 |
| 19 | | Cosimo Laneve,
Luca Padovani:
The Pairing of Contracts and Session Types.
Concurrency, Graphs and Models 2008: 681-700 |
| 18 | | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A theory of contracts for web services.
POPL 2008: 261-272 |
| 2007 |
|---|
| 17 | | Cosimo Laneve,
Luca Padovani:
The Must Preorder Revisited.
CONCUR 2007: 212-225 |
| 16 | | Marco Bernardo,
Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
FMOODS 2007: 269-284 |
| 15 | | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A Theory of Contracts for Web Services.
PLAN-X 2007: 37-48 |
| 2006 |
|---|
| 14 | | Cosimo Laneve,
Luca Padovani:
Smooth Orchestrators.
FoSSaCS 2006: 32-46 |
| 13 | | Luca Padovani,
Stefano Zacchiroli:
From Notation to Semantics: There and Back Again.
MKM 2006: 194-207 |
| 12 | | Samuele Carpineti,
Giuseppe Castagna,
Cosimo Laneve,
Luca Padovani:
A Formal Account of Contracts for Web Services.
WS-FM 2006: 148-162 |
| 2005 |
|---|
| 11 | | Luca Padovani:
Compilation of Generic Regular Path Expressions Using C++ Class Templates.
CC 2005: 27-42 |
| 10 | | Nadia Busi,
Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents.
FMOODS 2005: 259-274 |
| 2004 |
|---|
| 9 | | Luca Padovani,
Claudio Sacerdoti Coen,
Stefano Zacchiroli:
A Generative Approach to the Implementation of Language Bindings for the Document Object Model.
GPCE 2004: 469-487 |
| 8 | | Luca Padovani,
Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment.
JELIA 2004: 689-692 |
| 7 | | Luca Padovani,
Riccardo Solmi:
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.
MKM 2004: 302-316 |
| 6 | | Luca Padovani:
Interactive Editing of MathML Markup Using TEX Syntax.
TEX, XML, and Digital Typography 2004: 125-138 |
| 2003 |
|---|
| 5 | | Luca Padovani:
On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions.
MKM 2003: 66-79 |
| 4 |  | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Ferruccio Guidi,
Irene Schena:
Mathematical Knowledge Management in HELM.
Ann. Math. Artif. Intell. 38(1-3): 27-46 (2003) |
| 2001 |
|---|
| 3 | | Paolo Casarini,
Luca Padovani:
The Gnome DOM Engine.
Extreme Markup Languages® 2001 |
| 2 | | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content.
Extreme Markup Languages® 2001 |
| 1 | | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
HELM and the Semantic Math-Web.
TPHOLs 2001: 59-74 |
