Ivan Scagnetto

2008
13		Marino Miculan, Ivan Scagnetto, Furio Honsell: Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers Springer 2008
12	EE	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
11	EE	Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
2006
10	EE	Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)
2005
9	EE	Marino Miculan, Ivan Scagnetto, Furio Honsell: Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN 2005: 41-49
2004
8	EE	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)
2003
7	EE	Marino Miculan, Ivan Scagnetto: A framework for typed HOAS and semantics. PPDP 2003: 184-194
6	EE	Furio Honsell, Ivan Scagnetto: Mobility Types in Coq. TYPES 2003: 324-337
2002
5	EE	Ivan Scagnetto, Marino Miculan: Ambient Calculus and its Logic in the Calculus of Inductive Constructions. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
4	EE	Furio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978
3	EE	Luca Chittaro, Ivan Scagnetto: Is semitransparency useful for navigating virtual environments?. VRST 2001: 159-166
2	EE	Furio Honsell, Marino Miculan, Ivan Scagnetto: The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 62: (2001)
1	EE	Furio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)

Coauthor Index

1	Anna Bucalo	[10]
2	Adolfo Bulfoni	[12]
3	Luca Chittaro	[3]
4	Alberto Ciaffaglione	[8]
5	Paolo Coppola	[12]
6	Luca Di Gaspero	[12]
7	Martin Hofmann	[10]
8	Furio Honsell	[1] [2] [4] [6] [9] [10] [11] [13]
9	Marina Lenisa	[11]
10	Luigi Liquori	[11]
11	Vincenzo Della Mea	[12]
12	Marino Miculan	[1] [2] [4] [5] [7] [9] [10] [13]
13	Danny Mischis	[12]
14	Stefano Mizzaro	[12]
15	Luca Vassena	[12]

Colors in the list of coauthors