Pedro Henriques

University of Minho - Computer Science

Pedro Rangel Henriques got a degree in "Electronics Engineering", at FEUP (Porto University), and finished a Ph.D. thesis in "Formal Languages and Attribute Grammars" at Minho University. In 1981 he joined the Computer Science Department of University of Minho, where he is a teacher/researcher. Since 1995 he is the coordinator of the "Language Processing group" at "Algoritmi Research Center". He teaches different courses in the broader area of programming: Programming Languages and Paradigms; Compilers; Language Engineering; Grammar Engineering and Software Analysis and Transformation; etc. Pedro Rangel Henriques has supervised 14 Ph.D. thesis, more than 40 M.Sc. thesis, and many graduating trainingships/projects, in the areas of: language processing (textual and visual), and structured document processing; code analysis, program visualization/animation and program comprehension; knowledge discovery from databases, data-mining, and data-cleaning. He is co-author of the "XML & XSL: da teoria a prática" book, publish by FCA in 2002, has published 10 chapters in books, and 34 journal papers, more than 100 conference papers, and has been enrolled in 28 R&D projects.



Contact

Fields

Publications (45)

Development of Q&A systems using AcQA
De Azevedo R.P. ; Pereira M, Varanda M.J., Varanda Pereira M.J. ; Henriques, P.

OpenAccess Series in Informatics

Year: 2020 | Conference Proceeding | View Abstract | Link

Detection of vulnerabilities in smart contracts specifications in ethereum platforms
Arganaraz M.C. ; Beron M.M. ; Pereira M, Varanda M.J., Varanda Pereira M.J. ; Henriques, P.

OpenAccess Series in Informatics

Year: 2020 | Conference Proceeding | View Abstract | Link

DSL Based Automatic Generation of Q&A Systems
de Azevedo R.P. ; Pereira M, Varanda M.J., Varanda Pereira M.J. ; Henriques, P.

Advances in Intelligent Systems and Computing

Year: 2019 | Book Series | View Abstract | Link

Scaling up a programmers’ profile tool
Aragao M. ; Pereira M, Varanda M.J., Varanda Pereira M.J. ; Henriques, P.

OpenAccess Series in Informatics

Year: 2019 | Conference Proceeding | View Abstract | Link

CaVa: An example of the automatic generation of virtual learning spaces
Martini R.G. ; Araujo C. ; Henriques, P. ; Pereira M, Varanda M.J., Varanda Pereira M.J.

Advances in Intelligent Systems and Computing

Year: 2018 | Book Series | View Abstract | Link