Sfoglia per Autore PADOVANI, Luca
HELM and the Semantic Math-Web
2001-01-01 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions
2003-01-01 Padovani, Luca
Mathematical Knowledge Management in HELM
2003-01-01 A., Asperti; F., Guidi; Padovani, Luca; C., SACERDOTI COEN; I., Schena
Interactive Editing of MathML Markup Using TeX Syntax
2004-01-01 Padovani, Luca
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
2004-01-01 Padovani, Luca; R., Solmi
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 N., Busi; Padovani, Luca
Compilation of Generic Regular Path Expressions Using C++ Class Templates
2005-01-01 Padovani, Luca
Smooth Orchestrators
2006-01-01 C., Laneve; Padovani, Luca
From Notation to Semantics: There and Back Again
2006-01-01 Padovani, Luca; S., Zacchiroli
A Formal Account of Contracts for Web Services
2006-01-01 S., Carpineti; G., Castagna; C., Laneve; Padovani, Luca
A Theory of Contracts for Web Services
2007-01-01 B, Castagna; N, Gesbert; Padovani, L.
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts
2007-01-01 C., Laneve; Padovani, Luca
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 M., Bernardo; Padovani, Luca
A Theory of Contracts for Web Services
2008-01-01 G., Castagna; N., Gesbert; Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators
2008-01-01 Padovani, Luca
The Pairing of Contracts and Session Types
2008-01-01 C., Laneve; Padovani, Luca
PiDuce – a project for experimenting Web services technologies
2009-01-01 Samuele, Carpineti; Cosimo, Laneve; Padovani, Luca
Foundations of Session Types
2009-01-01 Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca
Session Types at the Mirror
2009-01-01 Padovani, Luca
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| HELM and the Semantic Math-Web | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | Contributo in atto di convegno su volume | |
| On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions | 1-gen-2003 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Mathematical Knowledge Management in HELM | 1-gen-2003 | A., Asperti; F., Guidi; Padovani, Luca; C., SACERDOTI COEN; I., Schena | Articolo | |
| Interactive Editing of MathML Markup Using TeX Syntax | 1-gen-2004 | Padovani, Luca | Contributo in atto di convegno su volume | |
| A Generative Approach to the Implementation of Language Bindings for the Document Object Model | 1-gen-2004 | Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli | Contributo in atto di convegno su volume | |
| An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics | 1-gen-2004 | Padovani, Luca; R., Solmi | Contributo in atto di convegno su volume | |
| A Distributed Implementation of Mobile Nets as Mobile Agents | 1-gen-2005 | N., Busi; Padovani, Luca | Contributo in atto di convegno su volume | |
| Compilation of Generic Regular Path Expressions Using C++ Class Templates | 1-gen-2005 | Padovani, Luca | Contributo in atto di convegno su volume | |
| Smooth Orchestrators | 1-gen-2006 | C., Laneve; Padovani, Luca | Contributo in atto di convegno su volume | |
| From Notation to Semantics: There and Back Again | 1-gen-2006 | Padovani, Luca; S., Zacchiroli | Contributo in atto di convegno su volume | |
| A Formal Account of Contracts for Web Services | 1-gen-2006 | S., Carpineti; G., Castagna; C., Laneve; Padovani, Luca | Contributo in atto di convegno su volume | |
| A Theory of Contracts for Web Services | 1-gen-2007 | B, Castagna; N, Gesbert; Padovani, L. | Contributo in atto di convegno su volume | |
| The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts | 1-gen-2007 | C., Laneve; Padovani, Luca | Contributo in atto di convegno su volume | |
| Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders | 1-gen-2007 | M., Bernardo; Padovani, Luca | Contributo in atto di convegno su volume | |
| A Theory of Contracts for Web Services | 1-gen-2008 | G., Castagna; N., Gesbert; Padovani, Luca | Contributo in atto di convegno su volume | |
| Contract-directed Synthesis of Simple Orchestrators | 1-gen-2008 | Padovani, Luca | Contributo in atto di convegno su volume | |
| The Pairing of Contracts and Session Types | 1-gen-2008 | C., Laneve; Padovani, Luca | Contributo in atto di convegno su volume | |
| PiDuce – a project for experimenting Web services technologies | 1-gen-2009 | Samuele, Carpineti; Cosimo, Laneve; Padovani, Luca | Articolo | |
| Foundations of Session Types | 1-gen-2009 | Giuseppe, Castagna; Dezani, Mariangiola; Giachino, Elena; Padovani, Luca | Contributo in atto di convegno su volume | |
| Session Types at the Mirror | 1-gen-2009 | Padovani, Luca | Contributo in atto di convegno su volume |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile