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