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