3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.NE2022★ 3 cited
Reconfigurable Heterogeneous Parallel Island Models
Lucas Ângelo da Silveira, Thaynara Arielly de Lima, Mauricio Ayala-Rincón
Heterogeneous Parallel Island Models (HePIMs) run different bio-inspired algorithms (BAs) in their islands. From a variety of communication topologies and migration policies fine-t…
cs.LO2020★ 3 cited
Teaching Interactive Proofs to Mathematicians
Mauricio Ayala-Rincón, Thaynara Arielly de Lima
This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of inte…