Bienvenido a U-papers
Un repositorio de publicaciones del Departamento de Ciencias de la Computación de la Universidad de Chile
Publicaciones más recientes
| 1. |
Tsundoku: A Python Toolkit for Social Network Analysis.
Journal: SoftwareX. Volumen: 29. Páginas: Artículo 102008. Fecha: Febrero 2025. Autores: Eduardo Graells, Nicolás García, Andres Carvallo |
|
| 2. |
Evaluating Regular Path Queries on Compressed Adjacency Matrices.
Journal: The VLDB Journal. Volumen: 34. Páginas: Artículo 2. Fecha: 2025. Autores: Diego Arroyuelo, Adrián Gómez-Brandón, Gonzalo Navarro |
|
| 3. |
Computing MEMs and Relatives on Repetitive Text Collections.
Journal: ACM Transactions on Algorithms. Volumen: 21. Issue: 1. Páginas: Artículo 12. Fecha: 2025. Autores: Gonzalo Navarro |
|
| 4. |
Space-Efficient Data Structures for the Inference of Subsumption and Disjointness Relations.
Journal: Software: Practice and Experience. Volumen: 55. Issue: 2. Páginas: 195-219. Fecha: 2025. Autores: José Fuentes-Sepúlveda, Diego Gatica, Gonzalo Navarro, M. Andrea Rodríguez, Diego Seco |
|
| 5. |
Clustering-based Compression for Raster Time Series.
Journal: The Computer Journal. Volumen: 68. Issue: 1. Páginas: 32-46. Fecha: 2025. Autores: Martita Muñoz, José Fuentes-Sepúlveda, Cecilia Hernández, Gonzalo Navarro, Diego Seco, Fernando Silva-Coira |
|
| 6. |
All Your Base are Belong to Us: Sort Polymorphism for Proof
Assistants.
Journal: Proceedings of the ACM Programming Languages. Volumen: 9. Issue: POPL. Páginas: 2253-2281. Fecha: Enero 2025. Autores: Josselin Poiret, Gaetan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter |
|
| 7. |
Gradual C0: Symbolic Execution for Gradual Verification.
Journal: ACM Transactions on Programming Languages and Systems. Volumen: 46. Issue: 4. Páginas: 14:1-14:57. Fecha: Enero 2025. Autores: Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich |
|
| 8. |
Top-k Document Retrieval in Compressed Space.
Conferencia: ACM-SIAM Symposium on Discrete Algorithms (New Orleans, USA). Editorial: SIAM Press. Páginas: 4009-4030. Fecha: 2025. Autores: Gonzalo Navarro, Yakov Nekrich |
|
| 9. |
Designing Project-based learning experiences to integrate
Computational Thinking skills at Teacher Colleges.
Conferencia: Workshop in Primary and Secondary Computing Education. Editorial: ACM Press. Páginas: article 38. Fecha: 2024. Autores: Jocelyn Simmonds, Nancy Hitschfeld, Cecilia Casanova, Valentín Muñoz, Catalina Torrent, Eliana Scheihing, Valeria Henriquez, Paulo Contreras, Daniel Estrada, Karen Mercado, Lucia Marquez |
|
| 10. |
Adaptive Dynamic Bitvectors.
Conferencia: International Symposium on String Processing and Information Retrieval (Puerto Vallarta, Mexico). Editorial: Springer-Verlag. Páginas: 204-217. Fecha: 2024. Autores: Gonzalo Navarro |
|