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