π-calculus in (co) inductive-type theory F Honsell, M Miculan, I Scagnetto Theoretical computer science 253 (2), 239-285, 2001 | 129 | 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 | 69 | 2010 |

Is semitransparency useful for navigating virtual environments? L Chittaro, I Scagnetto Proceedings of the ACM symposium on Virtual reality software and technology …, 2001 | 52 | 2001 |

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 | 52 | 2001 |

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 | 41 | 2005 |

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 | 37 | 2001 |

A framework for typed HOAS and semantics M Miculan, I Scagnetto Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 34 | 2003 |

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 | 28 | 2006 |

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 | 21 | 2009 |

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 | 18 | 2015 |

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 | 16 | 2014 |

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 | 16 | 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 | 14 | 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 | 14 | 2002 |

Reasoning about names in higher-order abstract syntax I Scagnetto, F Honsell Forum, 2002 | 14 | 2002 |

A conditional logical framework F Honsell, M Lenisa, L Liquori, I Scagnetto International Conference on Logic for Programming Artificial Intelligence …, 2008 | 13 | 2008 |

A conditional logical framework F Honsell, M Lenisa, L Liquori, I Scagnetto International Conference on Logic for Programming Artificial Intelligence …, 2008 | 13 | 2008 |

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 | 13 | 2002 |

Consistency of the theory of contexts A Bucalo, M Hofmann, F Honsell, M Miculan, I Scagnetto | 13 | 2001 |

An open logical framework F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic Journal of Logic and Computation 26 (1), 293-335, 2013 | 12 | 2013 |