The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paolo Coppola: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Andrea Asperti, Paolo Coppola, Simone Martini
    (Optimal) Duplication is not Elementary Recursive. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:96-107 [Conf]
  3. 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]
  4. Paolo Coppola, Simone Martini
    Typing Lambda Terms in Elementary Logic with Linear Constraints. [Citation Graph (0, 0)][DBLP]
    TLCA, 2001, pp:76-90 [Conf]
  5. Paolo Coppola, Simona Ronchi Della Rocca
    Principal Typing in Elementary Affine Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2003, pp:90-104 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]

  12. Mobile Social Software for Cultural Heritage: A Reference Model. [Citation Graph (, )][DBLP]


  13. AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. [Citation Graph (, )][DBLP]


  14. m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage. [Citation Graph (, )][DBLP]


  15. Light Logics and the Call-by-Value Lambda Calculus [Citation Graph (, )][DBLP]


Search in 0.034secs, Finished in 0.035secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002