Welcome to U-papers
A publications repository from the Computer Science Department of the University of Chile
Latest publications
| 1. |
Elucidating Type Conversions in SQL Engines.
Conference: European Symposium on Programming. Publisher: Springer Nature Switzerland AG. Pages: 408-435. Date: 2025. Authors: Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter |
|
| 2. |
Smart Cities with Digital Twin Systems for Disaster
Management.
Book title: Digital Twin and Blockchain for Sensor Networks in Smart Cities. Publisher: Elsevier Science. Pages: 481-496. Date: March 2025. Authors: Rodrigo Santos, Juan Manuel Ochoa, Sergio Ochoa, Carlos Chesñevar |
|
| 3. |
Reducing Urban Speed Limits Decreases Work-related Traffic
Injury Severity: Evidence from Santiago, Chile.
Journal: Travel Behaviour and Society. Volume: 40. Pages: Article 101034. Date: April 2025. Authors: Eduardo Graells, Matías Toro, Gabriel Mansilla, Matías Nicolai, Santiago Mansilla, Jocelyn Dunstan |
|
| 4. |
Understanding the Product Knowledge Acquisition Process in
Multiprovider Software Evolution Scenarios: An Exploratory Study.
Journal: Information and Software Technology. Volume: 183. Issue: 107738. Pages: 23. Date: March 2025. Authors: Anelis Pereira-Vale, Tomás Vera, Carlos Vásquez, Daniel Perovich, Jocelyn Simmonds, Sergio Ochoa |
|
| 5. |
Repetitiveness Measures Based on String Morphisms.
Journal: Theoretical Computer Science. Volume: 1043. Pages: Article 115259. Date: 2025. Authors: Gonzalo Navarro, Cristian Urbina |
|
| 6. |
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 |
|
| 7. |
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 |
|
| 8. |
Generalized Straight-Line Programs.
Journal: Acta Informatica. Volume: 62. Pages: Article 14. Date: 2025. Authors: Gonzalo Navarro, Francisco Olivares, Cristian Urbina |
|
| 9. |
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 |
|
| 10. |
Making Software Development More Diverse and Inclusive: Key
Themes,
Challenges, and Future Directions.
Journal: ACM Transactions on Software Engineering and Methodology. Volume: 34. Issue: 5. Pages: Article 134. Date: 2025. Authors: Sonja Hyrynsalmi, Sebastian Baltes, Christopher Brown, Rafael Prikladnicki, Gema Rodríguez-Pérez, Alexander Serebrenik, Jocelyn Simmonds, Bianca Trinkenreich, Yi Wang, Grischa Liebel |
|