π-calculus in (co) inductive-type theory F Honsell, M Miculan, I Scagnetto Theoretical computer science 253 (2), 239-285, 2001 | 141 | 2001 |
The context-aware browser P Coppola, V Della Mea, L Di Gaspero, D Menegon, D Mischis, S Mizzaro, ... IEEE Intelligent Systems 25 (1), 38-47, 2010 | 73 | 2010 |
Is semitransparency useful for navigating virtual environments? L Chittaro, I Scagnetto Proceedings of the ACM symposium on Virtual reality software and technology …, 2001 | 61 | 2001 |
An axiomatic approach to metareasoning on nominal algebras in HOAS F Honsell, M Miculan, I Scagnetto Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 48 | 2001 |
MoBe: a framework for context-aware mobile applications P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ... Proc. CAPS 5, 55-66, 2005 | 44 | 2005 |
Consistency of the theory of contexts A Bucalo, F Honsell, M Miculan, I Scagnetto, M Hoffman Journal of Functional Programming 16 (3), 327-372, 2006 | 41 | 2006 |
A framework for typed HOAS and semantics M Miculan, I Scagnetto Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 40 | 2003 |
An axiomatic approach to metareasoning on systems in higher-order abstract syntax F Honsell, M Miculan, I Scagnetto Proc. ICALP 1, 963-978, 2001 | 35 | 2001 |
Finding important locations: A feature-based approach M Pavan, S Mizzaro, I Scagnetto, A Beggiato 2015 16th IEEE International Conference on Mobile Data Management 1, 110-115, 2015 | 33 | 2015 |
Mobile information retrieval F Crestani, S Mizzaro, I Scagnetto Springer International Publishing, 2017 | 31 | 2017 |
Content-based similarity of twitter users S Mizzaro, M Pavan, I Scagnetto Advances in Information Retrieval: 37th European Conference on IR Research …, 2015 | 25 | 2015 |
AI techniques in a context-aware ubiquitous environment P Coppola, VD Mea, L Di Gaspero, R Lomuscio, D Mischis, S Mizzaro, ... Pervasive computing: innovations in intelligent multimedia and applications …, 2010 | 24 | 2010 |
Short text categorization exploiting contextual enrichment and external knowledge S Mizzaro, M Pavan, I Scagnetto, M Valenti Proceedings of the first international workshop on Social media retrieval …, 2014 | 18 | 2014 |
LFP a logical framework with external predicates F Honsell, M Lenisa, L Liquori, P Maksimovic, I Scagnetto Proceedings of the seventh international workshop on Logical frameworks and …, 2012 | 17 | 2012 |
MoBe: context-aware mobile applications on mobile devices for mobile users P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ... Proceedings of the International Workshop on Exploiting Context Histories in …, 2005 | 17 | 2005 |
Ambient calculus and its logic in the calculus of inductive constructions I Scagnetto, M Miculan Electronic Notes in Theoretical Computer Science 70 (2), 76-95, 2002 | 15 | 2002 |
Reasoning about names in higher-order abstract syntax I Scagnetto, F Honsell Forum, 2002 | 15 | 2002 |
Implementing Cantor’s paradise F Honsell, M Lenisa, L Liquori, I Scagnetto Asian Symposium on Programming Languages and Systems, 229-250, 2016 | 14 | 2016 |
An open logical framework F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic Journal of Logic and Computation 26 (1), 293-335, 2013 | 14 | 2013 |
Information filtering and retrieving of context-aware applications within the mobe framework P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ... Proceedings of CIR 2005-International Workshop on Context-Based Information …, 2005 | 14 | 2005 |