Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Confirmed Publications: 237



151
TITLE: Contract-Based Slicing
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
152
TITLE: Exploring, visualizing and slicing the soul of XML documents
AUTHORS: Da Cruz, D; Henriques, PR ;
PUBLISHED: 2010, SOURCE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
153
TITLE: Exploring, visualizing and slicing the soul of XML documents
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
154
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
155
TITLE: ICPC 2010 welcome message
AUTHORS: Henriques, PR ; Antoniol, G; Gallagher, K;
PUBLISHED: 2010, SOURCE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
156
TITLE: Safe Integration of Annotated Components in Open Source Projects  Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
157
TITLE: VisualLISA: A Visual Environment to Develop Attribute Grammars  Full Text
AUTHORS: Nuno Oliveira; Maria Joao V Varanda Pereira ; Pedro Rangel Henriques ; Daniela da Cruz ; Bastian Cramer;
PUBLISHED: 2010, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 7, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
158
TITLE: A methodology for consultations with the NCBI databanks [Uma metodologia para consultas aos bancos de dados do NCBI]
AUTHORS: Pereira, RT; Librelotto, GR; Henriques, PR ;
PUBLISHED: 2009, SOURCE: 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009 - 4th Iberian Conference on Information Systems and Technologies, CISTI 2009 in Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
159
TITLE: A METHODOLOGY TO QUERY DATABASES NCBI
AUTHORS: Rafael Teodosio Pereira; Giovani Robert Librelotto; Pedro Rangel Henriques ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO
INDEXED IN: WOS
IN MY: ResearcherID
160
TITLE: A QUERY BY EXAMPLE APPROACH FOR XML QUERYING
AUTHORS: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
Page 16 of 24. Total results: 237.

footer slogan

Useful Links

Get Help

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