Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Confirmed Publications: 228



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service