Ivan Scagnetto

55 papers A* 1A 2B 5C 1Journal 23Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A cost-effective autonomous underwater system for small size object detection. Integr. Comput. Aided Eng. Denis Tavaris, Leonardo Scandino, Gian Luca Foresti, Ivan Scagnetto
2025	J	`jnl`	A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area. Comput. Aided Civ. Infrastructure Eng. Donatella Gubiani, Giovanni Sgrazzutti, Massimiliano Basso, Elena Viero, Denis Tavaris, Gian Luca Foresti, Ivan Scagnetto
2025	J	`jnl`	MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks. Unmanned Syst. Andrea Toma, Niccolò Cecchinato, Giovanni Ferrin, Ivan Scagnetto, Carlo Drioli, Gian Luca Foresti
2025	J	`jnl`	Multi-Perspective RGB and Infrared Dataset for UAV Detection. IEEE Access Denis Tavaris, Alberto de Zan, Andrea Toma, Gian Luca Foresti, Ivan Scagnetto, Niki Martinel
2025	J	`jnl`	Principal types as partial involutions. Math. Struct. Comput. Sci. Furio Honsell, Marina Lenisa, Ivan Scagnetto
2024	J	`jnl`	A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization. Integr. Comput. Aided Eng. Niccolò Cecchinato, Ivan Scagnetto, Andrea Toma, Carlo Drioli, Gian Luca Foresti
2024	J	`jnl`	Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs). Remote. Sens. Angelo Odetti, Gabriele Bruzzone, Roberta Ferretti, Simona Aracri, Federico Carotenuto, Carolina Vagnoli, Alessandro Zaldei, Ivan Scagnetto
2024	J	`jnl`	Principal Types as Partial Involutions. CoRR Furio Honsell, Marina Lenisa, Ivan Scagnetto
2024	J	`jnl`	Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study. Sensors Marco De Piante, Michele Midrio, Roberto Rinaldo, Ivan Scagnetto, Ruben Specogna, Francesco Trevisan
2024	—	`conf`	Two Views on Unification: Terms as Strategies. FSTTCS Furio Honsell, Marina Lenisa, Ivan Scagnetto
2023	—	`conf`	Real-Time GAN-Based Model for Underwater Image Enhancement. ICIAP (1) Danilo Avola, Irene Cannistraci, Marco Cascio, Luigi Cinque, Anxhelo Diko, Damiano Distante, Gian Luca Foresti, Alessio Mecca, Ivan Scagnetto
2022	J	`jnl`	An integrated low-cost system for object detection in underwater environments. Integr. Comput. Aided Eng. Gian Luca Foresti, Ivan Scagnetto
2020	—	`conf`	Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. TYPES Furio Honsell, Marina Lenisa, Ivan Scagnetto
2019	J	`jnl`	LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2019	J	`jnl`	Mobile Information Retrieval. CoRR Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto
2019	J	`jnl`	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. Stefano Mizzaro, Ivan Scagnetto
2019	—	`ed.`	Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. LFMTP@LICS Dale Miller, Ivan Scagnetto
2019	B	`conf`	lambda!-calculus, Intersection Types, and Involutions. FSCD Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2018	J	`jnl`	Linear lambda-calculus and Reversible Automatic Combinators. CoRR Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2018	J	`jnl`	Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2018	—	`conf`	The Delta-Framework. FSTTCS Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018	J	`jnl`	The Delta-framework. CoRR Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018	B	`conf`	The involutions-as-principal types/application-as-unification Analogy. LPAR Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2017	J	`jnl`	LLF CoRR Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017	J	`jnl`	LLF Log. Methods Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017	—	`book`	Mobile Information Retrieval Fabio Crestani, Stefano Mizzaro, Ivan Scagnetto
2016	J	`jnl`	An open logical framework. J. Log. Comput. Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
2016	—	`conf`	Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections. NewsIR@ECIR Marco Pavan, Stefano Mizzaro, Matteo Bernardon, Ivan Scagnetto
2016	B	`conf`	Implementing Cantor's Paradise. APLAS Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2015	A	`conf`	Content-Based Similarity of Twitter Users. ECIR Stefano Mizzaro, Marco Pavan, Ivan Scagnetto
2015	—	`conf`	Finding Important Locations: A Feature-Based Approach. MDM (1) Marco Pavan, Stefano Mizzaro, Ivan Scagnetto, Andrea Beggiato
2015	—	`conf`	Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2015	J	`jnl`	Mechanizing type environments in weak HOAS. Theor. Comput. Sci. Alberto Ciaffaglione, Ivan Scagnetto
2014	—	`conf`	A context-aware retrieval system for mobile applications. CaRR@ECIR Stefano Mizzaro, Marco Pavan, Ivan Scagnetto, Ivano Zanello
2014	—	`conf`	Internal Adequacy of Bookkeeping in Coq. LFMTP Alberto Ciaffaglione, Ivan Scagnetto
2014	—	`conf`	L ax F: Side Conditions and External Evidence as Monads. MFCS (1) Furio Honsell, Luigi Liquori, Ivan Scagnetto
2014	—	`conf`	Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach. DART@AI*IA (Revised and Invited Papers) Marco Pavan, Stefano Mizzaro, Ivan Scagnetto
2014	—	`conf`	Short text categorization exploiting contextual enrichment and external knowledge. SoMeRA@SIGIR Stefano Mizzaro, Marco Pavan, Ivan Scagnetto, Martino Valenti
2012	—	`conf`	A weak HOAS approach to the POPLmark Challenge LSFA Alberto Ciaffaglione, Ivan Scagnetto
2010	—	`ch.`	AI Techniques in a Context-Aware Ubiquitous Environment. Pervasive Computing, Innovations in Intelligent Multimedia and Applications Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Raffaella Lomuscio, Danny Mischis, Stefano Mizzaro, Elena Nazzi, Ivan Scagnetto, Luca Vassena
2010	J	`jnl`	The Context-Aware Browser. IEEE Intell. Syst. Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
2009	—	`conf`	Context Aware Browser. Interactive Information Retrieval Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, Luca Vassena
2008	B	`conf`	A Conditional Logical Framework. LPAR Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2008	A	`conf`	AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. ECAI Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
2008	—	`ed.`	Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers TYPES Marino Miculan, Ivan Scagnetto, Furio Honsell
2006	J	`jnl`	Consistency of the theory of contexts. J. Funct. Program. Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
2005	—	`conf`	Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN Marino Miculan, Ivan Scagnetto, Furio Honsell
2003	C	`conf`	A framework for typed HOAS and semantics. PPDP Marino Miculan, Ivan Scagnetto
2003	—	`conf`	Mobility Types in Coq. TYPES Furio Honsell, Ivan Scagnetto
2003	—	`conf`	Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. COMETA Alberto Ciaffaglione, Ivan Scagnetto
2002	—	`conf`	Ambient Calculus and its Logic in the Calculus of Inductive Constructions. LFM Ivan Scagnetto, Marino Miculan
2001	A*	`conf`	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	B	`conf`	Is semitransparency useful for navigating virtual environments?. VRST Luca Chittaro, Ivan Scagnetto
2001	—	`conf`	The Theory of Contexts for First Order and Higher Order Abstract Syntax. TOSCA Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	J	`jnl`	pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. Furio Honsell, Marino Miculan, Ivan Scagnetto