Home Page

Papers

 

List
1. 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. Furio Honsell, Ivan Scagnetto
Mobility Types in Coq.
In Proceedings of TYPES 2003, Torino, 2003. LNCS.
11. 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.
12. Marino Miculan, Ivan Scagnetto
A Framework for Typed HOAS and Semantics.
In Proceedings of PPDP 2003, pages 184-194. Uppsala, 2003. ACM.
13. 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.
14.

Reasoning about names in Higher-Order Abstract Syntax.
Ph.D. Thesis, March 2002.
Dipartimento di Matematica e Informatica, Università degli Studi di Udine.
15. 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.
16. 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.
17. 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.
18. Furio Honsell, Marino Miculan, Ivan Scagnetto
Pi-calculus in (Co)Inductive Type Theories.
In Theoretical Computer Science, 253(2), pages 239-285, 2001.