Succinct Monotone Circuit Certification: Planarity and Parameterized Complexity. - Mateus Rodrigues Alves; Mateus de Oliveira Oliveira; Janio Carlos Nascimento Silva; Uéverton dos Santos Souza (COCOON, 2020)

Energy Complexity of Satisfying Assignments in Monotone Circuits: On the Complexity of Computing the Best Case. - Janio Carlos Nascimento Silva; Uéverton S. Souza; Luiz Satoru Ochi (AAIM, 2021)

Parameterized Complexity Classes Defined by Threshold Circuits: Using Sorting Networks to Show Collapses with W-hierarchy Classes. - Raffael M. Paranhos; Janio Carlos Nascimento Silva; Uéverton S. Souza; Luiz Satoru Ochi (COCOA, 2021)

Succinct certification of monotone circuits. - Mateus Rodrigues Alves; Mateus de Oliveira Oliveira; Janio Carlos Nascimento Silva; Uéverton dos Santos Souza (Theor. Comput. Sci., 2021)

Finding the Maximum Multi Improvement on neighborhood exploration. - Janio Carlos Nascimento Silva; Igor Machado Coelho; Uéverton S. Souza; Luiz Satoru Ochi; Vitor Nazário Coelho (Optim. Lett., 2022)

Computing the best-case energy complexity of satisfying assignments in monotone circuits. - Janio Carlos Nascimento Silva; Uéverton S. Souza (Theor. Comput. Sci., 2022)

Parameterized Complexity Classes Defined by Threshold Circuits and Their Connection with Sorting Networks. - Raffael M. Paranhos; Janio Carlos Nascimento Silva; Uéverton dos Santos Souza (Int. J. Found. Comput. Sci., 2024)