Paolo Coppola

According to our database, Paolo Coppola authored at least 18 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

A Latent Markov Approach for Clustering Contracting Authorities over Time Using Public Procurement Red Flags.

Simone Del Sarto, Paolo Coppola, Matteo Troìa

Proceedings of the Studies in Theoretical and Applied Statistics, 2021

2011

Light logics and optimal reduction: Completeness and complexity.

Patrick Baillot, Paolo Coppola, Ugo Dal Lago

Inf. Comput., 2011

2010

AI Techniques in a Context-Aware Ubiquitous Environment.

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Raffaella Lomuscio, Danny Mischis, Stefano Mizzaro, Elena Nazzi, Ivan Scagnetto, Luca Vassena

Proceedings of the Pervasive Computing, 2010

The Context-Aware Browser.

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena

IEEE Intell. Syst., 2010

2009

Context Aware Browser.

Stefano Mizzaro, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Elena Nazzi, Ivan Scagnetto, Luca Vassena

Proceedings of the Interactive Information Retrieval, 01.03. - 06.03.2009, 2009

2008

Light Logics and the Call-by-Value Lambda Calculus.

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Log. Methods Comput. Sci., 2008

m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage.

Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi

Proceedings of the WWW 2008 Workshop on Social Web and Knowledge Management, 2008

AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.

Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena

Proceedings of the ECAI 2008, 2008

Mobile Social Software for Cultural Heritage: A Reference Model.

Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi, Luca Vassena

Proceedings of the BIS 2008 Workshops Proceedings: Social Aspects of the Web (SAW 2008), 2008

2006

Optimizing optimal reduction: A type inference algorithm for elementary affine logic.

Paolo Coppola, Simone Martini

ACM Trans. Comput. Log., 2006

2005

Principal Typing for Lambda Calculus in Elementary Affine Logic.

Paolo Coppola, Simona Ronchi Della Rocca

Fundam. Informaticae, 2005

Elementary Affine Logic and the Call-by-Value Lambda Calculus.

Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

2004

(Optimal) duplication is not elementary recursive.

Andrea Asperti, Paolo Coppola, Simone Martini

Inf. Comput., 2004

2003

Principal Typing in Elementary Affine Logic.

Paolo Coppola, Simona Ronchi Della Rocca

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

The Concept of Relevance in Mobile and Ubiquitous Information Access.

Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro

Proceedings of the Mobile and Ubiquitous Information Access, 2003

2002

On the complexity of optimal reduction of functional programming languages.

Paolo Coppola

PhD thesis, 2002

2001

Typing Lambda Terms in Elementary Logic with Linear Constraints.

Paolo Coppola, Simone Martini

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Animated products as a navigation aid for e-commerce.

Luca Chittaro, Paolo Coppola

Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000