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 | 7 | 2007 |
Análise de estratégias utilizando verificação formal de modelos DR de Vasconcelos PUC-RJ, Rio de Janeiro, 2003 | 7 | 2003 |
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 | 6 | 2021 |
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 | 5 | 2013 |
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 | 4 | 2021 |
LóGICA Modal de Primeira-ordem para Raciocinar sobre jogos. DR de Vasconcelos Pontifical Catholic University of Rio de Janeiro, Brazil, 2007 | 4 | 2007 |
Reasoning about games via a first-order modal model checking approach DR de Vasconcelos, EH Haeusler arXiv preprint arXiv:1402.1377, 2014 | 3 | 2014 |
A logic view of playing games DR Vasconcelos, EH Haeusler 4th Congress of Logic Applied to Technology LAPTEC 101, 67-80, 2003 | 3 | 2003 |
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 | 2 | 2022 |
ANITA: Analytic Tableau Proof Assistant DR Vasconcelos arXiv preprint arXiv:2303.05864, 2023 | 1 | 2023 |
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 | 1 | 2022 |
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 | 1 | 2005 |
Reasoning about Games Via Temporal Logics: A Model Checking Approach DR de Vasconcelos, EH Haeusler, MVSP Aragão, MF Benevides PUC, 2004 | 1 | 2004 |
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 |
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 |