Paolo Coppola

	2011
18		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light logics and optimal reduction: Completeness and complexity. Inf. Comput. 209(2): 118-142 (2011)
	2010
17		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)
	2008
16		Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi, Luca Vassena: Mobile Social Software for Cultural Heritage: A Reference Model. BIS (Workshops) 2008: 69-80
15		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
14		Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi: m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage. SWKM 2008
13		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus CoRR abs/0809.0195: (2008)
12		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Light Logics and the Call-by-Value Lambda Calculus. Logical Methods in Computer Science 4(4): (2008)
	2007
11		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity. LICS 2007: 421-430
10		Patrick Baillot, Paolo Coppola, Ugo Dal Lago: Light Logics and Optimal Reduction: Completeness and Complexity CoRR abs/0704.2448: (2007)
	2006
9		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		Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca: Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA 2005: 131-145
7		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		Andrea Asperti, Paolo Coppola, Simone Martini: (Optimal) duplication is not elementary recursive. Inf. Comput. 193(1): 21-56 (2004)
	2003
5		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		Paolo Coppola, Simona Ronchi Della Rocca: Principal Typing in Elementary Affine Logic. TLCA 2003: 90-104
3		Paolo Coppola, Simone Martini: Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic CoRR cs.LO/0305011: (2003)
	2001
2		Paolo Coppola, Simone Martini: Typing Lambda Terms in Elementary Logic with Linear Constraints. TLCA 2001: 76-90
	2000
1		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] [18]
3	Adolfo Bulfoni	[15]
4	Luca Di Gaspero	[5] [15] [17]
5	Ugo Dal Lago	[8] [10] [11] [12] [13] [18]
6	Raffaella Lomuscio	[14] [16]
7	Simone Martini	[1] [2] [3] [6] [9]
8	Vincenzo Della Mea	[5] [15] [17]
9	Davide Menegon	[17]
10	Danny Mischis	[15] [17]
11	Stefano Mizzaro	[5] [14] [15] [16] [17]
12	Elena Nazzi	[14] [16]
13	Simona Ronchi Della Rocca	[4] [7] [8] [12] [13]
14	Ivan Scagnetto	[15] [17]
15	Luca Vassena	[15] [16] [17]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page