Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Confirmed Publications: 147



61
TITLE: Assertion-based slicing and slice graphs
AUTHORS: Barros, JB ; Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Proceedings - Software Engineering and Formal Methods, SEFM 2010
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
62
TITLE: Comparing General-Purpose and Domain-Specific Languages: An Empirical Study  Full Text
AUTHORS: Tomaz Kosar; Nuno Oliveira; Marjan Mernik; Maria Joao V Varanda Pereira; Matej Crepinsek; Daniela da Cruz ; Pedro Rangel Henriques ;
PUBLISHED: 2010, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 7, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
63
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
64
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
65
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
66
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
IN MY: ORCID | DBLP
67
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
68
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
69
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
IN MY: ORCID | ResearcherID | DBLP
70
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
Page 7 of 15. Total results: 147.

A place for researchers and their institutions

Useful Links

Get Help

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