Reporte técnico A confluent calculus of macro expansion and evaluation Autor(es): Bove, Ana - Arbilla, Laura
Fecha de publicación: 1991
Institución: Universidad de la República

Tesis de maestría A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis Autor(es): Bove, Ana
Fecha de publicación: 1995
Institución: Universidad de la República

Tesis de maestría The rules of the game: an assessment of the budget decision process in Uruguay Autor(es): Morató Bove, Ana Inés
Fecha de publicación: 2017
Institución: Agencia Nacional de Investigación e Innovación

Reporte técnico La increíble historia del Instituto de Computación (en 24 e-mails) Autor(es): Arbilla, Laura - Bermúdez, Laura - Betarte, Gustavo - Bove, Ana - Cabezas, Juan José - Cancela, Héctor - Carpani, Fernando - Cornes, Cristina - Giménez, Eduardo - Gonnet, Gastón - Goyoaga, Joaquín - González, Juan - Holz, Ida - Ruggia, Raúl - Tasistro, Alvaro - Urquhart, María E - Vidart, Jorge - Viola, Alfredo
Fecha de publicación: 1998
Institución: Universidad de la República
Otros Autores: