Daniela Carneiro da Cruz
AuthID: R-000-PG7
1
TITLE: An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation
AUTHORS: Vitor T Martins; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTHORS: Vitor T Martins; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
2
TITLE: Assessing Attribute Grammars' Quality: Metrics and a Tool
AUTHORS: Joao Cruz; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTHORS: Joao Cruz; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
3
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: 6th International Conference on Computer Supported Education, CSEDU 2014 in CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 2, Barcelona, Spain, 1-3 April, 2014, VOLUME: 2
AUTHORS: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Computer Supported Education, CSEDU 2014 in CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 2, Barcelona, Spain, 1-3 April, 2014, VOLUME: 2
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID4
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: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38
AUTHORS: Vítor T. Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID5
TITLE: 2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
AUTHORS: Rachel Harrison; Sol J. Greenspan; Tim Menzies; Marjan Mernik; Pedro Rangel Henriques ; Daniela Carneiro da Cruz; Daniel Rodríguez;
PUBLISHED: 2013, SOURCE: 2013 35th International Conference on Software Engineering, ICSE 2013 in 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013
AUTHORS: Rachel Harrison; Sol J. Greenspan; Tim Menzies; Marjan Mernik; Pedro Rangel Henriques ; Daniela Carneiro da Cruz; Daniel Rodríguez;
PUBLISHED: 2013, SOURCE: 2013 35th International Conference on Software Engineering, ICSE 2013 in 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013
6
TITLE: Interactive Verification of Safety-Critical Software Full Text
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
7
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: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
AUTHORS: Maria João Varanda Pereira; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID8
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: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
AUTHORS: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in 2nd Symposium on Languages, Applications and Technologies, SLATE 2013, June 20-21, 2013 - Porto, Portugal, VOLUME: 29
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID9
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
ORCID10
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
