Mónica María Martínez Amarante
Profesor Adjunto (Grado 3) en el Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, Uruguay.
Contacto:
![]() |
Email: mmartine AT fing.edu.uy |
![]() |
Dirección: Instituto de Computación Facultad de Ingeniería J.Herrera y Reissig 565 11300 Montevideo, URUGUAY |
![]() |
Teléfono: +598-2-711 42 44 / 47 - Int. 1129 |
Temas de Interés:
![]() |
Description Logic |
![]() |
Ontologías |
![]() |
Transformación de programas |
![]() |
Program Fusion |
Publicaciones:
![]() |
Complexity of the Description Logic ALCM (con Edelweis Roher y Paula Severi) Versión extendida - arXiv.org, 2015. |
![]() |
A Shortcut Fusion Approach to Accumulations (con Alberto Pardo) Science of Computer Programming, 78(8), August 2013, Pages 1121-1136. Springer. |
![]() |
Fusión en presencia de acumuladores Tesis de Maestría. Facultad de Ingeniería. Instituto de Computación; PEDECIBA Informática, Montevideo, 2010. |
![]() |
A Shortcut Fusion Approach to Accumulations (con Alberto Pardo) Simpósio Brasileiro de Linguagens de Programacao (SBLP 2009), August 19-21, 2009, Gramado. (PDF) |
![]() |
Ontología para
Criterios de Clasificación (con Regina Motz) En First Workshop on Ontologies and Metamodels in Software Engineering (WOMSDE 06). Florianópolis, Brasil, Octubre 2006 (PDF) |
![]() |
Algunas experiencias en el uso de ontologías para la clasificación de
documentos RT 06-07. Facultad de Ingeniería. Instituto de Computación, PEDECIBA Informática, Montevideo, 2006 |
![]() |
Generación de un diccionario de formas verbales a partir de información
obtenida en la web. RT 06-02. Facultad de Ingeniería. Instituto de Computación; PEDECIBA Informática, Montevideo, 2006 |
Presentaciones:
![]() |
Fusión en presencia de
acumuladores Tesis de maestria. (Resumen)(Presentación) |
![]() |
Ontología para
Criterios de Clasificación (con Regina Motz) En First Workshop on Ontologies and Metamodels in Software Engineering (WOMSDE 06). Florianópolis, Brasil, Octubre 2006. (PDF) (Foto) |
Enseñanza :
![]() |
Fundamentos de Base de Datos (curso de grado) |
![]() |
Lógica (curso de grado) |