| Translating between Alloy specifications and UML class diagrams annotated with OCL A Cunha, A Garis, D Riesco Software & Systems Modeling 14 (1), 5-25, 2015 | 80 | 2015 |
| Defining Patterns Using UML Profiles. NC Debnath, AG Garis, D Riesco, G Montejano AICCSA, 1147-1150, 2006 | 32 | 2006 |
| Specifying UML protocol state machines in alloy A Garis, ACR Paiva, A Cunha, D Riesco Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012 | 24 | 2012 |
| Translating Alloy specifications to UML class diagrams annotated with OCL A Garis, A Cunha, D Riesco Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 19 | 2011 |
| Model checking LTL formulae in RAISE with FDR A Parisaca Vargas, AG Garis, SLT Tarifa, C George Integrated Formal Methods: 7th International Conference, IFM 2009 …, 2009 | 7 | 2009 |
| Lógica temporal en verificación de modelos de software. Origen y evolución hasta tiempos actuales AG Garis Fundamentos en Humanidades 11 (21), 151-161, 2010 | 5 | 2010 |
| Perfiles UML para definición de Patrones de Diseño AG Garis, DE Riesco, GA Montejano VIII Workshop de Investigadores en Ciencias de la Computación, 2006 | 5 | 2006 |
| Análisis de la experiencia del usuario: relación entre el comportamiento emocional y la satisfacción de uso ES Bruchmann, G Montejano, A Garis XVII Workshop de Investigadores en Ciencias de la Computación, 2015 | 4 | 2015 |
| Analizando el impacto de talleres de programación en escuelas con respecto al ingreso de alumnos en carreras de informática AG Garis, MC Albornoz, MA Silvestri XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018 …, 2018 | 3 | 2018 |
| Análisis de la Experiencia del Usuario: Relación entre el Comportamiento Emocional y la Satisfacción de Uso EC Sosa Bruchmann, GA Montejano, AG Garis XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015 | 3 | 2015 |
| Aplicación de Perfiles UML en la Especificación de Patrones de Comportamiento A Cortez, AG Garis XIII Argentine Symposium on Software Engineering (ASSE 2012)(XLII JAIIO, La …, 2012 | 3 | 2012 |
| El diseño y las emociones en la Experiencia de Usuario ECS Bruchmann, C Chayle, GA Montejano, AG Garis, LE Martin de XXI Workshop de Investigadores en Ciencias de la Computación-WICC, 428-432, 2019 | 2 | 2019 |
| La Hora del Código: Promoviendo la Programación en Escuelas Secundarias de San Luis A Garis, C Albornoz, M Silvestri enseñanza 9, 11, 2017 | 2 | 2017 |
| Especificación formal de lenguajes específicos del dominio utilizando Alloy AG Garis, A Sanchez XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015 | 2 | 2015 |
| Verification and validation of domain specific languages using Alloy AG Garis, A Sánchez XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015 | 2 | 2015 |
| Perfiles UML para la Especificación de Patrones de Comportamiento: Un Caso de Estudio A Cortez, A Garis, D Riesco Proceedings of the XVIII Congreso Argentino de Ciencias de la Computación …, 2012 | 2 | 2012 |
| Defining the proxy design pattern using uml profile AG Garis, DE Riesco, GA Montejano XII Congreso Argentino de Ciencias de la Computación, 2006 | 2 | 2006 |
| An Educational Data Mining Model based on Auto Machine Learning and Interpretable Machine Learning GN Rangone, GA Montejano, AG Garis, CA Pizarro, WR Molina 2022 IEEE Global Conference on Computing, Power and Communication …, 2022 | 1 | 2022 |
| Adopción de COBIT para la auditoría de sistemas de gestión de expedientes digitales L Rescaldani, AG Garis, DE Riesco XVII Workshop de Investigadores en Ciencias de la Computación (Salta, 2015), 2015 | 1 | 2015 |
| Perfiles UML para la especificación de patrones de comportamiento A Cortez, AG Garis, DE Riesco XVIII Congreso Argentino de Ciencias de la Computación, 2012 | 1 | 2012 |
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
