Daniela Carneiro da Cruz
AuthID: R-000-PG7
1
TITLE: Partial Correctness and Continuous Integration in Computer Supported Education
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2014, SOURCE: CSEDU (2), VOLUME: 2
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2014, SOURCE: CSEDU (2), VOLUME: 2
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID2
TITLE: Plagiarism Detection: A Tool Survey and Comparison
AUTHORS: Vítor T Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
AUTHORS: Vítor T Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID3
TITLE: 2nd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2013)
AUTHORS: Harrison, R; Greenspan, S; Menzies, T; Mernik, M; Henriques, P ; da Cruz, D; Rodriguez, D;
PUBLISHED: 2013, SOURCE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
AUTHORS: Harrison, R; Greenspan, S; Menzies, T; Mernik, M; Henriques, P ; da Cruz, D; Rodriguez, D;
PUBLISHED: 2013, SOURCE: 35th International Conference on Software Engineering (ICSE) in PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013)
4
TITLE: Interactive Verification of Safety-Critical Software Full Text
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
5
TITLE: Choosing Grammars to Support Language Processing Courses
AUTHORS: Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
AUTHORS: Maria João Varanda Pereira ; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID6
TITLE: A Flexible Dynamic System for Automatic Grading of Programming Exercises
AUTHORS: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
AUTHORS: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID7
TITLE: GuessXQ: A Query-by-Example Approach for XML Querying
AUTHORS: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
AUTHORS: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES
INDEXED IN: Scopus 
WOS
Scopus WOS IN MY: ORCID
ORCID8
TITLE: GuessXQ. A Query-by-Example Approach for XML Querying
AUTHORS: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLISHED: 2013, SOURCE: Innovations in XML Applications and Metadata Management - Advancing Technologies
AUTHORS: Daniela Morais Fonte; Daniela da Cruz; Pedro Rangel Henriques ; Alda Lopes Gancarski;
PUBLISHED: 2013, SOURCE: Innovations in XML Applications and Metadata Management - Advancing Technologies
9
TITLE: Verification conditions for single-assignment programs Full Text
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC
AUTHORS: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: SAC
10
TITLE: Program Analysis and Evaluation using Quimera
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: ICEIS (2), VOLUME: 2 ISAS, ISSUE: SAIC/-
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2012, SOURCE: ICEIS (2), VOLUME: 2 ISAS, ISSUE: SAIC/-
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID