A parallel Motion Estimation solution for heterogeneous System on Chip. - Mateus Melo; Gustavo H. Smaniotto; Henrique Maich; Luciano Volcan Agostini; Bruno Zatt; Leomar Rosa; Marcelo Schiavon Porto (SBCCI, 2016)

Transistor Placement for Automatic Cell Synthesis through Boolean Satisfiability. - Maicon Schneider Cardoso; Andrei A. O. Bubolz; Jordi Cortadella; Leomar Rosa; Felipe S. Marques 001 (ISCAS, 2020)

Single-Pass Critical Input Vectors Detection. - João Machado; Matheus F. Pontes; Paulo Flores; Paulo F. Butzen; Leomar Rosa (LASCAS, 2025)