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
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
2004-01-01 Padovani, Luca; R., Solmi
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
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
From Notation to Semantics: There and Back Again
2006-01-01 Padovani, Luca; S., Zacchiroli
Smooth Orchestrators
2006-01-01 C., Laneve; Padovani, Luca
A Formal Account of Contracts for Web Services
2006-01-01 S., Carpineti; G., Castagna; C., Laneve; Padovani, Luca
The Must Preorder Revisited – An Algebraic Theory for Web Services Contracts
2007-01-01 C., Laneve; Padovani, Luca
A Theory of Contracts for Web Services
2007-01-01 B, Castagna; N, Gesbert; Padovani, L.
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders
2007-01-01 M., Bernardo; Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators
2008-01-01 Padovani, Luca
A Theory of Contracts for Web Services
2008-01-01 G., Castagna; N., Gesbert; Padovani, Luca
The Pairing of Contracts and Session Types
2008-01-01 C., Laneve; Padovani, Luca
Session Types at the Mirror
2009-01-01 Padovani, Luca
Formal Methods for Web Services
2009-01-01 Bernardo, M.; Padovani, L.; Zavattaro, G.
A Theory of Contracts for Web Services
2009-01-01 Giuseppe, Castagna; Nils, Gesbert; 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 | |
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 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 | |
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 | |
From Notation to Semantics: There and Back Again | 1-gen-2006 | Padovani, Luca; S., Zacchiroli | Contributo in atto di convegno su volume | |
Smooth Orchestrators | 1-gen-2006 | C., Laneve; Padovani, Luca | 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 | |
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 | |
A Theory of Contracts for Web Services | 1-gen-2007 | B, Castagna; N, Gesbert; Padovani, L. | 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 | |
Contract-directed Synthesis of Simple Orchestrators | 1-gen-2008 | 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 | |
The Pairing of Contracts and Session Types | 1-gen-2008 | C., Laneve; 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 | |
Formal Methods for Web Services | 1-gen-2009 | Bernardo, M.; Padovani, L.; Zavattaro, G. | Direzione di riviste | |
A Theory of Contracts for Web Services | 1-gen-2009 | Giuseppe, Castagna; Nils, Gesbert; Padovani, Luca | Articolo |
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