Ivan Scagnetto

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 21

Top Topics

Logical Framework

Environmental Data

Unmanned Aerial Vehicles

Top Venues

Integr. Comput. Aided Eng.

Publications

Marco De Piante, Michele Midrio, Roberto Rinaldo, Ivan Scagnetto, Ruben Specogna, Francesco Trevisan
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study. Sensors 24 (8) (2024)
Angelo Odetti, Gabriele Bruzzone, Roberta Ferretti, Simona Aracri, Federico Carotenuto, Carolina Vagnoli, Alessandro Zaldei, Ivan Scagnetto
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs). Remote. Sens. 16 (11) (2024)
Niccolò Cecchinato, Ivan Scagnetto, Andrea Toma, Carlo Drioli, Gian Luca Foresti
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization. Integr. Comput. Aided Eng. 31 (1) (2024)
Furio Honsell, Marina Lenisa, Ivan Scagnetto
Principal Types as Partial Involutions. CoRR (2024)
Danilo Avola, Irene Cannistraci, Marco Cascio, Luigi Cinque, Anxhelo Diko, Damiano Distante, Gian Luca Foresti, Alessio Mecca, Ivan Scagnetto
Real-Time GAN-Based Model for Underwater Image Enhancement. ICIAP (1) (2023)
Gian Luca Foresti, Ivan Scagnetto
An integrated low-cost system for object detection in underwater environments. Integr. Comput. Aided Eng. 29 (2) (2022)
Furio Honsell, Marina Lenisa, Ivan Scagnetto
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. TYPES (2020)
Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto
Mobile Information Retrieval. CoRR (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
lambda!-calculus, Intersection Types, and Involutions. FSCD (2019)
Stefano Mizzaro, Ivan Scagnetto
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. J. Assoc. Inf. Sci. Technol. 70 (11) (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. 12 (1) (2019)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-framework. CoRR (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. 28 (9) (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
The involutions-as-principal types/application-as-unification Analogy. LPAR (2018)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-Framework. FSTTCS (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
Linear lambda-calculus and Reversible Automatic Combinators. CoRR (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. CoRR (2017)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Log. Methods Comput. Sci. 13 (3) (2017)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
Implementing Cantor's Paradise. APLAS (2016)
Marco Pavan, Stefano Mizzaro, Matteo Bernardon, Ivan Scagnetto
Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections. NewsIR@ECIR (2016)
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
An open logical framework. J. Log. Comput. 26 (1) (2016)
Alberto Ciaffaglione, Ivan Scagnetto
Mechanizing type environments in weak HOAS. Theor. Comput. Sci. 606 (2015)
Stefano Mizzaro, Marco Pavan, Ivan Scagnetto
Content-Based Similarity of Twitter Users. ECIR (2015)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP (2015)
Marco Pavan, Stefano Mizzaro, Ivan Scagnetto, Andrea Beggiato
Finding Important Locations: A Feature-Based Approach. MDM (1) (2015)
Furio Honsell, Luigi Liquori, Ivan Scagnetto
L ax F: Side Conditions and External Evidence as Monads. MFCS (1) (2014)
Stefano Mizzaro, Marco Pavan, Ivan Scagnetto, Martino Valenti
Short text categorization exploiting contextual enrichment and external knowledge. SoMeRA@SIGIR (2014)
Alberto Ciaffaglione, Ivan Scagnetto
Internal Adequacy of Bookkeeping in Coq. LFMTP (2014)
Stefano Mizzaro, Marco Pavan, Ivan Scagnetto, Ivano Zanello
A context-aware retrieval system for mobile applications. CaRR@ECIR (2014)
Marco Pavan, Stefano Mizzaro, Ivan Scagnetto
Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach. DART@AI*IA (Revised and Invited Papers) (2014)
Alberto Ciaffaglione, Ivan Scagnetto
A weak HOAS approach to the POPLmark Challenge LSFA (2012)
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
The Context-Aware Browser. IEEE Intell. Syst. 25 (1) (2010)
Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, Luca Vassena
Context Aware Browser. Interactive Information Retrieval (2009)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
A Conditional Logical Framework. LPAR (2008)
Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. ECAI (2008)
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
Consistency of the theory of contexts. J. Funct. Program. 16 (3) (2006)
Marino Miculan, Ivan Scagnetto, Furio Honsell
Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN (2005)
Alberto Ciaffaglione, Ivan Scagnetto
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 104 (2004)
Furio Honsell, Ivan Scagnetto
Mobility Types in Coq. TYPES (2003)
Marino Miculan, Ivan Scagnetto
A framework for typed HOAS and semantics. PPDP (2003)
Ivan Scagnetto, Marino Miculan
Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Luca Chittaro, Ivan Scagnetto
Is semitransparency useful for navigating virtual environments?. VRST (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253 (2) (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 62 (2001)