Thaynara A. de Lima

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

Collaborative distances:

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

2025

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

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

A PVS Library on the Infinitude of Primes.

Bruno Berto de Oliveira Ribeiro, Mariano M. Moscato, Thaynara Arielly de Lima, Mauricio Ayala-Rincón

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

Graded Quantitative Narrowing.

Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Georg Ehling, Temur Kutsia

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

On reconfiguring heterogeneous parallel island models.

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

Swarm Evol. Comput., 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

A Formalization of the General Theory of Quaternions.

Thaynara Arielly de Lima, André Luiz Galdino, Bruno Berto de Oliveira Ribeiro, Mauricio Ayala-Rincón

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

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

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.

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

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 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