Structuring a Formal Specification starting from Process Modeling. - Daniel Riesco; German Montejano; Robert Uzal; Alejandro Sanchez; Ana Gabriela Garis; Narayan C. Debnath (CAINE, 2002)

UML Profiles for Design Patterns. - Ana Gabriela Garis; Daniel Riesco; German Montejano; Narayan C. Debnath (CATA, 2005)

Development of a tool for code automatic generation of persistent objects. - Ana Gabriela Garis; Claudia Albornoz; Daniel Riesco; German Montejano; Narayan C. Debnath (J. Comput. Methods Sci. Eng., 2005)

Defining Patterns Using UML Profiles. - Narayan C. Debnath; Ana Gabriela Garis; Daniel Riesco; German Montejano (AICCSA, 2006)

Defining OCL constraints for the Proxy Design Pattern Profile. - Narayan C. Debnath; Ana Gabriela Garis; Daniel Riesco; German Montejano (AICCSA, 2007)

Model Checking LTL Formulae in RAISE with FDR. - Abigail Parisaca Vargas; Ana Gabriela Garis; Silvia Lizeth Tapia Tarifa; Chris George (IFM, 2009)

Translating Alloy Specifications to UML Class Diagrams Annotated with OCL. - Ana Gabriela Garis; Alcino Cunha; Daniel Riesco (SEFM, 2011)

Specifying UML Protocol State Machines in Alloy. - Ana Gabriela Garis; Ana C. R. Paiva; Alcino Cunha; Daniel Riesco (IFM, 2012)

Translating between Alloy specifications and UML class diagrams annotated with OCL. - Alcino Cunha; Ana Gabriela Garis; Daniel Riesco (Softw. Syst. Model., 2015)

Advanced Data Mining Solution for Educational Decision Making. - Narayan C. Debnath; G. A. Novillo-Rangone; German Montejano; Ana Gabriela Garis; W. R. Molina; Daniel Riesco (AISI, 2025)