Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Confirmed Publications: 148



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: 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
65
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
66
TITLE: GamaSlicer. an online laboratory for program verification and analysis
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications - LDTA '10
INDEXED IN: CrossRef: 8
IN MY: ORCID
67
TITLE: GamaSlicer: An online laboratory for program verification and analysis
AUTHORS: Da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
68
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
69
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: DBLP
70
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
Página 7 de 15. Total de resultados: 148.

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

Useful Links

Get Help

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