ProfileOfResearchers

111

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

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

CIÊNCIAVITAE

112

TITLE: Unfuzzying Fuzzy Parsing
AUTHORS: Pedro Carvalho; Nuno Oliveira ; Pedro Rangel Henriques ;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

CIÊNCIAVITAE

113

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)

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

114

TITLE: 4th Workshop on Advances in Programming Languages
AUTHORS: 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; ...More
PUBLISHED: 2013, SOURCE: 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013 in 2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013

INDEXED IN:

Scopus

IN MY:

ORCID |

CIÊNCIAVITAE

115

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

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

CIÊNCIAVITAE

116

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

INDEXED IN:

Scopus

DBLP

IN MY:

ORCID |

CIÊNCIAVITAE

117

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

INDEXED IN:

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

118

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

INDEXED IN:

Scopus

WOS

IN MY:

ORCID |

CIÊNCIAVITAE

119

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)

INDEXED IN:

Scopus

WOS

DBLP

CrossRef

IN MY:

ORCID |

CIÊNCIAVITAE

120