PADOVANI, Luca

PADOVANI, Luca  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 111 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
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 Standalone Rendering Engine for MathML 2002 L. PADOVANI
A Theory of Contracts for Web Services 2007 CASTAGNA B; GESBERT N; L. 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
Behavioral Types in Programming Languages 2016 Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
Carbon 2008 Padovani, Luca
Chaperone Contracts for Higher-Order Sessions 2017 Hernán, Melgratti; Padovani, Luca
Chaperone Contracts for Higher-Order Sessions 2017 Melgratti, Hernán; Padovani, Luca
The Chemical Approach to Typestate-Oriented Programming 2017 Crafa, Silvia; Padovani, Luca
The Chemical Approach to Typestate-Oriented Programming 2015 Crafa, Silvia; Padovani, Luca
Compilation of Generic Regular Path Expressions Using C++ Class Templates 2005 Padovani, Luca
Concurrent Typestate-Oriented Programming in Java 2019 Rosita Gerbo; Luca Padovani
Context-Free Session Type Inference 2019 Luca Padovani
Context-Free Session Type Inference 2017 Padovani, Luca
Contract-based Discovery and Adaptation of Web Services 2009 Padovani, Luca
Contract-based discovery of Web services modulo simple orchestrators 2010 Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators 2008 Padovani, Luca
Contracts for Mobile Processes 2009 Castagna, G.; Padovani, Luca