Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 881. |
Efficient Representation of Web Access Logs.
Editors: E. Moura and M. Crochemore. Conference: International Symposium on String Processing and Information Retrieval (Ouro Preto, Brazil). Publisher: Springer-Verlag. Pages: 65-76. Date: 2014. Authors: Francisco Claude, Roberto Konow, Gonzalo Navarro |
|
| 882. |
Dynamic List of Clusters in Secondary Memory.
Conference: International Workshop on Similarity Search and Applications (Los Cabos, Mexico). Publisher: IEEE Computer Society Press. Pages: 94-105. Date: 2014. Authors: Gonzalo Navarro, Nora Reyes |
|
| 883. |
Effect Capabilities for Haskell.
Conference: Brazilian Symposium on Programming Languages (Maceió, Brazil). Publisher: Springer-Verlag. Pages: 92-108. Date: 2014. Authors: Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
|
| 884. |
Requirements for Ad-hoc Geo-referenced BPM with
Microblogging.
Conference: Collaboration Researchers' International Workshop on Groupware (Santiago, Chile). Publisher: Springer-Verlag. Pages: 13-22. Date: 2014. Authors: Pedro Antunes, Gustavo Zurita, Nelson Baloian |
|
| 885. |
Top-k Term-Proximity in Succinct Space.
Editors: H.-K. Ahn and C.-S. Shin. Conference: Annual International Symposium on Algorithms and Computation (Jeonju, Korea). Publisher: Springer-Verlag. Pages: 169-180. Date: 2014. Authors: Ian Munro, Gonzalo Navarro, Jesper Sindahl Nielsen, Rahul Shah, Sharma Thankachan |
|
| 886. |
On the Use of Type Predicates in Object-Oriented Software:
The Case of Smalltalk.
Conference: Dynamic Languages Symposium (Portland, OR, USA). Publisher: ACM Press. Pages: 135-146. Date: 2014. Authors: Oscar Callau, Romain Robbes, Éric Tanter, David Roethlisberger, Alexandre Bergel |
|
| 887. |
Confined Gradual Typing.
Conference: ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications (Portland, OR, USA). Publisher: ACM Press. Pages: 241-270. Date: 2014. Authors: Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter |
|
| 888. |
Foundations of Typestate-Oriented Programming.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 36. Issue: 4. Pages: Article 12. Date: October 2014. Authors: Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich |
|
| 889. |
General Document Retrieval in Compact Space.
Journal: ACM Journal of Experimental Algorithmics. Volume: 19. Issue: 2. Pages: Article 3. Date: 2014. Authors: Gonzalo Navarro, Simon Puglisi, Daniel Valenzuela |
|
| 890. |
Verifiable Source Code Documentation in Controlled Natural
Language.
Journal: Science of Computer Programming. Volume: 96. Issue: 1. Pages: 121-140. Date: December 2014. Authors: Tobias Kuhn, Alexandre Bergel |
|