Paolo Coppola

Publication Activity (10 Years)

Years Active: 2000-2021
Publications (10 Years): 1

Publications

Simone Del Sarto, Paolo Coppola, Matteo Troìa
A Latent Markov Approach for Clustering Contracting Authorities over Time Using Public Procurement Red Flags. SIS (2021)
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
Light logics and optimal reduction: Completeness and complexity. Inf. Comput. 209 (2) (2011)
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena
The Context-Aware Browser. IEEE Intell. Syst. 25 (1) (2010)
Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, Luca Vassena
Context Aware Browser. Interactive Information Retrieval (2009)
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)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Light Logics and the Call-by-Value Lambda Calculus. Log. Methods Comput. Sci. 4 (4) (2008)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Light Logics and the Call-by-Value Lambda Calculus CoRR (2008)
Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi
m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage. SWKM (2008)
Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi, Luca Vassena
Mobile Social Software for Cultural Heritage: A Reference Model. BIS (Workshops) (2008)
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
Light Logics and Optimal Reduction: Completeness and Complexity. LICS (2007)
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
Light Logics and Optimal Reduction: Completeness and Complexity CoRR (2007)
Paolo Coppola, Simone Martini
Optimizing optimal reduction: A type inference algorithm for elementary affine logic. ACM Trans. Comput. Log. 7 (2) (2006)
Paolo Coppola, Simona Ronchi Della Rocca
Principal Typing for Lambda Calculus in Elementary Affine Logic. Fundam. Informaticae 65 (1-2) (2005)
Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
Elementary Affine Logic and the Call-by-Value Lambda Calculus. TLCA (2005)
Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) duplication is not elementary recursive. Inf. Comput. 193 (1) (2004)
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)
Paolo Coppola, Simone Martini
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic CoRR (2003)
Paolo Coppola, Simona Ronchi Della Rocca
Principal Typing in Elementary Affine Logic. TLCA (2003)
Paolo Coppola, Simone Martini
Typing Lambda Terms in Elementary Logic with Linear Constraints. TLCA (2001)
Luca Chittaro, Paolo Coppola
Animated products as a navigation aid for e-commerce. CHI Extended Abstracts (2000)
Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) Duplication is not Elementary Recursive. POPL (2000)