Davi Romero de Vasconcelos

According to our database1, Davi Romero de Vasconcelos authored at least 8 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Trace selection and allocation for log-move audit of business process directly-follows graphs.
Inf. Syst., 2023

Predição de tempo restante para conclusão de processos de negócio utilizando aprendizado profundo.
Proceedings of the 38th Brazilian Symposium on Databases, 2023

2022
ANITA: Analytic Tableau Proof Assistant.
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.
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.
Proceedings of the Artificial Intelligence in HCI, 2022

A Performance Analysis of Hyperledger Fabric: A Perspective of the ISO/IEC 25010 Product Quality Model.
Proceedings of the EATIS 2022: 11th Euro American Conference on Telematics and Information Systems, Aveiro, Portugal, June 1, 2022

2021

2007
LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.
PhD thesis, 2007


  Loading...