Sfoglia per Autore  PADOVANI, Luca

Opzioni
Mostrati risultati da 1 a 20 di 87
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
Mostrati risultati da 1 a 20 di 87
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