dblp.uni-trier.dewww.uni-trier.de

Paolo Coppola Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)