sign in · help · news · about ·

BibSonomy :: author :: Scagnetto ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(14)

<< < 1 > >>

Mobility Types in Coq.
Furio Honsell, and Ivan Scagnetto TYPES, volume 3085 of Lecture Notes in Computer Science, page 324-337. Springer, (2003)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.
Furio Honsell, Marino Miculan, and Ivan Scagnetto ICALP, volume 2076 of Lecture Notes in Computer Science, page 963-978. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
Furio Honsell, Marino Miculan, and Ivan Scagnetto Electr. Notes Theor. Comput. Sci. (2001)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
Ambient Calculus and its Logic in the Calculus of Inductive Constructions.
Ivan Scagnetto, and Marino Miculan Electr. Notes Theor. Comput. Sci. 70(2):76-95 (2002)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX
AI Techniques in a Context-Aware Ubiquitous Environment
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Raffaella Lomuscio, Danny Mischis, Stefano Mizzaro, Elena Nazzi, Ivan Scagnetto, and Luca Vassena Pervasive Computing: Innovations in Intelligent Multimedia and Applications, chapter 8, (2009)
to ai zzz.th.c45 springer adaptive v1010 zzz.spm paper interaction interface user embedded mobile by flint63 on Oct 31, 2010, 10:39 PM
DOI | BibTeX
The Context-Aware Browser.
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, and Luca Vassena IEEE Intelligent Systems 25(1):38-47 (2010)
to dblp by dblp on Jul 21, 2010, 3:44 PM
URL | BibTeX
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.
Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, and Luca Vassena ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 668-672. IOS Press, (2008)
to dblp by dblp on Jan 30, 2009, 12:00 AM
URL | BibTeX
A Conditional Logical Framework.
Furio Honsell, Marina Lenisa, Luigi Liquori, and Ivan Scagnetto LPAR, volume 5330 of Lecture Notes in Computer Science, page 143-157. Springer, (2008)
to dblp by dblp on Nov 18, 2008, 12:00 AM
URL | BibTeX
Consistency of the theory of contexts.
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, and Martin Hofmann J. Funct. Program. 16(3):327-372 (2006)
to dblp by dblp on Jun 13, 2008, 12:00 AM
URL | BibTeX
Translating specifications from nominal logic to CIC with the theory of contexts.
Marino Miculan, Ivan Scagnetto, and Furio Honsell MERLIN, page 41-49. ACM, (2005)
to dblp by dblp on Apr 23, 2008, 12:00 AM
URL | BibTeX
A framework for typed HOAS and semantics.
Marino Miculan, and Ivan Scagnetto PPDP, page 184-194. ACM, (2003)
to dblp by dblp on Feb 15, 2006, 12:00 AM
URL | BibTeX
Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax.
Alberto Ciaffaglione, and Ivan Scagnetto Electr. Notes Theor. Comput. Sci. (2004)
to dblp by dblp on May 13, 2005, 12:00 AM
URL | BibTeX
pi-calculus in Coinductive-type theory.
Furio Honsell, Marino Miculan, and Ivan Scagnetto Theor. Comput. Sci. 253(2):239-285 (2001)
to dblp by dblp on Nov 19, 2003, 12:00 AM
URL | BibTeX
Is semitransparency useful for navigating virtual environments?.
Luca Chittaro, and Ivan Scagnetto VRST, page 159-166. (2001)
to dblp by dblp on Jun 7, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper