Publications

Link to DCC

Welcome to U-papers

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

Latest publications

81. 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
82. 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
83. 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
84. 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
85. Automatable Metrics To Improve The Requirements Management Effectiveness in Software Projects.
Conference: Iberian Conference on Information Systems and Technologies (Salamanca, Spain). Publisher: Springer Nature Switzerland AG. Pages: 229-241. Date: 2024.
Authors: Alcides Quispe, Sergio Ochoa
View reference page
86. Addressing the Project Scoping During the Development and Evolution of Bespoke Information Systems.
Conference: Iberian Conference on Information Systems and Technologies (Salamanca, Spain). Publisher: Springer Nature Switzerland AG. Pages: 92-102. Date: 2024.
Authors: Anelis Pereira-Vale, Tomás Vera, Sergio Ochoa, Daniel Perovich, Fabiane Benitti
View reference page
87. Adaptive Dynamic Bitvectors.
Conference: International Symposium on String Processing and Information Retrieval (Puerto Vallarta, Mexico). Publisher: Springer-Verlag. Pages: 204-217. Date: 2024.
Authors: Gonzalo Navarro
View PDF View reference page
88. CAT: Cellular Automata on Tensor Cores.
Journal: IEEE Transactions on Parallel and Distributed Systems. Volume: 36. Issue: 2. Pages: 341-355. Date: December 2024.
Authors: Cristobal Navarro, Felipe Quezada, enzo meneses, Héctor Ferrada, Nancy Hitschfeld
View PDF View reference page
89. An Empirical Analysis of Feature Engineering for Dempster-Shafer Classifier as a Rule Validator.
Conference: Online Workshop on Collaborative Technologies and Data Science in Smart City Applications (Yerevan, Armenia). Publisher: Logos Verlag. Pages: 143-152. Date: 2024.
Authors: Aneta Baloyan, Alexander Aramyan, Nelson Baloian, Arnak Poghosyan, Ashot Harutyunyan, Sergio Peñafiel
View PDF View reference page
90. Active Participation vs. Directed Observation in Collaborative 3D Virtual Museums.
Conference: International Conference in Collaboration Technologies (Barcelona, Spain). Publisher: Springer-Verlag. Pages: 237-247. Date: 2024.
Authors: Gustavo Zurita, Joaquin Uribe, Nelson Baloian, Valentina Aravena
View PDF View reference page