| 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 | 66 | 2015 |
| Defining Patterns Using UML Profiles. NC Debnath, AG Garis, D Riesco, G Montejano AICCSA, 1147-1150, 2006 | 33 | 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 | 22 | 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 |
| 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 | 6 | 2006 |
| 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 |
| 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 | 3 | 2015 |
| Perfiles UML para la especificación de patrones de comportamiento. Un caso de estudio A Cortez, A Garis, D Riesco CACIC-XVIII Congreso Argentino de Ciencias de la Computación. Bahía Blanca …, 2012 | 3 | 2012 |
| 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 |
| 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 | 2 | 2018 |
| 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 |
| Defining OCL constraints for the Proxy Design Pattern Profile NC Debnath, A Garis, D Riesco, G Montejano 2007 IEEE/ACS International Conference on Computer Systems and Applications …, 2007 | 2 | 2007 |
| 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 |
| 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 |
| 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 | 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 |
| Perfiles UML para la definición de patrones de diseño de comportamiento A Cortez, DE Riesco, AG Garis XIV Workshop de Investigadores en Ciencias de la Computación, 2012 | 1 | 2012 |
| Development of a tool for code automatic generation of persistent objects A Garis, C Albornoz, D Riesco, G Montejano, N Debnath Journal of Computational Methods in Sciences and Engineering 5 (s1), S85-S92, 2005 | 1 | 2005 |
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
