Publications

Link to DCC

Welcome to U-papers

A publications repository from the Computer Science Department of the University of Chile

Latest publications

61. NLP Modeling Recommendations for Restricted Data Availability in Clinical Settings.
Journal: BMC Medical Informatics and Decision Making. Volume: 25. Pages: Article 116. Date: March 2025.
Authors: Fabian Villena, Felipe Bravo-Marquez, Jocelyn Dunstan
View PDF View reference page
62. Multi-label Learning on Low Label Density Sets with Few Examples.
Journal: Expert Systems with Applications. Volume: 265. Pages: Article 125942. Date: March 2025.
Authors: Matías Vergara, Benjamin Bustos, Iván Sipirán, Tobias Schreck, Stefan Lengauer
View PDF View reference page
63. Generalized Straight-Line Programs.
Journal: Acta Informatica. Volume: 62. Pages: Article 14. Date: 2025.
Authors: Gonzalo Navarro, Francisco Olivares, Cristian Urbina
View PDF View reference page
64. Gradual C0: Symbolic Execution for Gradual Verification.
Journal: ACM Transactions on Programming Languages and Systems. Volume: 46. Issue: 4. Pages: 14:1-14:57. Date: January 2025.
Authors: Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Jan-Paul Ramos-Dávila, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
View PDF View reference page
65. Evaluating Regular Path Queries on Compressed Adjacency Matrices.
Journal: The VLDB Journal. Volume: 34. Pages: Article 2. Date: 2025.
Authors: Diego Arroyuelo, Adrián Gómez-Brandón, Gonzalo Navarro
View reference page
66. Computing MEMs and Relatives on Repetitive Text Collections.
Journal: ACM Transactions on Algorithms. Volume: 21. Issue: 1. Pages: Article 12. Date: 2025.
Authors: Gonzalo Navarro
View reference page
67. Tsundoku: A Python Toolkit for Social Network Analysis.
Journal: SoftwareX. Volume: 29. Pages: Article 102008. Date: February 2025.
Authors: Eduardo Graells, Nicolás García, Andres Carvallo
View reference page
68. All Your Base are Belong to Us: Sort Polymorphism for Proof Assistants.
Journal: Proceedings of the ACM Programming Languages. Volume: 9. Issue: POPL. Pages: 2253-2281. Date: January 2025.
Authors: Josselin Poiret, Gaetan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
View reference page
69. Clustering-based Compression for Raster Time Series.
Journal: The Computer Journal. Volume: 68. Issue: 1. Pages: 32-46. Date: 2025.
Authors: Martita Muñoz, José Fuentes-Sepúlveda, Cecilia Hernández, Gonzalo Navarro, Diego Seco, Fernando Silva-Coira
View reference page
70. Space-Efficient Data Structures for the Inference of Subsumption and Disjointness Relations.
Journal: Software: Practice and Experience. Volume: 55. Issue: 2. Pages: 195-219. Date: 2025.
Authors: José Fuentes-Sepúlveda, Diego Gatica, Gonzalo Navarro, M. Andrea Rodríguez, Diego Seco
View reference page