Sfoglia per Autore
pi-calculus in (Co)Inductive Type Theories
2001-01-01 Honsell, F; Miculan, Marino; Scagnetto, Ivan
The Theory of Contexts for First Order and Higher Order Abstract Syntax
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Is Semitransparency Useful for Navigating Virtual Environments?
2001-01-01 Chittaro, Luca; Scagnetto, Ivan
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS
2001-01-01 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
2002-01-01 Scagnetto, Ivan; Miculan, Marino
A Framework for Typed HOAS and Semantics
2003-01-01 Miculan, Marino; Scagnetto, Ivan
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax
2003-01-01 Ciaffaglione, Alberto; Scagnetto, Ivan
Mobility Types in Coq
2004-01-01 Honsell, Furio; Scagnetto, Ivan
MoBe: a framework for context-aware mobile applications.
2005-01-01 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
2005-01-01 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
2005-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework
2005-01-01 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
2006-01-01 Bucalo, Anna; Hofmann, M; Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
Programmazione Web Lato Server
2007-01-01 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
2008-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, Furio
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers
2008-01-01 Miculan, Marino; Scagnetto, Ivan; Honsell, F.
A Conditional Logical Framework
2008-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
AI on the move: exploiting AI techniques for context inference on mobile devices
2008-01-01 Bulfoni, Adolfo; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, Luca
Context Aware Browser
2009-01-01 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Programmazione web lato server, 2a edizione
2010-01-01 DELLA MEA, Vincenzo; DI GASPERO, Luca; Scagnetto, Ivan
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 |
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