An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. - Furio Honsell; Marino Miculan; Ivan Scagnetto (ICALP, 2001)

Is semitransparency useful for navigating virtual environments?. - Luca Chittaro; Ivan Scagnetto (VRST, 2001)

The Theory of Contexts for First Order and Higher Order Abstract Syntax. - Furio Honsell; Marino Miculan; Ivan Scagnetto (TOSCA, 2001)

pi-calculus in (Co)inductive-type theory. - Furio Honsell; Marino Miculan; Ivan Scagnetto (Theor. Comput. Sci., 2001)

Ambient Calculus and its Logic in the Calculus of Inductive Constructions. - Ivan Scagnetto; Marino Miculan (LFM, 2002)

A framework for typed HOAS and semantics. - Marino Miculan; Ivan Scagnetto (PPDP, 2003)

Mobility Types in Coq. - Furio Honsell; Ivan Scagnetto (TYPES, 2003)

Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. - Alberto Ciaffaglione; Ivan Scagnetto (COMETA, 2003)

Translating specifications from nominal logic to CIC with the theory of contexts. - Marino Miculan; Ivan Scagnetto; Furio Honsell (MERLIN, 2005)

Consistency of the theory of contexts. - Anna Bucalo; Furio Honsell; Marino Miculan; Ivan Scagnetto; Martin Hofmann 001 (J. Funct. Program., 2006)

AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. - Adolfo Bulfoni; Paolo Coppola 001; Vincenzo Della Mea; Luca Di Gaspero; Danny Mischis; Stefano Mizzaro; Ivan Scagnetto; Luca Vassena (ECAI, 2008)

A Conditional Logical Framework. - Furio Honsell; Marina Lenisa; Luigi Liquori; Ivan Scagnetto (LPAR, 2008)

Context Aware Browser. - Stefano Mizzaro; Paolo Coppola 001; Vincenzo Della Mea; Luca Di Gaspero; Danny Mischis; Elena Nazzi; Ivan Scagnetto; Luca Vassena (Interactive Information Retrieval, 2009)

The Context-Aware Browser. - Paolo Coppola 001; Vincenzo Della Mea; Luca Di Gaspero; Davide Menegon; Danny Mischis; Stefano Mizzaro; Ivan Scagnetto; Luca Vassena (IEEE Intell. Syst., 2010)

AI Techniques in a Context-Aware Ubiquitous Environment. - Paolo Coppola 001; Vincenzo Della Mea; Luca Di Gaspero; Raffaella Lomuscio; Danny Mischis; Stefano Mizzaro; Elena Nazzi; Ivan Scagnetto; Luca Vassena (Pervasive Computing, Innovations in Intelligent Multimedia and Applications, 2010)

A weak HOAS approach to the POPLmark Challenge - Alberto Ciaffaglione; Ivan Scagnetto (LSFA, 2012)

Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach. - Marco Pavan; Stefano Mizzaro; Ivan Scagnetto (DART@AI*IA (Revised and Invited Papers), 2014)

A context-aware retrieval system for mobile applications. - Stefano Mizzaro; Marco Pavan; Ivan Scagnetto; Ivano Zanello (CaRR@ECIR, 2014)

Internal Adequacy of Bookkeeping in Coq. - Alberto Ciaffaglione; Ivan Scagnetto (LFMTP, 2014)

L ax F: Side Conditions and External Evidence as Monads. - Furio Honsell; Luigi Liquori; Ivan Scagnetto (MFCS (1), 2014)

Short text categorization exploiting contextual enrichment and external knowledge. - Stefano Mizzaro; Marco Pavan; Ivan Scagnetto; Martino Valenti (SoMeRA@SIGIR, 2014)

Content-Based Similarity of Twitter Users. - Stefano Mizzaro; Marco Pavan; Ivan Scagnetto (ECIR, 2015)

Finding Important Locations: A Feature-Based Approach. - Marco Pavan; Stefano Mizzaro; Ivan Scagnetto; Andrea Beggiato (MDM (1), 2015)

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (LFMTP, 2015)

Mechanizing type environments in weak HOAS. - Alberto Ciaffaglione; Ivan Scagnetto (Theor. Comput. Sci., 2015)

Implementing Cantor's Paradise. - Furio Honsell; Marina Lenisa; Luigi Liquori; Ivan Scagnetto (APLAS, 2016)

Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections. - Marco Pavan; Stefano Mizzaro; Matteo Bernardon; Ivan Scagnetto (NewsIR@ECIR, 2016)

An open logical framework. - Furio Honsell; Marina Lenisa; Ivan Scagnetto; Luigi Liquori; Petar Maksimovic 001 (J. Log. Comput., 2016)

LLF𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (Log. Methods Comput. Sci., 2017)

Mobile Information Retrieval - Fabio Crestani; Stefano Mizzaro; Ivan Scagnetto (Springer, 2017)

The Delta-Framework. - Furio Honsell; Luigi Liquori; Claude Stolze; Ivan Scagnetto (FSTTCS, 2018)

The involutions-as-principal types/application-as-unification Analogy. - Alberto Ciaffaglione; Furio Honsell; Marina Lenisa; Ivan Scagnetto (LPAR, 2018)

Linear lambda-calculus and Reversible Automatic Combinators. - Alberto Ciaffaglione; Furio Honsell; Marina Lenisa; Ivan Scagnetto (CoRR, 2018)

Plugging-in proof development environments using Locks in LF. - Furio Honsell; Luigi Liquori; Petar Maksimovic 001; Ivan Scagnetto (Math. Struct. Comput. Sci., 2018)

lambda!-calculus, Intersection Types, and Involutions. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa; Ivan Scagnetto (FSCD, 2019)

Mobile Information Retrieval. - Fabio Crestani; Stefano Mizzaro; Ivan Scagnetto (CoRR, 2019)

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. - Stefano Mizzaro; Ivan Scagnetto (J. Assoc. Inf. Sci. Technol., 2019)

LF+ in Coq for "fast and loose" reasoning. - Fabio Alessi; Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa; Ivan Scagnetto (J. Formaliz. Reason., 2019)

Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. - Furio Honsell; Marina Lenisa; Ivan Scagnetto (TYPES, 2020)

An integrated low-cost system for object detection in underwater environments. - Gian Luca Foresti; Ivan Scagnetto (Integr. Comput. Aided Eng., 2022)

Real-Time GAN-Based Model for Underwater Image Enhancement. - Danilo Avola; Irene Cannistraci; Marco Cascio; Luigi Cinque; Anxhelo Diko; Damiano Distante; Gian Luca Foresti; Alessio Mecca; Ivan Scagnetto (ICIAP (1), 2023)

Two Views on Unification: Terms as Strategies. - Furio Honsell; Marina Lenisa; Ivan Scagnetto (FSTTCS, 2024)

A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization. - Niccolò Cecchinato; Ivan Scagnetto; Andrea Toma; Carlo Drioli; Gian Luca Foresti (Integr. Comput. Aided Eng., 2024)

Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study. - Marco De Piante; Michele Midrio; Roberto Rinaldo; Ivan Scagnetto; Ruben Specogna; Francesco Trevisan (Sensors, 2024)

Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs). - Angelo Odetti; Gabriele Bruzzone; Roberta Ferretti; Simona Aracri; Federico Carotenuto; Carolina Vagnoli; Alessandro Zaldei; Ivan Scagnetto (Remote. Sens., 2024)

A cost-effective autonomous underwater system for small size object detection. - Denis Tavaris; Leonardo Scandino; Gian Luca Foresti; Ivan Scagnetto (Integr. Comput. Aided Eng., 2025)

Principal types as partial involutions. - Furio Honsell; Marina Lenisa; Ivan Scagnetto (Math. Struct. Comput. Sci., 2025)

A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area. - Donatella Gubiani; Giovanni Sgrazzutti; Massimiliano Basso; Elena Viero; Denis Tavaris; Gian Luca Foresti; Ivan Scagnetto (Comput. Aided Civ. Infrastructure Eng., 2025)

MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks. - Andrea Toma; Niccolò Cecchinato; Giovanni Ferrin; Ivan Scagnetto; Carlo Drioli; Gian Luca Foresti (Unmanned Syst., 2025)