Daniela Carneiro da Cruz
AuthID: R-000-PG7
11
TÃTULO: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
AUTORES: Rachel Harrison; Sol Greenspan; Tim Menzies; Marjan Mernik; Pedro Henriques; Daniela da Cruz; Daniel Rodriguez;
PUBLICAÇÃO: 2013, FONTE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
AUTORES: Rachel Harrison; Sol Greenspan; Tim Menzies; Marjan Mernik; Pedro Henriques; Daniela da Cruz; Daniel Rodriguez;
PUBLICAÇÃO: 2013, FONTE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
INDEXADO EM: 
WOS
WOS12
TÃTULO: Program Analysis and Evaluation using Quimera
AUTORES: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, VOLUME: 2 ISAS, NÚMERO: SAIC/-
AUTORES: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2012, FONTE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June - 1 July, 2012, VOLUME: 2 ISAS, NÚMERO: SAIC/-
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID
14
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
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
NO MEU: ORCID | ResearcherID
ORCID | ResearcherID15
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
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
Scopus NO MEU: ORCID
ORCID16
TÃTULO: SVS, BORS, SVSi: Three strategies to relate problem and program domains
AUTORES: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTORES: Beron, MM; Pereira, MJV; Oliveira, N; Da Cruz, D;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
17
TÃTULO: Influence of synchronized domain visualizations on program comprehension
AUTORES: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTORES: Oliveira, N; Pereira, MJV; Da Cruz, D; Beron, M;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
18
TÃTULO: Contract-based slicing helps on safety reuse
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
AUTORES: Areias, S; Da Cruz, D; Pinto, JS ;
PUBLICAÇÃO: 2010, FONTE: 18th IEEE International Conference on Program Comprehension, ICPC 2010 in IEEE International Conference on Program Comprehension
19
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
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
20
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
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
