A Case Study in JML-Assisted Software Development. - Néstor Cataño; Fernando Barraza; Daniel García; Pablo Ortega; Camilo Rueda (SBMF, 2008)

Local Pluralistic Homophily in Networks: A New Measure Based on Overlapping Communities. - Fernando Barraza; Carlos Ramirez; Alejandro Fernández (JCC-BD&ET, 2023)