Pedro Manuel Rangel Santos Henriques
AuthID: R-000-EWT
161
TÃTULO: Automatic Test Generation for Space
AUTORES: Ulisses Araújo Costa; Daniela da Cruz; Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
AUTORES: Ulisses Araújo Costa; Daniela da Cruz; Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID162
TÃTULO: Learning Spaces for Knowledge Generation
AUTORES: Nuno Oliveira; Maria João Varanda Pereira; Alda Lopes Gancarski; Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
AUTORES: Nuno Oliveira; Maria João Varanda Pereira; Alda Lopes Gancarski; Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID163
TÃTULO: Preface
AUTORES: Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
AUTORES: Pedro Rangel Henriques;
PUBLICAÇÃO: 2012, FONTE: OpenAccess Series in Informatics, VOLUME: 21
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID164
TÃTULO: Especificação e Processamento de Ontologias para a Semantic Web
AUTORES: Giovani Rubert Librelotto; Pedro Rangel Henriques;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 5th Brazilian Symposium on Information Systems, SBSI 2009, Brasília;, Brazil, May 20-22, 2009.
AUTORES: Giovani Rubert Librelotto; Pedro Rangel Henriques;
PUBLICAÇÃO: 2009, FONTE: Proceedings of the 5th Brazilian Symposium on Information Systems, SBSI 2009, Brasília;, Brazil, May 20-22, 2009.
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP165
TÃTULO: Specifying languages using aspect-oriented approach: Aspect LISA
AUTORES: Rebernak, D; Mernik, M; Henriques, PR; da Cruz, D; Pereira, MJV;
PUBLICAÇÃO: 2006, FONTE: Journal of Computing and Information Technology, VOLUME: 14, NÚMERO: 4
AUTORES: Rebernak, D; Mernik, M; Henriques, PR; da Cruz, D; Pereira, MJV;
PUBLICAÇÃO: 2006, FONTE: Journal of Computing and Information Technology, VOLUME: 14, NÚMERO: 4
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID166
TÃTULO: Metamorphosis - An Environment to Achieve Semantic Interoperability with Topic Maps
AUTORES: Giovani Rubert Librelotto; José Carlos Ramalho; Pedro Rangel Henriques;
PUBLICAÇÃO: 2006, FONTE: Proceedings of the 3rd Brazilian Symposium on Information Systems, SBSI 2006, Curitiba, Brazil, November 8-10, 2006.
AUTORES: Giovani Rubert Librelotto; José Carlos Ramalho; Pedro Rangel Henriques;
PUBLICAÇÃO: 2006, FONTE: Proceedings of the 3rd Brazilian Symposium on Information Systems, SBSI 2006, Curitiba, Brazil, November 8-10, 2006.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP167
TÃTULO: XCSL tutorial
AUTORES: Marta Jacinto; Giovani Rubert Librelotto; José Carlos Ramalho; Pedro Rangel Henriques;
PUBLICAÇÃO: 2002, FONTE: XRDS, VOLUME: 8, NÚMERO: 5
AUTORES: Marta Jacinto; Giovani Rubert Librelotto; José Carlos Ramalho; Pedro Rangel Henriques;
PUBLICAÇÃO: 2002, FONTE: XRDS, VOLUME: 8, NÚMERO: 5
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP168
TÃTULO: Heuristic parsing and search space pruning
AUTORES: Mendes, JA; Henriques, PR;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
AUTORES: Mendes, JA; Henriques, PR;
PUBLICAÇÃO: 1991, FONTE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
