Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Publicações Confirmadas: 228



121
TÍTULO: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTORES: Beron, M; Montejano, G; Riesco, D; Henriques, PR ; Debnath, N;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Information Technology - New Generations (ITNG) in PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
122
TÍTULO: Using Semantics in XML Information Access. Application to the Portuguese Emigration Museum
AUTORES: Flavio Xavier Ferreira; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Innovations in XML Applications and Metadata Management - Advancing Technologies
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
123
TÍTULO: Using Semantics in XML Information Access: Application to the Portuguese Emigration Museum
AUTORES: Flavio Xavier Ferreira; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
124
TÍTULO: A Comment Analysis approach for Program Comprehension
AUTORES: Freitas, JL; da Cruz, D ; Henriques, PR ;
PUBLICAÇÃO: 2012, FONTE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
125
TÍTULO: Assertion-based slicing and slice graphs  Full Text
AUTORES: Barros, JB ; da Cruz, D ; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | CIÊNCIAVITAE
126
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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
127
TÍTULO: Automatic Test Generation for Space
AUTORES: Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: SLATE
INDEXADO EM: DBLP
128
TÍTULO: Learning Spaces for Knowledge Generation
AUTORES: Nuno Oliveira; Maria João Varanda Pereira ; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: SLATE, VOLUME: 21
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
129
TÍTULO: Modeling Languages: metrics and assessing tools
AUTORES: Daniela Fonte; Ismael Vilas Boas; José Azevedo; José João Peixoto; Pedro Faria; Pedro Silva; Tiago Sá; Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1206.4477
INDEXADO EM: DBLP
130
TÍTULO: PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL
AUTORES: Mariano Luzza; Mario Marcelo Berón; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: SLATE, VOLUME: 21
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
Página 13 de 23. Total de resultados: 228.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service