Seuraa
Davi Romero de Vasconcelos
Davi Romero de Vasconcelos
Professor do Campus de Quixadá da Universidade Federal do Ceará
Vahvistettu sähköpostiosoite verkkotunnuksessa ufc.br
Nimike
Viittaukset
Viittaukset
Vuosi
Dealing with the Formal Analysis of Information Security Policies through Ontologies: A Case Study
GMH SILVA, A Rademaker, DR VASCONCELOS, FN AMARAL, ...
The 3rd Australasian Ontology Workshop (AOW 2007), 2007, Gold Coast …, 2007
72007
Análise de estratégias utilizando verificação formal de modelos
DR de Vasconcelos
PUC-RJ, Rio de Janeiro, 2003
72003
Evaluation of automatic speech recognition systems
MX Sampaio, RP Magalhães, TLC da Silva, LA Cruz, DR de Vasconcelos, ...
Anais do XXXVI Simpósio Brasileiro de Bancos de Dados, 301-306, 2021
62021
Núcleo de práticas em informática: Contribuindo para a formaçao em sistemas de informaçao através do desenvolvimento de projetos de software
EJT Gonçalves, CIM Bezerra, CC Almendra, AL Sampaio, ...
Anais do XXI Workshop sobre Educação em Computação, 601-610, 2013
52013
Classificação taxonômica de categorias de serviços públicos para aplicações digitais
GC Pereira, IT Monteiro, DR Vasconcelos, L Braz, CHC Silva
Anais do IX Workshop de Computação Aplicada em Governo Eletrônico, 119-130, 2021
42021
LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos.
DR de Vasconcelos
Pontifical Catholic University of Rio de Janeiro, Brazil, 2007
42007
Reasoning about games via a first-order modal model checking approach
DR de Vasconcelos, EH Haeusler
arXiv preprint arXiv:1402.1377, 2014
32014
A logic view of playing games
DR Vasconcelos, EH Haeusler
4th Congress of Logic Applied to Technology LAPTEC 101, 67-80, 2003
32003
NADIA-Natural DeductIon proof Assistant
DR de Vasconcelos, RT Paula, MV Menezes
Anais do XXX Workshop sobre Educação em Computação, 427-438, 2022
22022
A Performance Analysis of Hyperledger Fabric: A Perspective of the ISO/IEC 25010 Product Quality Model
WLB Bezerra, AN Gomes, EF Coutinho, CP Souza, RP Magalhaes, ...
Proceedings of the 11th Euro American Conference on Telematics and …, 2022
12022
Defining agents via strategies: Towards a view of MAS as games
DR Vasconcelos, EH Haeusler, MRF Benevides
Workshop on Radical Agent Concepts, 299-311, 2005
12005
Reasoning about Games Via Temporal Logics: A Model Checking Approach
DR de Vasconcelos, EH Haeusler, MVSP Aragão, MF Benevides
PUC, 2004
12004
Avaliando a habilidade do ChatGPT de realizar provas de Deduçao Natural em Lógica Proposicional
FLB Martins, ACA de Oliveira, DR de Vasconcelos, MV de Menezes
Anais do XXXIV Simpósio Brasileiro de Informática na Educação, 1282-1292, 2023
2023
Ensinando Teoria da Computação com Jupyter Notebook
DR Vasconcelos, PT Guerra
Anais do XXXI Workshop sobre Educação em Computação, 9-19, 2023
2023
ANITA: Analytic Tableau Proof Assistant
DR Vasconcelos
arXiv preprint arXiv:2303.05864, 2023
2023
Trace selection and allocation for log-move audit of business process directly-follows graphs
CP de Souza, PHM de Araujo, IMG Costa, DR de Vasconcelos, ...
Information Systems 112, 102143, 2023
2023
Predição de tempo restante para conclusão de processos de negócio utilizando aprendizado profundo
RO Silva
2023
Comparaçao de Desempenho entre Soluçoes de Interoperabilidade
JMU de Alencar, RP Magalhaes, DR de Vasconcelos, SB Chaves, ...
Anais do X Workshop de Computação Aplicada em Governo Eletrônico, 25-36, 2022
2022
Digital Government and User Experience: how the combination of evaluation methods can contribute to the improvement of m-gov applications
D Melo, T da Silva, I Monteiro, A Sampaio, C Meireles, L Braz, G Cruz, ...
Proceedings of the XVIII Brazilian Symposium on Information Systems, 1-9, 2022
2022
Música e Autômato: uma receita de nomeação de acordes
LIB Freitas
2012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20