| An ontology-based approach to the formalization of information security policies FN Do Amaral, C Bazílio, GMH Da Silva, A Rademaker, EH Haeusler 2006 10th IEEE International Enterprise Distributed Object Computing …, 2006 | 26 | 2006 |
| Modelling Geometric Objects with ISO 15926: Three Proposals with a Comparative Analysis. GMH Da Silva, B Lopes, GBM Lopes, UR de Janeiro-RJ–Brazil, ... ONTOBRAS-MOST, 60-71, 2012 | 10 | 2012 |
| Dealing with the formal analysis of information security policies through ontologies: A case study GMH Da Silva, A Rademaker, DR Vasconcelos, FN Amaral, C Bazílio, ... Third Australasian Ontology Workshop (AOW 2007), ser. CRPIT, T. Meyer and AC …, 2007 | 7 | 2007 |
| An Ontology-Driven Framework for Data Integration and Dynamic Service Composition: Case Study in the Oil & Gas Industry AM Saettler, KR Llanes, P Ivson, DLM Nascimento, ETL Corseuil, ... 16th International Conference WWW/Internet· ICWI 2017, 2017 | 5 | 2017 |
| Hybrid Architecture to Achieve Semantic Interoperability for Engineering Oil and Gas Industry Process EM De Armas, VP de Almeida, JG Campos, GMH da Silva, RGG Caiado, ... The 23rd International Conference on Information Integration and Web …, 2021 | 2 | 2021 |
| Transparência, dados abertos e cidades inteligentes PARL Lima, GMH da Silva Anais da VI Escola Regional de Sistemas de Informação do Rio de Janeiro, 2020 | 1 | 2020 |
| Estado da arte sobre arquiteturas de sistemas para integração de dados JG Campos, VP de Almeida, GMH da Silva, RGG Caiado, ETL Corseuil, ... | | 2020 |
| JULHO DE 2019 CP Portella, GMH da Silva | | 2019 |
| LUCAS DOS SANTOS SALGADO GMH da Silva | | 2017 |
| Exploring computational contents of intuitionist proofs GMH da Silva, EH Haeusler, PAS Veloso Logic Journal of the IGPL 13 (1), 69-93, 2005 | | 2005 |
| Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural GMH da Silva, EH Haeusler Princípios: Revista de Filosofia 8 (10), 2, 2001 | | 2001 |
| Jogos Cognitivos Eletrônicos para a Aprendizagem de Conceitos Nutricionais e Coleta de Dados R Gabriel, GC Mattos, KM Martinez, GMH da Silva, ÉCBA Gonçalves, ... | | |
| KARINA MARTINS MARTINEZ GMH da Silva | | |
| SETEMBRO DE 2021 IA Passos, GMH da Silva | | |
| Síntese construtiva de programas utilizando lógica intuicionista e dedução GMH da Silva, EH Haeusler | | |
| DEZEMBRO DE 2017 GC de Mattos, GMH da Silva | | |
| Sistema para Armazenamento e Transmissão de Informação com Segurança no Ambiente Windows1 FAA Teixeira, R Assakura, GMH da Silva | | |
| UM ESTUDO SOBRE TROPISMO DO HIV COM MACHINE LEARNING RDECM SOARES, GMH DA SILVA, LM RAPOSO | | |
| From FOL to OWL: a computer aided modelling process for ISO15926 GMH da Silva, AM Saettler, B Lopes, L Ruback, ETL Corseuil, ... | | |
| PRISCILA COELHO DAIR GMH DA SILVA | | |
