PADOVANI, LUCA

PADOVANI, LUCA  

Mostra records
Risultati 1 - 20 di 25 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
A Distributed Implementation of Mobile Nets as Mobile Agents 1-gen-2005 Busi, N; Padovani, Luca
A Formal Account of Contracts for Web Services 1-gen-2006 Carpineti, S; Castagna, G; Laneve, C; Padovani, Luca
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 1-gen-2004 Padovani, Luca; C., SACERDOTI COEN; S., Zacchiroli
A Lisp Subset Based on MathML 1-gen-2002 Xie, Y; Watt, S. M.; Padovani, Luca
A Math Canvas for the GNOME Desktop 1-gen-2004 Padovani, Luca
A Standalone Rendering Engine for MathML 1-gen-2002 Padovani, Luca
A Theory of Contracts for Web Services 1-gen-2008 Castagna, G; Gesbert, N; Padovani, Luca
A Theory of Contracts for Web Services 1-gen-2007 Castagna, B; Gesbert, N; Padovani, Luca
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 1-gen-2004 Padovani, Luca; Solmi, R.
Compilation of Generic Regular Path Expressions Using C++ Class Templates 1-gen-2005 Padovani, Luca
Formal Mathematics on the Web 1-gen-2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Formal Methods for Web Services (SFM 2009) 1-gen-2009 Bernardo, Marco; Padovani, Luca; Zavattaro, Gianluigi
From Notation to Semantics: There and Back Again 1-gen-2006 Padovani, Luca; Zacchiroli, S.
HELM and the Semantic Math-Web 1-gen-2001 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Interactive Editing of MathML Markup Using TeX Syntax 1-gen-2004 Padovani, Luca
Mathematical Knowledge Management in HELM 1-gen-2003 Asperti, A; Guidi, F; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Mathematical Knowledge Management in HELM 1-gen-2001 Asperti, A; Guidi, F; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality 1-gen-2003 Padovani, Luca
On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions 1-gen-2003 Padovani, Luca
Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders 1-gen-2007 Bernardo, Marco; Padovani, Luca