Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. - Fabrício Vivas Andrade; Leandro Maia Silva; Antônio Otávio Fernandes (ICCD, 2008)

BenCGen: a digital circuit generation tool for benchmarks. - Fabrício Vivas Andrade; Leandro Maia Silva; Antônio Otávio Fernandes (SBCCI, 2008)

Arithmetic Circuit Classification Using Convolutional Neural Networks. - Leandro Maia Silva; Fabrício Vivas Andrade; Antônio Otávio Fernandes; Luiz Filipe Menezes Vieira (IJCNN, 2018)

A Continuous Restricted Boltzmann Machine and Logistic Regression Framework for Circuit Classification. - Leandro Maia Silva; Fabrício Vivas Andrade; Luiz Filipe Menezes Vieira (IJCNN, 2020)

Energy reduction opportunities in Field-Coupled Nanocomputing Adders. - Joao N. C. Fiche; Marco T. D. Sousa; Jeferson F. Chaves; Marco A. Ribeiro; Leandro Maia Silva; Luiz Filipe M. Vieira; Omar P. Vilela Neto (SBCCI, 2020)