PADOVANI, Luca
PADOVANI, Luca
INFORMATICA
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 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 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 Standalone Rendering Engine for MathML
2002-01-01 L. PADOVANI
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 Castagna, G.; Gesbert, N.; Padovani, Luca
A theory of contracts for web services
2008-01-01
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.
Compilation of Generic Regular Path Expressions Using C++ Class Templates
2005-01-01 Padovani, Luca
Concurrent Typestate-Oriented Programming in Java
2019-01-01 Rosita Gerbo; Luca Padovani
Context-Free Session Type Inference
2017-01-01 Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators
2008-01-01 Padovani, Luca
Contracts for Mobile Processes
2009-01-01 Castagna, G.; Padovani, Luca
Deadlock and Lock Freedom in the Linear π-Calculus
2014-01-01 Padovani, Luca
Exception Handling for Copyless Messaging
2012-01-01 Svetlana, Jakšić; Padovani, Luca