Daniela Carneiro da Cruz
AuthID: R-000-PG7
1
TÃTULO: An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation
AUTORES: Vitor T Martins; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTORES: Vitor T Martins; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
2
TÃTULO: Assessing Attribute Grammars' Quality: Metrics and a Tool
AUTORES: Joao Cruz; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
AUTORES: Joao Cruz; Pedro Rangel Henriques ; Daniela da Cruz;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563
3
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: 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
AUTORES: Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira ; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID4
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: 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
AUTORES: Vítor T. Martins; Daniela Fonte; Pedro Rangel Henriques ; Daniela Carneiro da Cruz;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID5
TÃTULO: 2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)
AUTORES: Rachel Harrison; Sol J. Greenspan; Tim Menzies; Marjan Mernik; Pedro Rangel Henriques ; Daniela Carneiro da Cruz; Daniel Rodríguez;
PUBLICAÇÃO: 2013, FONTE: 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
AUTORES: Rachel Harrison; Sol J. Greenspan; Tim Menzies; Marjan Mernik; Pedro Rangel Henriques ; Daniela Carneiro da Cruz; Daniel Rodríguez;
PUBLICAÇÃO: 2013, FONTE: 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
TÃTULO: Interactive Verification of Safety-Critical Software Full Text
AUTORES: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
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: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2013, FONTE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC)
7
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: 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
AUTORES: Maria João Varanda Pereira; Nuno Oliveira; Daniela Carneiro da Cruz; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID8
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: 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
AUTORES: Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID9
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
ORCID10
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
