The SCEAS System
| |||||||

## Search the dblp DataBase
Paolo Coppola:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro
**The Concept of Relevance in Mobile and Ubiquitous Information Access.**[Citation Graph (0, 0)][DBLP] Mobile HCI Workshop on Mobile and Ubiquitous Information Access, 2003, pp:1-10 [Conf] - Andrea Asperti, Paolo Coppola, Simone Martini
**(Optimal) Duplication is not Elementary Recursive.**[Citation Graph (0, 0)][DBLP] POPL, 2000, pp:96-107 [Conf] - Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca
**Elementary Affine Logic and the Call-by-Value Lambda Calculus.**[Citation Graph (0, 0)][DBLP] TLCA, 2005, pp:131-145 [Conf] - Paolo Coppola, Simone Martini
**Typing Lambda Terms in Elementary Logic with Linear Constraints.**[Citation Graph (0, 0)][DBLP] TLCA, 2001, pp:76-90 [Conf] - Paolo Coppola, Simona Ronchi Della Rocca
**Principal Typing in Elementary Affine Logic.**[Citation Graph (0, 0)][DBLP] TLCA, 2003, pp:90-104 [Conf] - Paolo Coppola, Simone Martini
**Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic**[Citation Graph (0, 0)][DBLP] CoRR, 2003, v:0, n:, pp:- [Journal] - Paolo Coppola, Simona Ronchi Della Rocca
**Principal Typing for Lambda Calculus in Elementary Affine Logic.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2005, v:65, n:1-2, pp:87-112 [Journal] - Andrea Asperti, Paolo Coppola, Simone Martini
**(Optimal) duplication is not elementary recursive.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:193, n:1, pp:21-56 [Journal] - Paolo Coppola, Simone Martini
**Optimizing optimal reduction: A type inference algorithm for elementary affine logic.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2006, v:7, n:2, pp:219-260 [Journal] - Patrick Baillot, Paolo Coppola, Ugo Dal Lago
**Light Logics and Optimal Reduction: Completeness and Complexity.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:421-430 [Conf] - Patrick Baillot, Paolo Coppola, Ugo Dal Lago
**Light Logics and Optimal Reduction: Completeness and Complexity**[Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal] **Mobile Social Software for Cultural Heritage: A Reference Model.**[Citation Graph (, )][DBLP]**AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices.**[Citation Graph (, )][DBLP]**m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage.**[Citation Graph (, )][DBLP]**Light Logics and the Call-by-Value Lambda Calculus**[Citation Graph (, )][DBLP]
Search in 0.034secs, Finished in 0.035secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |