Thaynara A. de Lima

Fabián Fernando Serrano Suárez

Swarm Evol. Comput., 2024

Compactness Theorem for Propositional Logic and Combinatorial Applications.

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2024

A Formalization of the General Theory of Quaternions.

[BibT_eX]

[DOI]

Bruno Berto de Oliveira Ribeiro

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

2023

On the behavior of parallel island models.

[BibT_eX]

[DOI]

Jessé Barreto de Barros

Carlos H. Llanos

Appl. Soft Comput., November, 2023

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms.

[BibT_eX]

[DOI]

Andréia Borges Avelar

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

Formalization of Algebraic Theorems in PVS (Invited Talk).

[BibT_eX]

[DOI]

Andréia B. Avelar

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

2022

Reconfigurable Heterogeneous Parallel Island Models.

[BibT_eX]

[DOI]

Fabián Fernando Serrano Suárez

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2022

Hall's Theorem for Enumerable Families of Finite Sets.

[BibT_eX]

[DOI]

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

2021

Formalization of Ring Theory in PVS.

[BibT_eX]

[DOI]

Andréia Borges Avelar

J. Autom. Reason., 2021

Heterogeneous Parallel Island Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

2020

Teaching Interactive Proofs to Mathematicians.

[BibT_eX]

[DOI]

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

Behavior of Bioinspired Algorithms in Parallel Island Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2020

2019

Parallel Island Model Genetic Algorithms applied in NP-Hard problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

2018

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

[BibT_eX]

[DOI]

Andréia B. Avelar da Silva

Discret. Appl. Math., 2018

Formalizing Ring Theory in PVS.

[BibT_eX]

[DOI]

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

Parallel Multi-Island Genetic Algotirth for Sorting Unsigned Genomes by Reversals.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

2015

Memetic and Opposition-Based Learning Genetic Algorithms for Sorting Unsigned Genomes by Translocations.

[BibT_eX]

[DOI]

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

Computing translocation distance by a genetic algorithm.

[BibT_eX]

[DOI]