Daniela Carneiro da Cruz
AuthID: R-000-PG7
1
TÃTULO: Interactive Verification of Safety-Critical Software Full Text
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
2
TÃTULO: GuessXQ: A Query-by-Example Approach for XML Querying
AUTORES: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
AUTORES: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID3
TÃTULO: GuessXQ. A Query-by-Example Approach for XML Querying
AUTORES: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Innovations in XML Applications and Metadata Management - Advancing Technologies
AUTORES: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLICAÇÃO: 2013, FONTE: Innovations in XML Applications and Metadata Management - Advancing Technologies
5
TÃTULO: Contract-Based Slicing
AUTORES: da Cruz, D; Henriques, PR ; Pinto, JS ;
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: da Cruz, D; Henriques, PR ; Pinto, JS ;
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
6
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
7
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
8
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
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
Scopus WOS9
TÃTULO: ALMA versus DDD Full Text
AUTORES: da Cruz, D; Henriques, PR ; Pereira, MJV ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
AUTORES: da Cruz, D; Henriques, PR ; Pereira, MJV ;
PUBLICAÇÃO: 2008, FONTE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, NÚMERO: 2
