Paolo Coppola

2008
15	EE	Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi, Luca Vassena: Mobile Social Software for Cultural Heritage: A Reference Model. BIS (Workshops) 2008: 69-80
14	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
13	EE	Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi: m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage. SWKM 2008
12	EE	Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus CoRR abs/0809.0195: (2008)
2007
11	EE	Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity. LICS 2007: 421-430
10	EE	Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity CoRR abs/0704.2448: (2007)
2006
9	EE	Paolo Coppola, Simone Martini: Optimizing optimal reduction: A type inference algorithm for elementary affine logic. ACM Trans. Comput. Log. 7(2): 219-260 (2006)
2005
8	EE	Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
7	EE	Paolo Coppola, Simona Ronchi Della Rocca: Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Inform. 65(1-2): 87-112 (2005)
2004
6	EE	Andrea Asperti, Paolo Coppola, Simone Martini: (Optimal) duplication is not elementary recursive. Inf. Comput. 193(1): 21-56 (2004)
2003
5	EE	Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro: The Concept of Relevance in Mobile and Ubiquitous Information Access. Mobile HCI Workshop on Mobile and Ubiquitous Information Access 2003: 1-10
4	EE	Paolo Coppola, Simona Ronchi Della Rocca: Principal Typing in Elementary Affine Logic. TLCA 2003: 90-104
3	EE	Paolo Coppola, Simone Martini: Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic CoRR cs.LO/0305011: (2003)
2001
2	EE	Paolo Coppola, Simone Martini: Typing Lambda Terms in Elementary Logic with Linear Constraints. TLCA 2001: 76-90
2000
1	EE	Andrea Asperti, Paolo Coppola, Simone Martini: (Optimal) Duplication is not Elementary Recursive. POPL 2000: 96-107

Coauthor Index

1	Andrea Asperti	[1] [6]
2	Patrick Baillot	[10] [11]
3	Adolfo Bulfoni	[14]
4	Luca Di Gaspero	[5] [14]
5	Ugo Dal Lago	[8] [10] [11] [12]
6	Raffaella Lomuscio	[13] [15]
7	Simone Martini	[1] [2] [3] [6] [9]
8	Vincenzo Della Mea	[5] [14]
9	Danny Mischis	[14]
10	Stefano Mizzaro	[5] [13] [14] [15]
11	Elena Nazzi	[13] [15]
12	Simona Ronchi Della Rocca	[4] [7] [8] [12]
13	Ivan Scagnetto	[14]
14	Luca Vassena	[14] [15]

Colors in the list of coauthors