Ivan Scagnetto

Alberto Ciaffaglione, Ivan Scagnetto: A weak HOAS approach to the POPLmark Challenge. LSFA 2012: 109-124

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena: The Context-Aware Browser. IEEE Intelligent Systems 25(1): 38-47 (2010)

Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena: AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. ECAI 2008: 668-672

Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157

Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.): Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4941, Springer 2008, isbn 978-3-540-68084-0

Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)

Marino Miculan, Ivan Scagnetto, Furio Honsell: Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49

Alberto Ciaffaglione, Ivan Scagnetto: Plug and Play the Theory of Contexts in Higher-Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 104: 99-112 (2004)

Marino Miculan, Ivan Scagnetto: A framework for typed HOAS and semantics. PPDP 2003: 184-194

Furio Honsell, Ivan Scagnetto: Mobility Types in Coq. TYPES 2003: 324-337

Ivan Scagnetto, Marino Miculan: Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Electr. Notes Theor. Comput. Sci. 70(2): 76-95 (2002)

Furio Honsell, Marino Miculan, Ivan Scagnetto: The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 62: 116-135 (2001)

Furio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)

Furio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978

Luca Chittaro, Ivan Scagnetto: Is semitransparency useful for navigating virtual environments?. VRST 2001: 159-166