Home Page

Papers

 

List
* A. Ciaffaglione, P. Di Gianantonio, F. Honsell, M. Lenisa and I. Scagnetto.
Λ!-calculus, intersection types, and involutions.
In Proc. of FSCD 2019 (4th International Conference on Formal Structures for Computation and Deduction), Herman Geuvers ed., Leibniz International Proceedings in Informatics (LIPIcs), Vol. 131, 2019, doi: 10.4230/LIPIcs.FSCD.2019.15
* A. Ciaffaglione, F. Honsell, M. Lenisa and I. Scagnetto.
The involutions-as-principal types/application-as-unification Analogy.
In Proc. of LPAR-22 (22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning), Gilles Barthe, Geoff Sutcliffe and Margus Veanes eds., EPiC Series in Computing, Vol. 57, pp. 254-270, EasyChair, doi:10.29007/ntwg
* F. Honsell, L. Liquori, C. Stolze and I. Scagnetto.
The Δ-framework.
In Proc. of FSTTCS 2018 (38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science), December 10-14, School of Engineering and Applied Science, Ahmedabad University, Leibniz International Proceedings in Informatics (LIPIcs), 2018.
* A. Ciaffaglione, P. Di Gianantonio, F. Honsell, M. Lenisa and I. Scagnetto.
Reversible Computation and Principal Types in λ!-calculus.
In H. Dugald Macpherson, editor, The Bulletin of Symbolic Logic, Logic Colloquium 2018, Vol. 25, No. 2 (JUNE 2019), pp. 223-273 (51 pages).
* F. Honsell, L. Liquori, P. Maksimovic and I. Scagnetto.
Plugging-in proof development environments using Locks in LF.
In Mathematical Structures in Computer Science, 1-28, 2018. doi:10.1017/S0960129518000105
* F. Cepparo, I. Scagnetto, M. Molinaro, R. Smareglia.
A distributed infrastructure for publishing VO services: An implementation.
In Proceedings of SPIE - The International Society for Optical Engineering, Volume 10015, 29 July 2018, Article number 100150J, SPIE Astronomical Telescopes and Instrumentation 2016; Edinburgh; United Kingdom; 26 June 2016 through 1 July 2016
* F. Honsell, L. Liquori, P. Maksimovic and I. Scagnetto.
LLFP: A Logical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance using Monads.
In lmcs:3771 - Logical Methods in Computer Science, July 6, 2017, Volume 13, Issue 3.
* C. Stolze, L. Liquori, F. Honsell and I. Scagnetto.
Towards a Logical Framework with Intersection and Union Types.
In Proceedings of Logical Frameworks and Meta-Languages: Theory and Practice, Oxford, September 8 2017.
* F. Crestani, S. Mizzaro, I. Scagnetto.
Mobile Information Retrieval.
In SpringerBriefs in Computer Science, ISSN 2191-5768, Softcover ISBN 978-3-319-60776-4, eBook ISBN 978-3-319-60777-1, DOI 10.1007/978-3-319-60777-1, Springer International Publishing 2017.
* Marco Pavan, Stefano Mizzaro, Ivan Scagnetto.
Mining Movement Data to Extract Personal Points of Interest: A Feature Based Approach.
In Studies in Computational Intelligence, Volume 668, pp. 35-61, Springer 2017, ISBN: 978-3-319-46133-5 (Print) 978-3-319-46135-9 (Online), doi: 10.1007/978-3-319-46135-9.
* F. Honsell, M. Lenisa, L. Liquori, I. Scagnetto.
Implementing Cantor's Paradise.
In Proceedings of APLAS 2016, Chapter Programming Languages and Systems, Volume 10017 of the series Lecture Notes in Computer Science pp 229-250, doi: 10.1007/978-3-319-47958-3_13, Hanoi, Vietnam, November 21-23, Springer 2016.
* M. Pavan, S. Mizzaro, M. Bernardon, I. Scagnetto.
Exploiting News to Categorize Tweets: Quantifying the Impact of Different News Collections.
In Proceedings of NewsIR'16, Padua, Italy, March 20, 2016, CEUR WS Vol-1568, ISSN 1613-0073.
* F. Honsell, M. Lenisa, L. Liquori, P. Maksimovic and I. Scagnetto.
An Open Logical Framework.
J Logic Computation (2016) 26 (1): 293-335 doi: 10.1093/logcom/ext028, First published online: July 31, 2013.
* A. Ciaffaglione and I. Scagnetto.
Mechanizing type environments in weak HOAS.
In Theoretical Computer Science (2015), http://dx.doi.org/10.1016/j.tcs.2015.07.019.
* F. Honsell, L. Liquori, P. Maksimovic and I. Scagnetto.
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
In Proc. of LFMTP 2015 (Logical Frameworks and Meta-Languages: Theory and Practice, Affiliated with CADE-25), Berlin, Germany, 01/08/2015, pp. 3-17, http://dx.doi.org/10.4204/EPTCS.185.1, ISSN: 2075-2180, Open Publishing Association.
* M. Pavan, S. Mizzaro, I. Scagnetto and A. Beggiato.
Finding Important Locations: A Feature-Based Approach.
In Proceedings of Mobile Data Management (MDM) 2015, 15-18 June, 2015, Pittsburgh, Pennsylvania, USA, Vol. 1, pp. 110-115, http://dx.doi.org/10.1109/MDM.2015.11, ISBN: 978-1-4799-9971-2, IEEE.
* S. Mizzaro, M. Pavan and I. Scagnetto.
Content-Based Similarity of Twitter Users.
In Proc. of ECIR 2015, 37th European Conference on IR Research, Vienna, Austria, March 29 - April 2, 2015. Lecture Notes in Computer Science Volume 9022, 2015, pages 507-512.
* F. Honsell, L. Liquori and I. Scagnetto.
LaxF: Side Conditions and External Evidence as Monads.
In Proc. of MFCS 2014 (39th International Symposium on Mathematical Foundations of Computer Science), Part I, Budapest, Hungary, 25-29/08/2014, Lecture Notes in Computer Science, Vol. 8634, pages 327-339, Springer, ISBN 978-3-662-44521-1.
* A. Ciaffaglione and I. Scagnetto.
Internal Adequacy of Bookkeeping in Coq.
In Proc. of LFMTP 2014 (Logical Frameworks and Meta-Languages: Theory and Practice, Affiliated with CSL-LICS 2014 and IJCAR 2014), Vienna, Austria - July 17, 2014. ACM, New York, NY, USA, 2014.
http://dx.doi.org/10.1145/2631172.2631180
* S. Mizzaro, M. Pavan, I. Scagnetto, and M. Valenti.
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge.
In Proceedings of the first international workshop on Social media retrieval and analysis (SoMeRA '14). ACM, New York, NY, USA, 57-62. DOI=10.1145/2632188.2632205 http://doi.acm.org/10.1145/2632188.2632205
* S. Mizzaro, M. Pavan, I. Scagnetto, and I. Zanello.
A context-aware retrieval system for mobile applications.
In Proceedings of the 4th Workshop on Context-Awareness in Retrieval and Recommendation (CARR '14). ACM, New York, NY, USA, 18-25. DOI=10.1145/2601301.2601305 http://doi.acm.org/10.1145/2601301.2601305
* A. Ciaffaglione and I. Scagnetto.
Revisiting the bookkeeping technique in HOAS-based encodings.
In TYPES 2013 Book of Abstracts. Toulouse (IRIT - CNRS), April 22-26, 2013.
* A. Ciaffaglione and I. Scagnetto.
A weak HOAS approach to the POPLmark Challenge.
In Proc. of LSFA 2012 (7th Workshop on Logical and Semantic Frameworks, with Applications), Rio de Janeiro, Brazil - September 29-30, 2012.
Published: 28th March 2013, DOI: 10.4204/EPTCS.113, ISSN: 2075-2180
* F. Honsell, M. Lenisa, L. Liquori, P. Maksimovic and I. Scagnetto.
LFP - A Logical Framework with External Predicates.
In Proc. of LFMTP 2012 (7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice), Copenhagen, Denmark - September 9, 2012.
* P. Coppola, V. Della Mea, L. Di Gaspero, D. Menegon, D. Mischis, S. Mizzaro, I. Scagnetto and L. Vassena.
The Context-Aware Browser.
In IEEE Intelligent Systems, Volume 25, Number 1, Pages 38-47, January/February 2010.
* P. Coppola, V. Della Mea, L. Di Gaspero, R. Lomuscio, D. Mischis, S. Mizzaro, E. Nazzi, I. Scagnetto and L. Vassena.
AI Techniques in a Context-Aware Ubiquitous Environment.
In: A. Hassanien, J. Abawajy, A. Abraham, and H. Hagras (Editors), Advances in Intelligent Multimedia and Pervasive Computing. Series in Computer Communications and Networks, Springer Verlag, Germany, 2009.
* Furio Honsell, Marina Lenisa, Luigi Liquori and Ivan Scagnetto
A Conditional Logical Framework.
In Proc. of LPAR 2008, Lecture Notes in Computer Science, Volume 5330/2008 (Logic for Programming, Artificial Intelligence, and Reasoning), ISBN: 978-3-540-89438-4, Pages 143-157, Springer Berlin/Heidelberg, November 16, 2008.
* A. Bulfoni, P. Coppola, V. Della Mea, L. Di Gaspero, D. Mischis, S. Mizzaro, I. Scagnetto and L. Vassena.
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.
In: Proc. Of 5th Prestigious Applications of Intelligent Systems (PAIS 2008), colocated with ECAI08, Patras, Greece, 2008.
* Anna Bucalo, Martin Hofmann, Furio Honsell, Marino Miculan, Ivan Scagnetto
Consistency of the Theory of Contexts.
Journal of Functional Programming, Volume 16, Issue 03, May 2006, pp 327-395.
* P.Coppola, V.Della Mea, L. Di Gaspero, S. Mizzaro, I. Scagnetto, A. Selva, L. Vassena, P. Zandegiacomo Riziò
MoBe: a framework for context-aware mobile applications.
In Proc. of Workshop on Context Awareness for Proactive Systems (CAPS2005), Helsinki University Press, 2005; ISBN: 952-10-2518-2.
* P.Coppola, V.Della Mea, L. Di Gaspero, S. Mizzaro, I. Scagnetto, A. Selva, L. Vassena, P. Zandegiacomo Riziò
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users.
In: Proc. of 1st Int. Workshop on Exploiting Context Histories in Smart Environments (ECHISE2005), Munich, 2005.
* P.Coppola, V.Della Mea, L. Di Gaspero, S. Mizzaro, I. Scagnetto, A. Selva, L. Vassena, P. Zandegiacomo Riziò
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework.
In International Workshop on Context-Based Information Retrieval (CIR-05), Paris, France, July 2005, CEUR Workshop Proceedings, ISSN: 1613-0073.
* Marino Miculan, Ivan Scagnetto and Furio Honsell
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts.
In Proceedings of MERLIN 2005, Tallin, 2005.
* Furio Honsell, Ivan Scagnetto
Mobility Types in Coq.
In Proceedings of TYPES 2003, Torino, 2003. LNCS.
* Alberto Ciaffaglione, Ivan Scagnetto
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax.
In Proceedings of COMETA 2003, ENTCS, Elsevier/Forum, 2003.
* Marino Miculan, Ivan Scagnetto
A Framework for Typed HOAS and Semantics.
In Proceedings of PPDP 2003, pages 184-194. Uppsala, 2003. ACM.
* Marino Miculan, Ivan Scagnetto
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
In Proceedings of LFM 2002. ENTCS 70.2, Elsevier, 2002.
*

Reasoning about names in Higher-Order Abstract Syntax.
Ph.D. Thesis, March 2002.
Dipartimento di Matematica e Informatica, Università degli Studi di Udine.

* Luca Chittaro, Ivan Scagnetto
Is Semitransparency Useful for Navigating Virtual Environments?
In Proceedings of VRST-2001: 8th ACM Symposium on Virtual Reality Software & Technology, ACM Press, 2001.
* Furio Honsell, Marino Miculan, Ivan Scagnetto
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
In Proceedings of TOSCA 2001. ENTCS 62, Elsevier/Forum, 2001.
* Furio Honsell, Marino Miculan, Ivan Scagnetto
An axiomatic approach to metareasoning on systems in higher-order abstract syntax.
In Proceedings of ICALP'01, Number 2076 in Lecture Notes in Computer Science, pages 963-978, 2001.
* Furio Honsell, Marino Miculan, Ivan Scagnetto
Pi-calculus in (Co)Inductive Type Theories.
In Theoretical Computer Science, 253(2), pages 239-285, 2001.