Ivan Scagnetto

Orcid: 0000-0003-3206-2719

According to our database1, Ivan Scagnetto authored at least 45 papers between 2001 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs).
Remote. Sens., June, 2024

Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study.
Sensors, April, 2024

A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization.
Integr. Comput. Aided Eng., 2024

Principal Types as Partial Involutions.
CoRR, 2024

2023
Real-Time GAN-Based Model for Underwater Image Enhancement.
Proceedings of the Image Analysis and Processing - ICIAP 2023, 2023

2022
An integrated low-cost system for object detection in underwater environments.
Integr. Comput. Aided Eng., 2022

2020
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.
Proceedings of the 26th International Conference on Types for Proofs and Programs, 2020

2019
LF+ in Coq for "fast and loose" reasoning.
J. Formaliz. Reason., 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.
J. Assoc. Inf. Sci. Technol., 2019

Mobile Information Retrieval.
CoRR, 2019

lambda!-calculus, Intersection Types, and Involutions.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
Plugging-in proof development environments using Locks in LF.
Math. Struct. Comput. Sci., 2018

Linear lambda-calculus and Reversible Automatic Combinators.
CoRR, 2018

The involutions-as-principal types/application-as-unification Analogy.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

The Delta-Framework.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017
Mobile Information Retrieval
Springer Briefs in Computer Science, Springer, ISBN: 978-3-319-60776-4, 2017

LLF<sub>𝒫</sub>: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.
Log. Methods Comput. Sci., 2017

2016
An open logical framework.
J. Log. Comput., 2016

Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections.
Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), 2016

Implementing Cantor's Paradise.
Proceedings of the Programming Languages and Systems - 14th Asian Symposium, 2016

2015
Mechanizing type environments in weak HOAS.
Theor. Comput. Sci., 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

Finding Important Locations: A Feature-Based Approach.
Proceedings of the 16th IEEE International Conference on Mobile Data Management, 2015

Content-Based Similarity of Twitter Users.
Proceedings of the Advances in Information Retrieval, 2015

2014
Short text categorization exploiting contextual enrichment and external knowledge.
Proceedings of the SoMeRA'14, 2014

L ax F: Side Conditions and External Evidence as Monads.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Internal Adequacy of Bookkeeping in Coq.
Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2014

A context-aware retrieval system for mobile applications.
Proceedings of the 4th Workshop on Context-Awareness in Retrieval and Recommendation, 2014

Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach.
Proceedings of the Information Filtering and Retrieval, 2014

2012
A weak HOAS approach to the POPLmark Challenge
Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2010
AI Techniques in a Context-Aware Ubiquitous Environment.
Proceedings of the Pervasive Computing, 2010

The Context-Aware Browser.
IEEE Intell. Syst., 2010

2009
Context Aware Browser.
Proceedings of the Interactive Information Retrieval, 01.03. - 06.03.2009, 2009

2008
A Conditional Logical Framework.
Proceedings of the Logic for Programming, 2008

AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.
Proceedings of the ECAI 2008, 2008

2006
Consistency of the theory of contexts.
J. Funct. Program., 2006

2005
Translating specifications from nominal logic to CIC with the theory of contexts.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2003
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Mobility Types in Coq.
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

A framework for typed HOAS and semantics.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

2001
pi-calculus in (Co)inductive-type theory.
Theor. Comput. Sci., 2001

The Theory of Contexts for First Order and Higher Order Abstract Syntax.
Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Is semitransparency useful for navigating virtual environments?.
Proceedings of the ACM Symposium on Virtual Reality Software and Technology, 2001

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.
Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001


  Loading...