PADOVANI, Luca

PADOVANI, Luca  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A core calculus for dynamic delta-oriented programming 2018 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
A Dependently-Typed Linear π -Calculus in Agda 2020 Luca Ciccone; Luca Padovani
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 formal foundation for dynamic delta-oriented software product lines 2013 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
A formal foundation for dynamic delta-oriented software product lines 2012 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A Generative Approach to the Implementation of Language Bindings for the Document Object Model 2004 Padovani, Luca; SACERDOTI COEN, C.; Zacchiroli, S.
A gentle introduction to multiparty asynchronous session types 2015 -
A Lisp Subset Based on MathML 2002 XIE Y; WATT S. M; L. PADOVANI
A Math Canvas for the GNOME Desktop 2004 L. PADOVANI
A Simple Library Implementation of Binary Sessions 2017 Luca Padovani
A Standalone Rendering Engine for MathML 2002 L. PADOVANI
A Theory of Contracts for Web Services 2009 Giuseppe Castagna; Nils Gesbert; Luca Padovani
A theory of contracts for web services 2008 -
A Theory of Contracts for Web Services 2007 CASTAGNA B; GESBERT N; L. PADOVANI
A Theory of Contracts for Web Services 2008 Castagna, G.; Gesbert, N.; Padovani, Luca
A Type Checking Algorithm for Concurrent Object Protocols 2018 Luca Padovani
An Algebraic Theory for Web Service Contracts 2015 Cosimo Laneve; Luca Padovani
An Algebraic Theory for Web Service Contracts 2013 Cosimo, Laneve; Padovani, Luca
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics 2004 Padovani, Luca; Solmi, R.