| Memetic and opposition-based learning genetic algorithms for sorting unsigned genomes by translocations LA da Silveira, JL Soncco-Álvarez, TA de Lima, M Ayala-Rincón Advances in Nature and Biologically Inspired Computing: Proceedings of the …, 2016 | 16 | 2016 |
| Parallel island model genetic algorithms applied in NP-hard problems LA da Silveira, JL Soncco-Álvarez, TA de Lima, M Ayala-Rincón 2019 IEEE Congress on Evolutionary Computation (CEC), 3262-3269, 2019 | 15 | 2019 |
| On the average number of reversals needed to sort signed permutations TA de Lima, M Ayala-Rincon Discrete Applied Mathematics 235, 59-80, 2018 | 15 | 2018 |
| Parallel multi-island genetic algotirth for sorting unsigned genomes by reversals LA da Silveira, JL Soncco-Alvarez, TA de Lima, M Ayala-Rincon 2018 IEEE Congress on Evolutionary Computation (CEC), 1-8, 2018 | 13 | 2018 |
| Computing translocation distance by a genetic algorithm LA Da Silveira, JL Soncco-Alvarez, TA de Lima, M Ayala-Rincón 2015 Latin American Computing Conference (CLEI), 1-12, 2015 | 12 | 2015 |
| Formalization of ring theory in PVS: isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem TA de Lima, AL Galdino, AB Avelar, M Ayala-Rincón Journal of Automated Reasoning 65 (8), 1231-1263, 2021 | 9 | 2021 |
| Behavior of bioinspired algorithms in parallel island models LA da Silveira, JL Soncco-Álvarez, TA de Lima, M Ayala-Rincón 2020 IEEE Congress on Evolutionary Computation (CEC), 1-8, 2020 | 8 | 2020 |
| Complexity of Cayley distance and other general metrics on permutation groups TA de Lima, M Ayala-Rincón 2012 7th Colombian Computing Congress (CCC), 1-6, 2012 | 8 | 2012 |
| Heterogeneous parallel island models LA Da Silveira, JL Soncco-Alvarez, TA De Lima, M Ayala-Rincon 2021 IEEE Symposium Series on Computational Intelligence (SSCI), 1-8, 2021 | 5 | 2021 |
| Formalizing ring theory in PVS AB Avelar da Silva, TA de Lima, AL Galdino Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 5 | 2018 |
| Teaching interactive proofs to mathematicians M Ayala-Rincón, TA de Lima arXiv preprint arXiv:2010.16013, 2020 | 4 | 2020 |
| On the behavior of parallel island models LA da Silveira, TA de Lima, JB de Barros, JL Soncco-Álvarez, CH Llanos, ... Applied Soft Computing 148, 110880, 2023 | 2 | 2023 |
| Reconfigurable heterogeneous parallel island models LA Da Silveira, TA De Lima, M Ayala-Rincón 2022 IEEE Symposium Series on Computational Intelligence (SSCI), 1618-1625, 2022 | 2 | 2022 |
| Hall’s Theorem for Enumerable Families of Finite Sets FF Serrano Suárez, M Ayala-Rincón, TA de Lima International Conference on Intelligent Computer Mathematics, 107-121, 2022 | 2 | 2022 |
| Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms TA de Lima, AB Avelar, AL Galdino, M Ayala-Rincón arXiv preprint arXiv:2404.14920, 2024 | 1 | 2024 |
| Formalization of Algebraic Theorems in PVS (Invited Talk) M Ayala-Rincón, TA de Lima, AB Avelar, AL Galdino Proceedings of 24th International Conference on Logic 94, 1-10, 2023 | 1 | 2023 |
| On The Behaviour of Parallel Island Model Genetic Algorithms LA da Silveira, JB de Barros, JL Soncco-Alvarez, TA de Lima, CH Llanos, ... Universidade de Brasılia, Tech. Rep, 2020 | 1 | 2020 |
| Mechanising Hall’s Theorem for Countable Graphs FFS Suárez, M Ayala-Rincón, TA de Lima EasyChair, 2023 | | 2023 |
| Hall’s Theorem for Enumerable Families of Finite Sets TA de Lima Intelligent Computer Mathematics: 15th International Conference, CICM 2022 …, 2022 | | 2022 |
| NP-completeness of sorting unsigned permutations by reversals TA de Lima, M Ayala-Rincón | | 2013 |
