PADOVANI, Luca
PADOVANI, Luca
INFORMATICA
A core calculus for dynamic delta-oriented programming
2018-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
A Distributed Implementation of Mobile Nets as Mobile Agents
2005-01-01 Busi, N.; Padovani, Luca
A Formal Account of Contracts for Web Services
2006-01-01 Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
A formal foundation for dynamic delta-oriented software product lines
2013-01-01 Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
A formal foundation for dynamic delta-oriented software product lines
2012-01-01 Damiani, Ferruccio; Padovani, Luca; Ina, Schaefer
A Generative Approach to the Implementation of Language Bindings for the Document Object Model
2004-01-01 Padovani, Luca; SACERDOTI COEN, C.; Zacchiroli, S.
A gentle introduction to multiparty asynchronous session types
2015-01-01
A Lisp Subset Based on MathML
2002-01-01 XIE Y; WATT S. M; L. PADOVANI
A Math Canvas for the GNOME Desktop
2004-01-01 L. PADOVANI
A Simple Library Implementation of Binary Sessions
2017-01-01 Luca Padovani
A Standalone Rendering Engine for MathML
2002-01-01 L. PADOVANI
A Theory of Contracts for Web Services
2008-01-01 Castagna, G.; Gesbert, N.; Padovani, Luca
A Theory of Contracts for Web Services
2007-01-01 CASTAGNA B; GESBERT N; L. PADOVANI
A theory of contracts for web services
2008-01-01
A Theory of Contracts for Web Services
2009-01-01 Giuseppe Castagna; Nils Gesbert; Luca Padovani
A Type Checking Algorithm for Concurrent Object Protocols
2018-01-01 Luca Padovani
An Algebraic Theory for Web Service Contracts
2015-01-01 Cosimo Laneve; Luca Padovani
An Algebraic Theory for Web Service Contracts
2013-01-01 Cosimo, Laneve; Padovani, Luca
An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics
2004-01-01 Padovani, Luca; Solmi, R.