Daniela Carneiro da Cruz
AuthID: R-000-PG7
1
TÃTULO: Partial Correctness and Continuous Integration in Computer Supported Education
AUTORES: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2014, FONTE: CSEDU (2), VOLUME: 2
AUTORES: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2014, FONTE: CSEDU (2), VOLUME: 2
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID2
TÃTULO: Plagiarism Detection: A Tool Survey and Comparison
AUTORES: Vítor T Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
AUTORES: Vítor T Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID3
TÃTULO: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
AUTORES: Harrison, R; Greenspan, S; Menzies, T; Mernik, M; Henriques, P ; da Cruz, D; Rodriguez, D;
PUBLICAÇÃO: 2013, FONTE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
AUTORES: Harrison, R; Greenspan, S; Menzies, T; Mernik, M; Henriques, P ; da Cruz, D; Rodriguez, D;
PUBLICAÇÃO: 2013, FONTE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
4
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)
5
TÃTULO: Choosing Grammars to Support Language Processing Courses
AUTORES: Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
AUTORES: Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID6
TÃTULO: A Flexible Dynamic System for Automatic Grading of Programming Exercises
AUTORES: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
AUTORES: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID7
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
ORCID8
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
9
TÃTULO: Verification conditions for single-assignment programs Full Text
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC
10
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: ICEIS (2), 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: ICEIS (2), VOLUME: 2 ISAS, NÚMERO: SAIC/-
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID