Paolo Coppola
Paolo Coppola
Associate Professor of Computer Science, University of Udine
Email verificata su uniud.it - Home page
Titolo
Citata da
Citata da
Anno
The context-aware browser
P Coppola, V Della Mea, L Di Gaspero, D Menegon, D Mischis, S Mizzaro, ...
IEEE Intelligent Systems 25 (1), 38-47, 2010
732010
The concept of relevance in mobile and ubiquitous information access
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro
Workshop on Mobile and Ubiquitous Information Access, 1-10, 2003
452003
MoBe: a framework for context-aware mobile applications
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proc. CAPS 5, 55-66, 2005
422005
Typing lambda terms in elementary logic with linear constraints
P Coppola, S Martini
International Conference on Typed Lambda Calculi and Applications, 76-90, 2001
342001
Light logics and optimal reduction: Completeness and complexity
P Baillot, P Coppola, U Dal Lago
Information and Computation 209 (2), 118-142, 2011
282011
Elementary affine logic and the call-by-value lambda calculus
P Coppola, U Dal Lago, SR Della Rocca
International Conference on Typed Lambda Calculi and Applications, 131-145, 2005
282005
Principal typing in elementary affine logic
P Coppola, SR Della Rocca
International Conference on Typed Lambda Calculi and Applications, 90-104, 2003
252003
Optimizing optimal reduction: A type inference algorithm for elementary affine logic
P Coppola, S Martini
ACM Transactions on Computational Logic (TOCL) 7 (2), 219-260, 2006
232006
AI techniques in a context-aware ubiquitous environment
P Coppola, V Della Mea, L Di Gaspero, R Lomuscio, D Mischis, S Mizzaro, ...
Pervasive Computing, 157-180, 2009
202009
Light logics and the call-by-value lambda calculus
P Coppola, UD Lago, SR Della Rocca
arXiv preprint arXiv:0809.0195, 2008
192008
MoBe: context-aware mobile applications on mobile devices for mobile users
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proceedings of ECHISE 5, 49-54, 2005
172005
m-dvara 2.0: Mobile & web 2.0 services integration for cultural heritage
P Coppola, R Lomuscio, S Mizzaro, E Nazzi
SWKM, 2008
162008
Information filtering and retrieving of context-aware applications within the mobe framework
P Coppola, V Della Mea, L Di Gaspero, S Mizzaro, I Scagnetto, A Selva, ...
Proceedings of CIR 2005-International Workshop on Context-Based Information …, 2005
142005
(Optimal) duplication is not elementary recursive
A Asperti, P Coppola, S Martini
Information and Computation 193 (1), 21-56, 2004
13*2004
Animated products as a navigation aid for e-commerce
L Chittaro, P Coppola
CHI'00 Extended Abstracts on Human Factors in Computing Systems, 107-108, 2000
132000
Principal typing for lambda calculus in elementary affine logic
P Coppola, S Ronchi della Rocca
Fundamenta Informaticae 65 (1-2), 87-112, 2005
122005
Ai on the move: Exploiting ai techniques for context inference on mobile devices
A Bulfoni, P Coppola, V Della Mea, L Di Gaspero, D Mischis, S Mizzaro, ...
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on …, 2008
92008
Mobile Social Software for Cultural Heritage: A Reference Model.
P Coppola, R Lomuscio, S Mizzaro, E Nazzi, L Vassena
BIS (Workshops), 69-80, 2008
72008
E-dvara: an xml based e-content platform
S Challapalli, M Cignini, P Coppola, P Omero
AICA: Associazione Italiana per l’Informatica e il Calcolo Distribuito, 2006
62006
On the Complexity of Optimal Reduction of Functional Programming Languages
P Coppola, S Martini
Forum, 2002
42002
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20