Maciel, Lucas, João Paulo Novais, Matheus Souza, Mark Song, and Henrique Cota Freitas.
" Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos." <em>Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho,
Campo Grande, 2019</em>. SBC, 2019,  
pp.85-96.