CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 111
Titolo Data di pubblicazione Autore(i) File
Compilation of Generic Regular Path Expressions Using C++ Class Templates 2005 Padovani, Luca
Smooth Orchestrators 2006 Laneve, C.; Padovani, Luca
From Notation to Semantics: There and Back Again 2006 Padovani, Luca; Zacchiroli, S.
Distributed Computing Techniques 2006 Luca Padovani
A Formal Account of Contracts for Web Services 2006 Carpineti, S.; Castagna, G.; Laneve, C.; Padovani, Luca
PiDuce 2007 Samuele Carpineti; Cosimo Laneve; Leonardo Mezzina; Luca Padovani
GtkMathView 2007 Luca Padovani
Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators 2007 Luca Padovani; Stefano Zacchiroli
GMetaDOM 2007 Claudio Sacerdoti Coen; Luca Padovani; Stefano Zacchiroli
A Theory of Contracts for Web Services 2007 CASTAGNA B; GESBERT N; L. PADOVANI
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, M.; Padovani, Luca
A Theory of Contracts for Web Services 2008 Castagna, G.; Gesbert, N.; Padovani, Luca
A theory of contracts for web services 2008 -
Carbon 2008 Padovani, Luca
Performability-Aware Computing: Logics, Models, and Languages 2008 Luca Padovani
The Pairing of Contracts and Session Types 2008 Laneve, C.; Padovani, Luca
Contract-directed Synthesis of Simple Orchestrators 2008 Padovani, Luca
Contract-based Discovery and Adaptation of Web Services 2009 Padovani, Luca
Session Types at the Mirror 2009 L. PADOVANI
Mostrati risultati da 21 a 40 di 111
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