( en | de | ru )

 

Disambiguation of "de Vasconcelos, Davi Romero"

Author of the publication

copydeleteadd this publication to your clipboard
LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.

. Pontifical Catholic University of Rio de Janeiro, Brazil, (2007)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:10082).

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Lúcia Dias de Vasconcelos Duarte

Thomas Davi

Marco Davi

João Vasconcelos

Daniel Vasconcelos

 

Other publications of authors with the same name

Trace selection and allocation for log-move audit of business process directly-follows graphs., , , , and . Inf. Syst., (2023)Evaluation of Automatic Speech Recognition Systems., , , , , , and . SBBD, page 301-306. SBC, (2021)A Performance Analysis of Hyperledger Fabric: A Perspective of the ISO/IEC 25010 Product Quality Model., , , , , and . EATIS, page 10:1-10:8. ACM, (2022)LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.. Pontifical Catholic University of Rio de Janeiro, Brazil, (2007)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:10082).Predição de tempo restante para conclusão de processos de negócio utilizando aprendizado profundo., , , , , and . SBBD, page 141-153. SBC, (2023)MoReXAI - A Model to Reason About the eXplanation Design in AI Systems., , and . HCI (35), volume 13336 of Lecture Notes in Computer Science, page 130-148. Springer, (2022)ANITA: Analytic Tableau Proof Assistant.. ThEdu@FLoC, volume 375 of EPTCS, page 38-53. (2022)Digital Government and User Experience: how the combination of evaluation methods can contribute to the improvement of m-gov applications., , , , , , , and . SBSI, page 42:1-42:9. ACM, (2022)