Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 58
Titolo Data di pubblicazione Autore(i) File
pi-calculus in (Co)Inductive Type Theories 1-gen-2001 Honsell, F; Miculan, Marino; Scagnetto, Ivan
The Theory of Contexts for First Order and Higher Order Abstract Syntax 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Is Semitransparency Useful for Navigating Virtual Environments? 1-gen-2001 Chittaro, Luca; Scagnetto, Ivan
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 1-gen-2002 Scagnetto, Ivan; Miculan, Marino
A Framework for Typed HOAS and Semantics 1-gen-2003 Miculan, Marino; Scagnetto, Ivan
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 1-gen-2003 Ciaffaglione, Alberto; Scagnetto, Ivan
Mobility Types in Coq 1-gen-2004 Honsell, Furio; Scagnetto, Ivan
MoBe: a framework for context-aware mobile applications. 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; ZANDEGIACOMO RIZIO', P.
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; ZANDEGIACOMO RIZIO', Paolo
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 1-gen-2005 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 1-gen-2005 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mizzaro, Stefano; Scagnetto, Ivan; Selva, Andrea; Vassena, Luca; Paolo Zandegiacomo, Riziò
Consistency of the Theory of Contexts 1-gen-2006 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Programmazione Web Lato Server 1-gen-2007 DELLA MEA, Vincenzo; DI GASPERO, Luca; Scagnetto, Ivan
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, F.
A Conditional Logical Framework 1-gen-2008 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
AI on the move: exploiting AI techniques for context inference on mobile devices 1-gen-2008 Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca
Context Aware Browser 1-gen-2009 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Programmazione web lato server, 2a edizione 1-gen-2010 DELLA MEA, Vincenzo; DI GASPERO, Luca; Scagnetto, Ivan
Mostrati risultati da 1 a 20 di 58
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