|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light logics and optimal reduction: Completeness and complexity.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Davide Menegon, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena |
The Context-Aware Browser. |
IEEE Intelligent Systems |
2010 |
DBLP DOI BibTeX RDF |
location-dependent applications, location-sensitive applications, context-aware information processing, location-based search for mobile devices, evaluation, mobile applications, information search and retrieval |
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus. |
Logical Methods in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Light Logics and the Call-by-Value Lambda Calculus |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena |
AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi |
m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage. |
SWKM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro, Elena Nazzi, Luca Vassena |
Mobile Social Software for Cultural Heritage: A Reference Model. |
BIS (Workshops) |
2008 |
DBLP BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light Logics and Optimal Reduction: Completeness and Complexity |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Patrick Baillot, Paolo Coppola, Ugo Dal Lago |
Light Logics and Optimal Reduction: Completeness and Complexity. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Simone Martini |
Optimizing optimal reduction: A type inference algorithm for elementary affine logic. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
lamping algorithm, optimal reduction, Linear logic |
| 1 | Paolo Coppola, Simona Ronchi Della Rocca |
Principal Typing for Lambda Calculus in Elementary Affine Logic. |
Fundam. Inform. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Paolo Coppola, Ugo Dal Lago, Simona Ronchi Della Rocca |
Elementary Affine Logic and the Call-by-Value Lambda Calculus. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Paolo Coppola, Simone Martini |
(Optimal) duplication is not elementary recursive. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Simone Martini |
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paolo Coppola, Simona Ronchi Della Rocca |
Principal Typing in Elementary Affine Logic. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Stefano Mizzaro |
The Concept of Relevance in Mobile and Ubiquitous Information Access. |
Mobile HCI Workshop on Mobile and Ubiquitous Information Access |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Coppola, Simone Martini |
Typing Lambda Terms in Elementary Logic with Linear Constraints. |
TLCA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Asperti, Paolo Coppola, Simone Martini |
(Optimal) Duplication is not Elementary Recursive. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")