| 2008 |
|---|
| 20 | EE | Luca Padovani:
Contract-Directed Synthesis of Simple Orchestrators.
CONCUR 2008: 131-146 |
| 19 | EE | Cosimo Laneve,
Luca Padovani:
The Pairing of Contracts and Session Types.
Concurrency, Graphs and Models 2008: 681-700 |
| 18 | EE | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A theory of contracts for web services.
POPL 2008: 261-272 |
| 2007 |
|---|
| 17 | EE | Cosimo Laneve,
Luca Padovani:
The Must Preorder Revisited.
CONCUR 2007: 212-225 |
| 16 | EE | Marco Bernardo,
Luca Padovani:
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders.
FMOODS 2007: 269-284 |
| 15 | EE | Giuseppe Castagna,
Nils Gesbert,
Luca Padovani:
A Theory of Contracts for Web Services.
PLAN-X 2007: 37-48 |
| 2006 |
|---|
| 14 | EE | Cosimo Laneve,
Luca Padovani:
Smooth Orchestrators.
FoSSaCS 2006: 32-46 |
| 13 | EE | Luca Padovani,
Stefano Zacchiroli:
From Notation to Semantics: There and Back Again.
MKM 2006: 194-207 |
| 12 | EE | Samuele Carpineti,
Giuseppe Castagna,
Cosimo Laneve,
Luca Padovani:
A Formal Account of Contracts for Web Services.
WS-FM 2006: 148-162 |
| 2005 |
|---|
| 11 | EE | Luca Padovani:
Compilation of Generic Regular Path Expressions Using C++ Class Templates.
CC 2005: 27-42 |
| 10 | EE | Nadia Busi,
Luca Padovani:
A Distributed Implementation of Mobile Nets as Mobile Agents.
FMOODS 2005: 259-274 |
| 2004 |
|---|
| 9 | EE | 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 | EE | Luca Padovani,
Alessandro Provetti:
Qsmodels: ASP Planning in Interactive Gaming Environment.
JELIA 2004: 689-692 |
| 7 | EE | Luca Padovani,
Riccardo Solmi:
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics.
MKM 2004: 302-316 |
| 6 | EE | Luca Padovani:
Interactive Editing of MathML Markup Using TEX Syntax.
TEX, XML, and Digital Typography 2004: 125-138 |
| 2003 |
|---|
| 5 | EE | 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 | EE | Paolo Casarini,
Luca Padovani:
The Gnome DOM Engine.
Extreme Markup Languages® 2001 |
| 2 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
XML, Stylesheets and the Re-mathematization of Formal Content.
Extreme Markup Languages® 2001 |
| 1 | EE | Andrea Asperti,
Luca Padovani,
Claudio Sacerdoti Coen,
Irene Schena:
HELM and the Semantic Math-Web.
TPHOLs 2001: 59-74 |
