Computing translocation distance by a genetic algorithm. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (CLEI, 2015)

Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (NaBIC, 2015)

Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (CEC, 2018)

Formalizing Ring Theory in PVS. - Andréia B. Avelar da Silva; Thaynara Arielly de Lima; André Luiz Galdino (ITP, 2018)

On the average number of reversals needed to sort signed permutations. - Thaynara A. de Lima; Mauricio Ayala-Rincón (Discret. Appl. Math., 2018)

Parallel Island Model Genetic Algorithms applied in NP-Hard problems. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (CEC, 2019)

Behavior of Bioinspired Algorithms in Parallel Island Models. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (CEC, 2020)

Teaching Interactive Proofs to Mathematicians. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima (ThEdu@IJCAR, 2020)

Heterogeneous Parallel Island Models. - Lucas A. da Silveira; José Luis Soncco-Álvarez; Thaynara A. de Lima; Mauricio Ayala-Rincón (SSCI, 2021)

Formalization of Ring Theory in PVS. - Thaynara Arielly de Lima; André Luiz Galdino; Andréia Borges Avelar; Mauricio Ayala-Rincón (J. Autom. Reason., 2021)

Hall's Theorem for Enumerable Families of Finite Sets. - Fabián Fernando Serrano Suárez; Mauricio Ayala-Rincón; Thaynara Arielly de Lima (CICM, 2022)

Reconfigurable Heterogeneous Parallel Island Models. - Lucas A. da Silveira; Thaynara A. de Lima; Mauricio Ayala-Rincón (SSCI, 2022)

Formalization of Algebraic Theorems in PVS (Invited Talk). - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Andréia B. Avelar; André Luiz Galdino (LPAR, 2023)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms. - Thaynara Arielly de Lima; Andréia Borges Avelar; André Luiz Galdino; Mauricio Ayala-Rincón (LSFA/HCVS, 2023)

On the behavior of parallel island models. - Lucas A. da Silveira; Thaynara A. de Lima; Jessé Barreto de Barros; José Luis Soncco-Álvarez; Carlos H. Llanos; Mauricio Ayala-Rincón (Appl. Soft Comput., 2023)

A Formalization of the General Theory of Quaternions. - Thaynara Arielly de Lima; André Luiz Galdino; Bruno Berto de Oliveira Ribeiro; Mauricio Ayala-Rincón (ITP, 2024)

Compactness Theorem for Propositional Logic and Combinatorial Applications. - Fabián Fernando Serrano Suárez; Thaynara Arielly de Lima; Mauricio Ayala-Rincón (Arch. Formal Proofs, 2024)

On reconfiguring heterogeneous parallel island models. - Lucas A. da Silveira; Thaynara A. de Lima; Mauricio Ayala-Rincón (Swarm Evol. Comput., 2024)

Verification of an Anti-unification Algorithm in PVS. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Maria Júlia Dias Lima; Mariano M. Moscato; Temur Kutsia (NFM, 2025)

Graded Quantitative Narrowing. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Georg Ehling; Temur Kutsia (CoRR, 2025)