LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos. - Davi Romero de Vasconcelos (2007)

Evaluation of Automatic Speech Recognition Systems. - Matheus Xavier Sampaio; Regis Pires Magalhães; Ticiana Linhares Coelho da Silva; Lívia Almada Cruz; Davi Romero de Vasconcelos; José Antônio Fernandes de Macêdo; Marianna Gonçalves Fontenele Ferreira (SBBD, 2021)

A Performance Analysis of Hyperledger Fabric: A Perspective of the ISO/IEC 25010 Product Quality Model. - Wagner Luiz Braga Bezerra; Alan Nascimento Gomes; Emanuel Ferreira Coutinho; Críston Pereira de Souza; Regis Pires Magalhães; Davi Romero de Vasconcelos (EATIS, 2022)

MoReXAI - A Model to Reason About the eXplanation Design in AI Systems. - Niltemberg de Oliveira Carvalho; Andréia Libório Sampaio; Davi Romero de Vasconcelos (HCI (35), 2022)

Digital Government and User Experience: how the combination of evaluation methods can contribute to the improvement of m-gov applications. - Diogo Melo; Talita da Silva; Ingrid Teixeira Monteiro; Andréia Libório Sampaio; Carolina Meireles; Leonara Braz; Geórgia Cruz; Davi Romero de Vasconcelos (SBSI, 2022)

ANITA: Analytic Tableau Proof Assistant. - Davi Romero de Vasconcelos (ThEdu@FLoC, 2022)

Predição de tempo restante para conclusão de processos de negócio utilizando aprendizado profundo. - Ronildo Oliveira da Silva; Regis Pires Magalhães; Lívia Almada Cruz; Críston Pereira de Souza; Davi Romero de Vasconcelos; José Antônio Fernandes de Macêdo (SBBD, 2023)

Trace selection and allocation for log-move audit of business process directly-follows graphs. - Críston Pereira de Souza; Paulo Henrique Macêdo de Araújo; Iana Mary Gomes Costa; Davi Romero de Vasconcelos; Regis Pires Magalhães (Inf. Syst., 2023)

NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados. - Davi Romero de Vasconcelos; Maria Viviane de Menezes (Revista Brasileira de Informática na Educ., 2024)

Avaliando a habilidade do ChatGPT de realizar provas de Dedução Natural em Lógica Proposicional e Lógica de Predicados. - Francisco Leonardo Batista Martins; Augusto César Araújo de Oliveira; Davi Romero de Vasconcelos; Maria Viviane de Menezes (Revista Brasileira de Informática na Educ., 2025)