Curriculum Vitae di Paolo Coppola

Ricercatore universitario, settore scientifico disciplinare INF/01: Informatica.
Università di Udine.
Facoltà di Lettere e Filosofia.
Dipartimento di Matematica e Informatica.

Nato a Roma, il 04 novembre 1973.

Recapito: Dipartimento di Matematica e Informatica tel: +39 0432 55 8475
via delle Scienze, 206 fax: +39 0432 55 8499
33100 Udine UD
Italy
coppola@dimi.uniud.it
www.dimi.uniud.it/coppola

Studi

Partecipazione a scuole

Attività

Posizioni

Attività organizzativa

Attività scientifica

Interessi di ricerca

Progetti di ricerca

Altra attività scientifica

Attività didattica

Corsi di laurea/diploma universitario

Corsi non universitari

Relazioni e controrelazioni di Tesi

Pubblicazioni

Riviste

ACM04
Andrea Asperti, Paolo Coppola, and Simone Martini.
(Optimal) duplication is not elementary recursive.
Information and Computation, 193Issue 1:21-56, 2004.
CR05
Paolo Coppola and Simona Ronchi Della Rocca.
Principal Typing for Lambda Calculus in Elementary Affine Logic.
Fundamenta Informaticae, 65(1-2):87-112, 2005.
CMar
Paolo Coppola and Simone Martini.
Optimizing Optimal Reduction.
ACM Transaction of Computational Logic, to appear.

Atti di Congressi

ACM00
Andrea Asperti, Paolo Coppola, and Simone Martini.
(Optimal) duplication is not elementary recursive.
In Conference Record of POPL '00: The 27th ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages, pages 96-107, Boston, Massachusetts (USA), 19-21 January 2000. ACM Press.
CC00
Luca Chittaro and Paolo Coppola.
Animated Products as a Navigation Aid for E-commerce.
In CHI 2000 Extended Abstracts, Conference on Human Factors in Computing Systems, 1-6 April 2000.
CM01
Paolo Coppola and Simone Martini.
Typing Lambda Terms in Elementary Logic with Linear Constraints.
In Samson Abramsky, editor, Proceedings of Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, volume 2044 of Lecture Notes in Computer Science, pages 76-90. Springer-Verlag, May 2001.
CR03
Paolo Coppola and Simona Ronchi Della Rocca.
Principal Typing in Elementary Affine Logic.
In Martin Hofmann, editor, Proceedings of Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, volume 2701 of Lecture Notes in Computer Science, pages 90-104. Springer-Verlag, June 2003.
CDR05
Paolo Coppola, Ugo Dal Lago, and Simona Ronchi Della Rocca.
Elementary affine logic and the call-by-value lambda calculus.
In Pawel Urzyczyn, editor, TLCA, volume 3461 of Lecture Notes in Computer Science. Springer, 2005. pages 131-145.

Tesi

Cop97
Paolo Coppola.
Complessità e riduzione ottimale nel lambda calcolo.
Master's thesis, Università di Udine, 1997.
Cop02
Paolo Coppola.
On the Complexity of Optimal Reduction of Functional Programming Languages.
PhD thesis, University of Udine, 2002.

Libri e Contributi in Collezioni

CM04
Paolo Coppola and Stefano Mizzaro.
Laboratorio di programmazione in Java.
Apogeo, 2004.
288 pagine.
CDDM04
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, and Stefano Mizzaro.
The concept of relevance in mobile and ubiquitous information access.
In F. Crestani, M. dunlop, and S. Mizzaro, editors, Mobile and Ubiquitous Information Access, volume 2954 of Lecture Notes in Computer Science, pages 1-10. Springer-Verlag, Berlin Heidelberg, 2004.

Atti di Workshop

CDDM02
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, and Stefano Mizzaro.
From E-Relevance to W-Relevance.
In M.-K. Leong and G. Loudon, editors, Mobile Personal Information Retrieval, Proceedings of the SIGIR2002 Workshop, pages 64-72, Tampere, Finland, aug 2002.
CDD+05a
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
Information Filtering and Retrieving of Context-Aware Applications Within the MoBe Framework.
In Proceedings of CIR 2005 - International Workshop on Context-Based Information Retrieval, CONTEXT 2005, Paris, France, 5 July 2005.
CDD+05b
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
MoBe: A Framework for Context-Aware Mobile Applications.
In Proceedings of CAPS 2005 - Workshop on Context Awareness for Proactive Systems, Helsinki, Finland, 16-17 June 2005.
CDD+05c
Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro, Ivan Scagnetto, Andrea Selva, Luca Vassena, and Paolo Zandegiacomo Riziò.
MoBe: Context aware mobile application on mobile devices for mobile users.
In Proceedings of ECHISE 2005 - 1st International Workshop on Exploiting Context Histories in Smart Environments, Pervasive 2005, Munich, Germany, 8-13 May 2005.

Seminari


Last updated 2005-11-04