Davi Romero de Vasconcelos

According to our database, Davi Romero de Vasconcelos authored at least 9 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

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

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

Proceedings of the 38th Brazilian Symposium on Databases, 2023

2022

ANITA: Analytic Tableau Proof Assistant.

Davi Romero de Vasconcelos

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 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

Proceedings of the SBSI: XVIII Brazilian Symposium on Information Systems, Curitiba, Brazil, May 16, 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

Proceedings of the Artificial Intelligence in HCI, 2022

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

Proceedings of the EATIS 2022: 11th Euro American Conference on Telematics and Information Systems, Aveiro, Portugal, June 1, 2022

2021

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

Proceedings of the 36th Brazilian Symposium on Databases, 2021

2007

LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.

Davi Romero de Vasconcelos

PhD thesis, 2007