Enhancing Performance of Gabriel Graph-Based Classifiers by a Hardware Co-Processor for Embedded System Applications. - Janier Arias-Garcia; Augusto Mafra; Liliane Gade; Frederico Coelho; Cristiano Leite Castro; Luiz C. B. Torres; Antônio de Pádua Braga (IEEE Trans. Ind. Informatics, 2021)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools. - Rafael Sumitani; João Victor Amorim; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2024)

Automatic Test Case Generation for Jasper App HDL Compiler: An Industry Experience. - Mirlaine Crepalde; Augusto Mafra; Lucas Cavalini; Lucas Martins; Guilherme Amorim; Pedro Henrique Santos; Fabiano Peixoto (CC, 2025)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools. - João Victor Amorim; Luiza de Melo Gomes; Rafael Sumitani; Raissa Maciel; Augusto Mafra; Mirlaine Crepalde; Fernando Magno Quintão Pereira (CoRR, 2025)