Effective Prover for Minimal Inconsistency Logic. - Adolfo Gustavo Serra Seca Neto; Marcelo Finger (IFIP AI, 2006)

A Multi-Strategy Tableau Prover. - Adolfo Gustavo Serra Seca Neto (2007)

Towards an Efficient Prover for the C1 Paraconsistent Logic. - Adolfo Neto; Celso A. A. Kaestner; Marcelo Finger (LSFA, 2009)

Towards an efficient prover for the C1 paraconsistent logic - Adolfo Neto; Celso A. A. Kaestner; Marcelo Finger (CoRR, 2012)

Teaching TDD, the Coding Dojo Style. - Ramiro Batista da Luz; Adolfo Gustavo Serra Seca Neto; Robinson Vida Noronha (ICALT, 2013)

The effects of test driven development on internal quality, external quality and productivity: A systematic review. - Wilson Bissi; Adolfo Gustavo Serra Seca Neto; Maria Cláudia Figueiredo Pereira Emer (Inf. Softw. Technol., 2016)

A Study on the Perception of Researchers About the Application of Agile Software Development Methods in Research. - Nelson Marcelo Romero Aquino; Adolfo Gustavo Serra Seca Neto; Heitor Silvério Lopes (WBMA, 2017)

Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies. - Myrian R. Noguera Salinas; Adolfo G. Serra Seca Neto; Maria Cláudia Figueiredo Pereira Emer (WBMA, 2017)

Supporting to the teaching and learning process in object orientation during the construction of class diagrams. - Cláudio Marcio Felisbino; Adolfo Gustavo Serra Seca Neto; Laudelino Cordeiro Bastos (SBES, 2018)

Short datathon for the interdisciplinary development of data analysis and visualization skills. - Myrian Noguera Salinas; Maria Cláudia Figueiredo Pereira Emer; Adolfo Gustavo Serra Seca Neto (CHASE@ICSE, 2019)

A Survey on Agile Practices and Challenges of a Global Software Development Team. - Tatiane Lautert; Adolfo Gustavo Serra Seca Neto; Nádia P. Kozievitch (WBMA, 2019)

Agile Requirements Engineering Practices: A Survey in Brazilian Software Development Companies. - Juan Carlos Barata; Diego Lisboa; Laudelino Cordeiro Bastos; Adolfo Neto (WBMA, 2021)

Comparing neural network training performance between Elixir and Python. - Lucas C. Tavano; Lucas K. Amin; Adolfo Gustavo Serra Seca Neto (CoRR, 2022)

Metaverse and cultural preservation: an alternative through NFTs of social sustainability in Brazil. - Manuella Silva; Adolfo Neto; Carlos Cabada; Karina Bland; Jonas Davanço; João Marcelo X. N. Teixeira (SVR, 2023)

Despertando o Interesse de Mulheres para os Cursos em STEM. - Tainara Silva Novaes; Kathleen Danielly Souza Lins; Adolfo Gustavo Serra Seca Neto; Mariangela de Oliveira Gomes Setti; Maria Cláudia Figueiredo Pereira Emer (CoRR, 2023)

Unsafe Impedance: Safe Languages and Safe by Design Software. - Lee Barney; Adolfo Neto (Erlang, 2024)

Emílias Podcast - Mulheres na Computação: Ampliando Horizontes e Inspirando Carreiras em STEM. - Nathálya Chaves Dos Santos; Adolfo Gustavo Serra Seca Neto (CoRR, 2024)

ADoTe: Approach to teaching and learning functional testing technique criteria supported by Testing Dojo. - Vladimir Belinski; Adolfo G. Serra Seca Neto; Maria Cláudia Figueiredo Pereira Emer (J. Softw. Eng. Res. Dev., 2025)