Pedro Manuel Rangel Santos Henriques


AuthID: R-000-EWT

Publicações Confirmadas: 228



111
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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
112
TÍTULO: Unfuzzying Fuzzy Parsing
AUTORES: Pedro Carvalho; Nuno Oliveira ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2014, FONTE: SLATE, VOLUME: 38
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
113
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)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
114
TÍTULO: 4th Workshop on Advances in Programming Languages
AUTORES: Lukovic, I; Mernik, M; Slivnik, B; Janousek, J; Aycock, J; Chen, H; Henriques, PR ; Horvath, Z; Ivanovic, M; Kardas, G; Kollar, J; Kosar, T; Liu, SH; Lukovic, I; Mandreoli, F; Martinez Lopez, PE; Mernik, M; Milasinovic, B; Moessenboeck, H; Papaspyrou, N; Pereira, MJV ; Poruban, J; Rodriguez, JLS; Slivnik, B; Splawski, Z; Watson, B; ...Mais
PUBLICAÇÃO: 2013, FONTE: 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013 in 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
115
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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
116
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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
117
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
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
118
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
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
119
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)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
120
TÍTULO: NESSy: a New Evaluator for Software Development Tools
AUTORES: Enrique Alfredo Miranda; Mario Beron; German Montejano; Maria João Varanda Pereira ; Pedro Rangel Henriques ;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
Página 12 de 23. Total de resultados: 228.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service