IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 61
Titolo Data di pubblicazione Autore(i) File
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 1-gen-2001 Honsell, Furio; Miculan, Marino; Scagnetto, Ivan
pi-calculus in (Co)Inductive Type Theories 1-gen-2001 Honsell, F; Miculan, Marino; Scagnetto, Ivan
Is Semitransparency Useful for Navigating Virtual Environments? 1-gen-2001 Chittaro, Luca; Scagnetto, Ivan
The Theory of Contexts for First Order and Higher Order Abstract Syntax 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
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ò
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
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.
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
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
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 1-gen-2008 Miculan, Marino; Scagnetto, Ivan; Honsell, F.
Context Aware Browser 1-gen-2009 Mizzaro, Stefano; Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Mischis, Danny; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
The Context-Aware Browser 1-gen-2010 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Menegon, D; Mischis, D; Mizzaro, Stefano; Scagnetto, Ivan; Vassena, L.
Programmazione web lato server, 2a edizione 1-gen-2010 DELLA MEA, Vincenzo; DI GASPERO, Luca; Scagnetto, Ivan
AI Techniques in a Context-Aware Ubiquitous Environment 1-gen-2010 Coppola, Paolo; DELLA MEA, Vincenzo; DI GASPERO, Luca; Lomuscio, Raffaella; Mischis, Danny; Mizzaro, Stefano; Nazzi, Elena; Scagnetto, Ivan; Vassena, Luca
Programmazione web lato server - Seconda edizione aggiornata 1-gen-2011 DELLA MEA, Vincenzo; DI GASPERO, Luca; Scagnetto, Ivan
LLF – A Logical-Logical Framework 1-gen-2011 Honsell, Furio; Lenisa, Marina; Luigi, Liquori; Maksimovic, Petar; Scagnetto, Ivan
Logical Predicates as First-Class Citizens in LF 1-gen-2011 Honsell, Furio; Lenisa, Marina; Luigi, Liquori; Maksimovic, Petar; Scagnetto, Ivan
LFP - A Logical Framework with External Predicates 1-gen-2012 Honsell, Furio; Lenisa, Marina; Liquori, L; Maksimovic, Petar; Scagnetto, Ivan
Revisiting the bookkeeping technique in HOAS-based encodings 1-gen-2013 Ciaffaglione, Alberto; Scagnetto, Ivan
A weak HOAS approach to the POPLmark Challenge 1-gen-2013 Ciaffaglione, Alberto; Scagnetto, Ivan
A context-aware retrieval system for mobile applications 1-gen-2014 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; I., Zanello
LaxF: Side Conditions and External Evidence as Monads 1-gen-2014 Honsell, Furio; L., Liquori; Scagnetto, Ivan
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 1-gen-2014 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan; M., Valenti
Internal Adequacy of Bookkeeping in Coq 1-gen-2014 Ciaffaglione, Alberto; Scagnetto, Ivan
Finding Important Locations: A Feature-based Approach 1-gen-2015 Pavan, Marco; Mizzaro, Stefano; Scagnetto, Ivan; Beggiato, Andrea
Mechanizing type environments in weak HOAS 1-gen-2015 Ciaffaglione, Alberto; Scagnetto, Ivan
Content-based similarity of Twitter users 1-gen-2015 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 1-gen-2015 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
Implementing cantor’s paradise 1-gen-2016 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
An Open Logical Framework 1-gen-2016 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
A distributed infrastructure for publishing VO services: An implementation 1-gen-2016 Cepparo, Francesco; Scagnetto, Ivan; Molinaro, Marco; Smareglia, Riccardo
Exploiting news to categorize tweets: Quantifying the impact of different news collections 1-gen-2016 Pavan, Marco; Mizzaro, Stefano; Bernardon, Matteo; Scagnetto, Ivan
Mining movement data to extract personal points of interest: A feature based approach 1-gen-2017 Pavan, Marco; Mizzaro, Stefano; Scagnetto, Ivan
Mobile Information Retrieval 1-gen-2017 Crestani, Fabio; Mizzaro, Stefano; Scagnetto, Ivan
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 1-gen-2017 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
Towards a logical framework with intersection and union types 1-gen-2017 Stolze, Claude; Liquori, Luigi; Honsell, Furio; Scagnetto, Ivan
Plugging-in proof development environments using Locks in LF 1-gen-2018 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
The involutions-as-principal types/ application-as-unification analogy 1-gen-2018 Ciaffaglione, A.; Honsell, F.; Lenisa, M.; Scagnetto, I.
The ∆-framework 1-gen-2018 Honsell, F.; Liquori, L.; Stolze, C.; Scagnetto, I.
Mobile Search Behaviors: An In-Depth Analysis Based on Contexts, APPs, and Devices. Dan Wu and Shaobo Liang. Synthesis Lectures on Information Concepts, Retrieval, and Services. San Rafael, CA: Morgan & Claypool, 2018. 159 pp. $51.96 (e-book). (ISBN 9781681733005) 1-gen-2018 Mizzaro, Stefano; Scagnetto, Ivan
LF+ in Coq for fast-and-loose reasoning 1-gen-2019 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Λ!-calculus, intersection types, and involutions 1-gen-2019 Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.; Scagnetto, I.
Mostrati risultati da 1 a 50 di 61
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