Ivan Scagnetto
TitleCited byYear
π-calculus in (co) inductive-type theory
F Honsell, M Miculan, I Scagnetto
Theoretical computer science 253 (2), 239-285, 2001
1292001
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
692010
Is semitransparency useful for navigating virtual environments?
L Chittaro, I Scagnetto
Proceedings of the ACM symposium on Virtual reality software and technology …, 2001
522001
An axiomatic approach to metareasoning on nominal algebras in HOAS
F Honsell, M Miculan, I Scagnetto
International Colloquium on Automata, Languages, and Programming, 963-978, 2001
522001
MoBe: a framework for context-aware mobile applications
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proceedings of Workshop on Context Awareness for Proactive Systems CAPS, 55-65, 2005
412005
An axiomatic approach to metareasoning on systems in higher-order abstract syntax
F Honsell, M Miculan, I Scagnetto
Proc. ICALP’01 2076, 963-978, 2001
372001
A framework for typed HOAS and semantics
M Miculan, I Scagnetto
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
342003
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
282006
AI techniques in a context-aware ubiquitous environment
P Coppola, V Della Mea, L Di Gaspero, R Lomuscio, D Mischis, S Mizzaro, ...
Pervasive Computing, 157-180, 2009
212009
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
182015
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
162014
LF P: 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
162012
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
142005
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
142002
Reasoning about names in higher-order abstract syntax
I Scagnetto, F Honsell
Forum, 2002
142002
A conditional logical framework
F Honsell, M Lenisa, L Liquori, I Scagnetto
International Conference on Logic for Programming Artificial Intelligence …, 2008
132008
A conditional logical framework
F Honsell, M Lenisa, L Liquori, I Scagnetto
International Conference on Logic for Programming Artificial Intelligence …, 2008
132008
The theory of contexts for first order and higher order abstract syntax
F Honsell, M Miculan, I Scagnetto
Electronic Notes in Theoretical Computer Science 62, 116-135, 2002
132002
Consistency of the theory of contexts
A Bucalo, M Hofmann, F Honsell, M Miculan, I Scagnetto
132001
An open logical framework
F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic
Journal of Logic and Computation 26 (1), 293-335, 2013
122013
The system can't perform the operation now. Try again later.
Articles 1–20