Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Publicações Confirmadas: 147



61
TÍTULO: Assertion-based slicing and slice graphs
AUTORES: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
62
TÍTULO: Comparing General-Purpose and Domain-Specific Languages: An Empirical Study  Full Text
AUTORES: Tomaz Kosar; Nuno Oliveira; Marjan Mernik; Maria Joao V Varanda Pereira; Matej Crepinsek; Daniela da Cruz ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2010, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 7, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
63
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
64
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
65
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
66
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
NO MEU: ORCID | DBLP
67
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
68
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
69
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
NO MEU: ORCID | ResearcherID | DBLP
70
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
Página 7 de 15. Total de resultados: 147.

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

Links Úteis

Ajuda

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