Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Confirmed Publications: 240



121
TITLE: GuessXQ: A Query-by-Example Approach for XML Querying
AUTHORS: Daniela Morais Fonte; Daniela da Cruz; 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
122
TITLE: Interactive Verification of Safety-Critical Software  Full Text
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
123
TITLE: NESSy: a New Evaluator for Software Development Tools
AUTHORS: Enrique Alfredo Miranda; Mario Beron; German Montejano; Maria João Varanda Pereira; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
124
TITLE: SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications
AUTHORS: Mario Beron; German Montejano; Daniel Riesco; Pedro R Henriques ; Narayan Debnath;
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 | DBLP | CIÊNCIAVITAE
125
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
126
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
127
TITLE: A Comment Analysis approach for Program Comprehension
AUTHORS: Jose Luis Freitas; Daniela da Cruz ; Pedro Rangel Henriques ;
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
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
128
TITLE: Assertion-based slicing and slice graphs  Full Text
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
129
TITLE: Automatic Test Generation for Space
AUTHORS: Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: 1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012, VOLUME: 21
INDEXED IN: DBLP
IN MY: DBLP
130
TITLE: Automatic Test Generation for Space PDF
AUTHORS: Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1206.5104
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 13 of 24. Total results: 240.

footer slogan

Useful Links

Get Help

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