Thaynara A. de Lima

According to our database, Thaynara A. de Lima authored at least 14 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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., November, 2023

Formalization of Algebraic Theorems in PVS (Invited Talk).

Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar, André Luiz Galdino

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Reconfigurable Heterogeneous Parallel Island Models.

Lucas A. da Silveira, Thaynara A. de Lima, Mauricio Ayala-Rincón

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Hall's Theorem for Enumerable Families of Finite Sets.

Fabián Fernando Serrano Suárez, Mauricio Ayala-Rincón, Thaynara Arielly de Lima

Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022

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

Heterogeneous Parallel Island Models.

Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

2020

Teaching Interactive Proofs to Mathematicians.

Mauricio Ayala-Rincón, Thaynara Arielly de Lima

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

Behavior of Bioinspired Algorithms in Parallel Island Models.

Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

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

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018

On the average number of reversals needed to sort signed permutations.

Thaynara A. de Lima, Mauricio Ayala-Rincón

Discret. Appl. Math., 2018

Formalizing Ring Theory in PVS.

Andréia B. Avelar da Silva, Thaynara Arielly de Lima, André Luiz Galdino

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

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

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

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

Proceedings of the Advances in Nature and Biologically Inspired Computing, 2015

Computing translocation distance by a genetic algorithm.

Lucas A. da Silveira, José Luis Soncco-Álvarez, Thaynara A. de Lima, Mauricio Ayala-Rincón

Proceedings of the 2015 Latin American Computing Conference, 2015