Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 751. |
Bisimulations on Data Graphs.
Conference: International Conference on Principles of Knowledge Representation and Reasoning. Publisher: Association for the Advancement of Artificial Intelligence. Pages: 309-318. Date: 2016. Authors: Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
|
| 752. |
Practical Dynamic Entropy-Compressed Bitvectors with Applications.
Conference: International Symposium on Experimental Algorithms (St. Petersbourg, Russia). Publisher: Springer-Verlag. Pages: 105-117. Date: 2016. Authors: Joshimar Cordova, Gonzalo Navarro |
|
| 753. |
Order-Invariant Types and Their Applications.
Journal: Logical Methods in Computer Science. Volume: 12. Issue: 1. Pages: Article 9. Date: April 2016. Authors: Pablo Barceló, Leonid Libkin |
|
| 754. |
Understanding and addressing exhibitionism in Java empirical
research about method accessibility.
Journal: Empirical Software Engineering. Volume: 21. Issue: 2. Pages: 483-516. Date: April 2016. Authors: Santiago Vidal, Alexandre Bergel, Claudia Marcos, J. Andrés Díaz-Pace |
|
| 755. |
Improved Range Minimum Queries.
Conference: Data Compression Conference (Snowbird, Utah, USA). Pages: 516-525. Date: 2016. Authors: Héctor Ferrada, Gonzalo Navarro |
|
| 756. |
Learning from Source Code History to Identify Performance
Failures.
Editors: Xiaoyun Zhu, Steffen Becker. Conference: ACM/SPEC on International Conference on Performance Engineering (Delft, The Netherlands). Publisher: ACM Press. Pages: 37-48. Date: 2016. Authors: Juan Pablo Sandoval Alcocer, Alexandre Bergel, Marco Tulio Valente |
|
| 757. |
Abstracting Gradual Typing.
Conference: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Publisher: ACM Press. Pages: 429-442. Date: 2016. Authors: Ronald Garcia, Alison Clark, Éric Tanter |
|
| 758. |
Procedia Engineering.
Journal: Procedia Engineering. Volume: 124. Pages: 317-329. Date: 2015. Authors: Carlos Bedregal, María Cecilia Rivara |
|
| 759. |
NautiLOD: A Formal Language for the Web of Data Graph.
Journal: ACM Transactions on the Web. Volume: 9. Issue: 1. Pages: Article 5. Date: 2015. Authors: Valeria Fionda, Giuseppe Pirro, Claudio Gutierrez |
|
| 760. |
Improved Single-Term Top-k Document Retrieval.
Editors: Ulrik Brandes, David Eppstein. Conference: Workshop on Algorithm Engineering and Experiments (San Diego, CA, USA). Publisher: SIAM Press. Pages: 24-32. Date: 2015. Authors: Simon Gog, Gonzalo Navarro |
|