Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Publicações Confirmadas: 237



151
TÍTULO: Contract-Based Slicing
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 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, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
152
TÍTULO: Exploring, visualizing and slicing the soul of XML documents
AUTORES: Da Cruz, D; Henriques, PR ;
PUBLICAÇÃO: 2010, FONTE: 25th Annual ACM Symposium on Applied Computing, SAC 2010 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
153
TÍTULO: Exploring, visualizing and slicing the soul of XML documents
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
154
TÍTULO: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTORES: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
155
TÍTULO: ICPC 2010 welcome message
AUTORES: Henriques, PR ; Antoniol, G; Gallagher, K;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
156
TÍTULO: Safe Integration of Annotated Components in Open Source Projects  Full Text
AUTORES: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
157
TÍTULO: VisualLISA: A Visual Environment to Develop Attribute Grammars  Full Text
AUTORES: Nuno Oliveira; Maria Joao V Varanda Pereira ; Pedro Rangel Henriques ; Daniela da Cruz ; Bastian Cramer;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 7, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
158
TÍTULO: A methodology for consultations with the NCBI databanks [Uma metodologia para consultas aos bancos de dados do NCBI]
AUTORES: Pereira, RT; Librelotto, GR; Henriques, PR ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
159
TÍTULO: A METHODOLOGY TO QUERY DATABASES NCBI
AUTORES: Rafael Teodosio Pereira; Giovani Robert Librelotto; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: WOS
NO MEU: ResearcherID
160
TÍTULO: A QUERY BY EXAMPLE APPROACH FOR XML QUERYING
AUTORES: Flavio Xavier Ferreira; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski; Bruno Defude;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
Página 16 de 24. Total de resultados: 237.

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

Links Úteis

Ajuda

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