???global.info.a_carregar???
Pedro Manuel Rangel Santos Henriques. Obteve o Título de Agregado em Informática em 2012 pela Universidade do Minho, o Doutoramento em Informática em 1993, e as PAPCC- Provas de Apitdão Pedagógia e Capacidade Científica (Mestrado) em 1984 ambos pela Universidade do Minho e a Licenciatura em Engenharia Electrotécnica em 1977 pela Universidade do Porto Faculdade de Engenharia. Publicou 10 capítulos de livros e 1 livro. Investiga e ensina na área de Ciências da Engenharia e Tecnologias com ênfase em Engenharia Informática. No seu currículo Ciência Vitae os termos mais frequentes na contextualização da produção científica, tecnológica, são: Compilação; Eng. Gramatical ; Eng. de Linguagens - Linguagens Formais e Linguagens de Anotação; Paradigmas e Linguagens de Programação; Ontologias; Pensamento Computacional e Ensino da Programação.
Read full resume ↓
Identification

Personal identification

Full name
Pedro Manuel Rangel Santos Henriques

Citation names

  • Henriques, Pedro
  • Pedro Rangel Henriques
  • Henriques, Pedro R
  • Henriques, Pedro Rangel

Author identifiers

Ciência ID
4E1C-45A8-BB33
ORCID iD
0000-0002-3208-0207

Email addresses

  • prh@di.uminho.pt (Professional)

Telephones

Mobile phone
  • 968412287 (Professional)

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
French Intermediate (B1) Intermediate (B1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
2012/04/17
Concluded
 Informática (Título de Agregado)
Major in Cièncias da Computação
Universidade do Minho, Portugal
 aprovado por unanimidade
1993/03/15
Concluded
 Informática (Doutoramento)
Major in Ciências da Computação
Universidade do Minho Escola de Engenharia, Portugal
"Atributos e Modularidade na Especificação de Linguagens Formais" (THESIS/DISSERTATION)
 unanimidade e louvor
1984
Concluded
 PAPCC- Prova de Capacidade Científica (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Implementação dum Sistema Gerador de Interpretadores de Comandos" (THESIS/DISSERTATION)
 muito bom
1977
Concluded
 Engenharia Electrotécnica (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
"sem tese" (THESIS/DISSERTATION)
 15valores
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
1995 - Current Associate Professor (University Teacher) Universidade do Minho, Portugal
1993/03/15 - 1995 Assistant Professor (University Teacher) Universidade do Minho, Portugal
1984/07 - 1993/03 Assistant (University Teacher) Universidade do Minho, Portugal
1981/12/01 - 1984/07 Trainee Assistant (University Teacher) Universidade do Minho, Portugal
Projects

Contract

Designation Funders
2019 - 2021 NetLang - The Language of Cyberbullying: Forms and Mechanisms of Online Prejudice and Discrimination in Annotated Comparable Corpora of Portuguese and English
PTDC/LLT-LIN/29304/2017
Researcher
Associação para a Inovação e Desenvolvimento da FCT
2018 - 2020 CetrO+Spec: Construction, Exploration and Transformation of Learning Object Repositories in Specialized Domains
TIN2017-88092-R
Researcher
Ongoing
2018 - 2019 S3IR: Reforço da segurança dos sistemas de software através de métodos, técnicas e ferramentas de engenharia reversa
BJRP2017xxx
Researcher
Concluded
2018 - 2019 NoviBraga: Data-Mining based evaluation of IT teaching pratices in Portugal and Serbia
PTSR2017-nnnn
Principal investigator
Concluded
2015 - 2017 RedR+Human: Repositories for Education with Dynamic Reconfigurability in the Humanities
TIN2014-nnnn-R
Researcher
Concluded
2013 - 2015 GreenSSCM: Green Software for Space Control Mission -- optimization of energy consumption via software
AdI-vvvvv
Researcher
Agência Nacional de Inovação SA
Concluded
2010 - 2012 HERMES: Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais
PTBR2009-nnnn
Researcher
2010 - 2012 CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software
PTDC/EIA-CCO/108995/2008
Researcher
Concluded
2010 - 2011 QUIXOTE: Desenvolvimento de modelos do domínio do problema para inter-relacionar as vistas operacional e comportamental em sistemas de software
PTAR2009-nnnn
Principal investigator
Concluded
2010 - 2011 AsCoP: Assessing Comprehension of Domain Specific Programs
PTSI2009-nnnn
Principal investigator
Concluded
2009 - 2011 Matisse: MathIS - Reinvigorating Mathematics for the Information Society
PPTDC/EIA/73252/2006
Researcher
Concluded
2008 - 2009 DSLpc: Program Comprehension for Domain Specific Languages
PTSI-nnnnnn
Principal investigator
Concluded
2007 - 2008 SIGON.2: Sistema de Informação para a Gestão da Operação Norte 2
CCRN.xxxx
Principal investigator
Concluded
2005/07/01 - 2007 Program Comprehension by Visual Inspection and Animation (PCVIA)
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/57662/PT
Concluded
2004 - 2006 Voda: Grammar-based Systems
PTSI-mmmm
Principal investigator
Concluded
2003 - 2006 Fasti Ecclesiae Portugaliae, estudo prosopográfico do Clero Catedralício Português na Idade Média
FCT-xxxx
Researcher
Concluded
1999 - 2004 Informatização Normalizada de Arquivos: Reconstituição de Paróquias e História das Populações (Fases 1 e 2)
FCT-wwww
Researcher
Concluded
2001 - 2003 AGiL: Automatic Generation of Language-based Tools
PTSI-kkkkkk
Principal investigator
Concluded
2000 - 2002 MetaMedia2: Metadata for the Preservation and Retrieval of Multimedia Components
FCT-yyyy
Researcher
Concluded
1999 - 2000 MetaMedia1: Metadata for Multimedia Archives
FCT-zzzz
Researcher
Concluded
1996 - 1998 David: Algebraic Specification of Documents
PBIC/TIT/2479/95
Principal investigator
1996 - 1998 SARA: Visual Programming: Definition, Applications, Environments
PBIC/TIT/2481/95
Principal investigator
Concluded
Outputs

Publications

Book
  1. Freitas, L.O.; Henriques, P.R.; Novais, P.. Attribute grammar applied to human activities recognition in intelligent environments. 2020.
    10.1007/978-3-030-24097-4_8
  2. Martins, R.; Almeida, J.J.; Henriques, P.; Novais, P.. Domain identification through sentiment analysis. 2019.
    10.1007/978-3-319-94649-8_33
  3. Martins, R.; Henriques, P.; Novais, P.. Determining Emotional Profile Based on Microblogging Analysis. 2019.
    10.1007/978-3-030-30244-3_14
  4. Freitas, L.O.; Henriques, P.R.; Novais, P.. Context-awareness and uncertainty: Current scenario and challenges for the future. 2019.
    10.1007/978-3-030-01746-0_20
  5. de Azevedo, R.P.; Pereira, M.J.V.; Henriques, P.R.. DSL Based Automatic Generation of Q&A Systems. 2019.
    10.1007/978-3-030-16181-1_44
  6. de Azevedo, R.P.; Henriques, P.R.; Pereira, M.J.V.. Extending PythonQA with knowledge from StackOverflow. 2018.
    10.1007/978-3-319-77703-0_56
  7. Martini, R.G.; Araújo, C.; Henriques, P.R.; Pereira, M.J.V.. CaVa: An example of the automatic generation of virtual learning spaces. 2018.
    10.1007/978-3-319-77703-0_63
  8. Caldas, J.D.; Gancarski, A.L.; Henriques, P.R.. Online social networks analysis visualization using socii. 2018.
    10.1007/978-3-319-77712-2_21
  9. Freitas, L.O.; Henriques, P.R.; Novais, P.. Uncertainty in context-aware systems: A case study for intelligent environments. 2018.
    10.1007/978-3-319-77703-0_22
  10. Martins, R.; Almeida, J.; Henriques, P.; Novais, P.. Increasing authorship identification through emotional analysis. 2018.
    10.1007/978-3-319-77703-0_76
  11. Araújo, C.; Martini, R.G.; Henriques, P.R.; Almeida, J.J.. Annotated documents and expanded CIDOC-CRM ontology in the automatic construction of a virtual museum. 2018.
    10.1007/978-3-319-58965-7_7
  12. Martini, R.G.; Araújo, C.; Librelotto, G.R.; Henriques, P.R.. A reduced CRM-compatible form ontology for the virtual emigration museum. 2016.
    10.1007/978-3-319-31232-3_38
  13. Martini, R.G.; Araújo, C.; Almeida, J.J.; Henriques, P.R.. OntoMP, an ontology to build the museum of the person. 2016.
    10.1007/978-3-319-31307-8_67
  14. João, C.; Henriques, P.R.; da Cruz, D.. Assessing attribute grammars’ quality: Metrics and a tool. 2015.
    10.1007/978-3-319-27653-3_13
  15. Martins, V.T.; Henriques, P.R.; da Cruz, D.. An AST-based tool, spector, for plagiarism detection: The approach, functionality, and implementation. 2015.
    10.1007/978-3-319-27653-3_15
  16. Berón, M.M.; Bernardis, H.; Miranda, E.A.; Riesco, D.E.; Pereira, M.J.V.; Henriques, P.R.. WSDLUD: A metric to measure The understanding degree of WSDL descriptions. 2015.
    10.1007/978-3-319-27653-3_9
  17. Dias, S.M.; Gancarski, A.L.; Henriques, P.R.. Automatic generation of CVs from online social networks. 2015.
    10.1007/978-3-319-27653-3_25
  18. Martini, R.; Guimarães, M.; Librelotto, G.; Henriques, P.. Storing archival emigration documents to create virtual exhibition rooms. 2015.
    10.1007/978-3-319-16486-1_40
  19. Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R.. An effective way to teach language processing courses. 2014.
    10.4018/978-1-4666-7304-5.ch007
  20. Carvalho, N.R.; Almeida, J.J.; Henriques, P.R.; Pereira, M.J.V.; Carvalho, Nuno Ramos; Almeida, Jose Joao; Henriques, Pedro Rangel; Varanda Pereira, Maria Joao. Conclave: Ontology-driven measurement of semantic relatedness between source code elements and problem domain concepts. 2014.
    10.1007/978-3-319-09153-2_9
  21. Ferreira, F.X.; Henriques, P.R.; Gancarski, A.L.. Using semantics in XML information access: Application to the portuguese emigration museum. 2012.
    10.4018/978-1-4666-2669-0.ch011
  22. Fonte, D.M.; da Cruz, D.; Henriques, P.R.; Gancarski, A.L.. Guess XQ: A query-by-example approach for XML querying. 2012.
    10.4018/978-1-4666-2669-0.ch004
  23. Da Cruz, D.; Henriques, P.R.; Sousa Pinto, J.. Contract-based slicing. 2010.
    10.1007/978-3-642-16558-0_11
  24. Librelotto, G.R.; De Azevedo, R.P.; Ramalho, J.C.; Henriques, P.R.. Comparing topic maps constraint specification languages. 2008.
    10.1007/978-3-540-70874-2_10
  25. Rodrigues, F.; Ramos, C.; Henriques, P.. A case based reasoning framework to extract knowledge from data. 2000.
  26. Rodrigues, M.F.; Ramos, C.; Henriques, P.R.. Extracting knowledge patterns from ticket data. 1998.
  27. Mendes, J.A.; Henriques, P.R.. Heuristic parsing and search space pruning. 1991.
    10.1007/3-540-54535-2_26
  28. Henriques, P.R.. A semantic evaluator generating system in prolog. 1989.
    10.1007/3-540-50820-1_49
Book chapter
  1. Angélica Soares Cunha; Cristiana Araújo; Alvaro Costa Neto; Pedro Rangel Henriques. "PathIt: Computational Thinking Training for Visually Impaired Individuals". 2023.
    10.1007/978-3-031-41226-4_17
  2. Tiago Franco; P. R. Henriques; P. Alves; M. J. Varanda Pereira. "Approaches to Classify Knee Osteoarthritis Using Biomechanical Data". 2021.
    10.1007/978-3-030-91885-9_31
  3. Raul Vilas Boas; Lázaro Lima; Greice Zanini; Pedro Rangel Henriques. "Artefact of Augmented Reality to Support the Treatment of Specific Phobias". 2020.
    10.1007/978-3-030-45691-7_17
  4. Leandro O. Freitas; Pedro R. Henriques; Paulo Novais. "Knowledge Inference Through Analysis of Human Activities". 274-281. Springer International Publishing, 2019.
    10.1007/978-3-030-33607-3_30
  5. Paulo Ferreira; Leandro O. Freitas; Pedro Rangel Henriques; Paulo Novais; Juan Pavón. "CAPAS: A Context-Aware System Architecture for Physical Activities Monitoring". 636-647. Springer International Publishing, 2019.
    10.1007/978-3-030-29859-3_54
  6. Malheiro, Tarcisio; Henriques, Pedro Rangel; Gancarski, Alda Lopes; IEEE. "Real-time Safe-return-home system for Continental Portugal". 2017.
  7. Araujo, Cristiana; Henriques, Pedro Rangel; Martini, Ricardo G.; IEEE; Araujo, C.; Henriques, P.R.; Martini, R.G.. "Automatizing Ontology Population to drive the navigation on Virtual Learning Spaces". 2017.
    10.23919/CISTI.2017.7975754
  8. Tavares, Paula Correia; Gomes, Elsa Ferreira; Henriques, Pedro Rangel. "Animation and Automatic Evaluation in Supporting the teaching of Programming". 2015.
  9. Rodrigues, MD; Ramos, C; Henriques, PR; Dasarathy, BV. "An intelligent system to study demographic evolution". 161-170. 1999.
    10.1117/12.339978
Conference paper
  1. Pereira, M.; Simões, A.; Henriques, P.R.. "Type Annotation for SAST". 2023.
    10.4230/OASIcs.SLATE.2023.12
  2. Freitas, T.C.; Neto, A.C.; Varanda Pereira, M.J.; Henriques, P.R.. "NLP/AI Based Techniques for Programming Exercises Generation". 2023.
    10.4230/OASIcs.ICPEC.2023.9
  3. Alves, J.; Neto, A.C.; Varanda Pereira, M.J.; Henriques, P.R.. "Characterization and Identification of Programming Languages". 2023.
    10.4230/OASIcs.SLATE.2023.13
  4. Lima, L.; Saraiva, F.; aes, L.G.M.; Henriques, P.R.; Cardoso, A.. "AR-Based Resources to Train Computational Thinking Skills". 2023.
    10.1007/978-981-19-6585-2_61
  5. Oliveira, E.; Pereira, N.A.A.; Alves, J.; Henriques, P.R.; Rodrigues, N.F.. "Validating Structural Cognitive Training Using Immersive Virtual Reality". 2023.
    10.1109/SeGAH57547.2023.10253789
  6. Martins, L.C.; Lima, L.V.; Henriques, P.R.. "LCSMAR, an AR Based Tool to Inspect Imperative Programs". 2023.
    10.4230/OASIcs.ICPEC.2023.3
  7. de Oliveira Lima, L.V.; Magalhaes, L.G.; Henriques, P.R.; Cardoso, A.. "AR-BASED LEARNING RESOURCE: A DIFFERENT WAY TO LEARN DATA-STRUCTURES". 2023.
  8. Rui Costa; Alvaro Costa Neto; Cristiana Araujo; Pedro Rangel Henriques. "A Framework to Assess Melodic Effectiveness in Training Computational Thinking to Visually Impaired People". 2022.
    10.1109/siie56031.2022.9982346
  9. Gomes, J.R.; Gançarski, A.L.; Henriques, P.R.. "OMT, a Web-Based Tool for Ontology Matching". 2022.
    10.4230/OASIcs.SLATE.2022.8
  10. Teixeira, S.; Ramalho, J.C.; Henriques, P.R.. "EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses". 2022.
    10.4230/OASIcs.SLATE.2022.7
  11. Neto, A.C.; Araújo, C.; Pereira, M.J.V.; Henriques, P.R.. "Value-Focused Investigation into Programming Languages Affinity". 2022.
    10.4230/OASIcs.ICPEC.2022.1
  12. Pinto, G.R.; Henriques, P.R.; da Cruz, D.; Cruz, J.. "Determining Programming Languages Complexity and Its Impact on Processing". 2022.
    10.4230/OASIcs.SLATE.2022.16
  13. Galvão, G.; Neto, A.C.; Araújo, C.; Henriques, P.R.. "The Visual Programming Environment ROBI for Educational Robotics". 2022.
    10.4230/OASIcs.SLATE.2022.14
  14. Franco, T.; Henriques, P.R.; Alves, P.; Varanda Pereira, M.J.; Pedrosa, T.; Silva, F.; Leitão, P.; Oliveira, L.. "System Architecture for Home Muscle Rehabilitation Treatment". 2022.
    10.1007/978-3-031-04829-6_27
  15. de Pinho, R.; Pereira, M.J.V.; Azevedo, A.P.P.; Henriques, P.R.. "Relating Biometric Sensors with Serious Games Results". 2022.
    10.1007/978-3-031-04826-5_10
  16. Freitas, L.O.; Henriques, P.R.; Novais, P.. "Uncertainty Identification in Context-Aware Systems Using Public Datasets". 2022.
    10.1007/978-3-031-06894-2_11
  17. Franco, T.; Henriques, P.R.; Alves, P.; Pereira, M.J.V.; Sestrem, L.; Leitao, P.; Silva, A.. "myHealth: a Mobile App for Home Muscle Rehabilitation". 2022.
    10.1109/SEGAH54908.2022.9978561
  18. Ribeiro, D.P.; Anjo, A.; Henriques, P.R.. "DESIGN AND IMPLEMENTATION OF A CHATBOT AS A TOOL TO ASSIST A HELPDESK TEAM". 2022.
  19. Calheno, R.; Carvalho, P.; Rito Lima, S.; Henriques, P.R.; Ramos-Merino, M.. "Multi-perspective Conformance Checking Applied to BPMN-E2". 2021.
    10.1007/978-3-030-72651-5_38
  20. Elias, C.; Gonçalves, J.B.; Araújo, M.; Pinheiro, P.; Araújo, C.; Henriques, P.R.. "NetAC, An Automatic Classifier of Online Hate Speech Comments". 2021.
    10.1007/978-3-030-72660-7_47
  21. Soares, D.; Pereira, M.J.V.; Henriques, P.R.. "Integrating a graph builder into python tutor". 2021.
    10.4230/OASIcs.ICPEC.2021.6
  22. Saraiva, F.; Lima, L.V.O.; Araújo, C.; Magalhães, L.G.; Henriques, P.R.. "SHREWS: A game with augmented reality for training computational thinking". 2021.
    10.4230/OASIcs.ICPEC.2021.14
  23. Rodrigues, R.; Araújo, C.; Henriques, P.R.. "NetLangEd, a web editor to support online comment annotation". 2021.
    10.4230/OASIcs.SLATE.2021.15
  24. Lima, L.V.O.; Sousa, M.; Magalhães, L.G.; Henriques, P.R.. "Understanding effects of the algorithm visualized with AR techniques". 2021.
    10.4230/OASIcs.ICPEC.2021.15
  25. Baptista, T.; Oliveira, N.; Henriques, P.R.. "Using machine learning for vulnerability detection and classification". 2021.
    10.4230/OASIcs.SLATE.2021.14
  26. de Sousa, M.G.C.; Pereira, M.J.V.; Henriques, P.R.. "Lyntax - A grammar-based tool for linguistics". 2021.
    10.4230/OASIcs.SLATE.2021.4
  27. Neto, A.C.; Araújo, C.; Pereira, M.J.V.; Henriques, P.R.. "Programmers' affinity to languages". 2021.
    10.4230/OASIcs.ICPEC.2021.3
  28. Costa, R.; Araújo, C.; Henriques, P.R.. "Melodic - Teaching computational thinking to visually impaired kids". 2021.
    10.4230/OASIcs.ICPEC.2021.4
  29. Martins, R.; Almeida, J.J.; Henriques, P.; Novais, P.. "Identifying depression clues using emotions and AI". 2021.
  30. Alves, L.; Gajic, D.; Rangel Henriques, P.; Ivancevic, V.; Lalic, M.; Lukovic, I.; Varanda Pereira, M.J.; Popov, S.; Correia Tavares, P.. "Student entrance knowledge, expectations, and motivation within introductory programming courses in Portugal and Serbia". 2020.
  31. Martins, R.; Almeida, J.; Henriques, P.; Novais, P.. "Predicting an Election’s Outcome Using Sentiment Analysis". 2020.
    10.1007/978-3-030-45688-7_14
  32. Argañaraz, M.C.; Berón, M.M.; Pereira, M.J.V.; Henriques, P.R.. "Detection of vulnerabilities in smart contracts specifications in ethereum platforms". 2020.
    10.4230/OASIcs.SLATE.2020.2
  33. Teixeira, S.; Boas, R.V.; Oliveira, F.; Araujo, C.; Henriques, P.R.. "OntoJogo: An Ontology for Game Classification". 2020.
    10.1109/SeGAH49190.2020.9201876
  34. Oliveira, M.; Silva, P.M.; Moura, P.; Almeida, J.J.; Henriques, P.R.. "BhTSL, behavior trees specification and processing". 2020.
    10.4230/OASIcs.SLATE.2020.4
  35. Lima, L.V.O.; Araújo, C.; Magalhães, L.G.; Henriques, P.R.. "Learning Resources with Augmented Reality". 2020.
    10.4230/OASIcs.ICPEC.2020.15
  36. De Azevedo, R.P.; Pereira, M.J.V.; Henriques, P.R.. "Development of Q&A systems using AcQA". 2020.
    10.4230/OASIcs.SLATE.2020.8
  37. Teixeira, S.; Barbosa, D.; Araújo, C.; Henriques, P.R.. "Improving Game-Based Learning Experience through Game Appropriation". 2020.
    10.4230/OASIcs.ICPEC.2020.27
  38. Martins, L.F.; Araújo, C.; Henriques, P.R.. "Digital collection creator, visualizer and explorer". 2019.
    10.4230/OASIcs.SLATE.2019.15
  39. Lameiras, J.F.C.; Guimarães, M.; Henriques, P.R.. "Urban evolution of fafe in the last two centuries". 2019.
    10.4230/OASIcs.SLATE.2019.16
  40. Araujo, C.; Lima, L.V.O.; Henriques, P.R.. "An Ontology based approach to teach Computational Thinking". 2019.
    10.1109/SIIE48397.2019.8970131
  41. Aragão, M.; Varanda Pereira, M.J.; Henriques, P.R.. "Scaling up a programmers’ profile tool". 2019.
    10.4230/OASIcs.SLATE.2019.11
  42. Martini, R.G.; Henriques, P.R.. "CaVa-DSL: Virtual learning spaces formal specification". 2018.
    10.4230/OASIcs.SLATE.2018.10
  43. Tavares, P.C.; Gomes, E.F.; Henriques, P.R.. "Studying programming students motivation using association rules". 2018.
  44. Martins, R.; Almeida, J.J.; Henriques, P.R.; Novais, P.. "Predicting performance problems through emotional analysis". 2018.
    10.4230/OASIcs.SLATE.2018.19
  45. Henriques, P.R.; Portela, F.; Queirós, R.; Simões, A.. "Preface". 2018.
    10.4230/OASIcs.SLATE.2018.0
  46. Martins, R.; Gomes, M.; Almeida, J.J.; Novais, P.; Henriques, P.. "Hate speech classification in social media using emotional analysis". 2018.
    10.1109/BRACIS.2018.00019
  47. Martins, R.; Novais, P.; Almeida, J.; Henriques, P.. "Creating a social media-based personal emotional lexicon". 2018.
    10.1145/3243082.3264668
  48. Malheiro, T.; Henriques, P.R.; Gancarski, A.L.. "Real-time safe-return-home system for Continental Portugal,Sistema de safe-return-home em tempo real para Portugal continental". 2017.
    10.23919/CISTI.2017.7975980
  49. Martini, R.G.; Henriques, P.R.; Martini, Ricardo Giuliani; Henriques, Pedro Rangel; IEEE. "Bridging the Gap between bdME and OntoME". 2017.
    10.1109/WI.2016.0081
  50. Lara, A.; Henriques, P.R.; Gançarski, A.L.. "Visualization of ontology evolution using ontodi graph". 2017.
    10.4230/OASIcs.SLATE.2017.14
  51. Tavares, P.C.; Henriques, P.R.; Gomes, E.F.. "A computer platform to increase motivation in programming students-PEP". 2017.
  52. Barros, P.A.; Pereira, M.J.V.; Henriques, P.R.. "Applying attribute grammars to teach linguistic rules". 2017.
    10.4230/OASIcs.SLATE.2017.1
  53. Caldas, J.D.; Gançarski, A.L.; Henriques, P.R.. "Socii: A tool to analyze and visualize dynamic social networks". 2017.
    10.4230/OASIcs.SLATE.2017.15
  54. Novais, D.J.F.; Pereira, M.J.V.; Henriques, P.R.. "Program analysis for clustering programmers' profile". 2017.
    10.15439/2017F147
  55. Araujo, C.; Henriques, P.R.; Martini, R.G.; Almeida, J.J.; Araujo, Cristiana; Henriques, Pedro Rangel; Martini, Ricardo G.; Almeida, Jose Joao. "Architectural approaches to build the museum of the person". 2016.
    10.1109/CISTI.2016.7521367
  56. Branco, D.; Henriques, P.R.. "Impact of GCC optimization levels in energy consumption during C/C++ program execution". 2016.
    10.1109/Informatics.2015.7377807
  57. Novais, D.F.; Pereira, M.J.V.; Henriques, P.R.. "Profile detection through source code static analysis". 2016.
    10.4230/OASIcs.SLATE.2016.9
  58. Martini, R.G.; Librelotto, G.R.; Henriques, P.R.. "Formal Description and Automatic Generation of Learning Spaces Based on Ontologies". 2016.
    10.1016/j.procs.2016.08.136
  59. Tavares, P.C.; Gomes, E.F.; Henriques, P.R.. "Animation and automatic evaluation in supporting the teaching of programming,Animação e Avaliação Automática no Apoio ao Ensino da Programação". 2015.
    10.1109/CISTI.2015.7170548
  60. Carvalho, N.R.; Almeida, J.J.; Pereira, M.J.V.; Henriques, P.R.. "Conclave: Writing programs to understand programs". 2014.
    10.4230/OASIcs.SLATE.2014.19
  61. Fonseca, J.M.S.; Pereira, M.J.V.; Henriques, P.R.. "Converting ontologies into DSLs". 2014.
    10.4230/OASIcs.SLATE.2014.85
  62. Pereira, N.; Pereira, M.J.V.; Henriques, P.R.. "Comment-based concept location over system dependency graphs". 2014.
    10.4230/OASIcs.SLATE.2014.51
  63. Carvalho, P.; Oliveira, N.; Henriques, P.R.. "Unfuzzying fuzzy parsing". 2014.
    10.4230/OASIcs.SLATE.2014.101
  64. Fonte, D.; Boas, I.V.; Oliveira, N.; Da Cruz, D.; Gançarski, A.L.; Henriques, P.R.. "Partial correctness and continuous integration in computer supported education". 2014.
  65. Martins, V.T.; Fonte, D.; Henriques, P.R.; Da Cruz, D.. "Plagiarism detection: A tool survey and comparison". 2014.
    10.4230/OASIcs.SLATE.2014.143
  66. Fonte, D.; Da Cruz, D.; Gançarski, A.L.; Henriques, P.R.. "A flexible dynamic system for automatic grading of programming exercises". 2013.
    10.4230/OASIcs.SLATE.2013.129
  67. Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R.. "Choosing grammars to support Language Processing courses". 2013.
    10.4230/OASIcs.SLATE.2013.155
  68. Harrison, R.; Mernik, M.; Greenspan, S.; Henriques, P.; Da Cruz, D.; Menzies, T.; Rodriguez, D.. "2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)". 2013.
    10.1109/ICSE.2013.6606778
  69. Lukovic, I.; Mernik, M.; Slivnik, B.; Janousek, J.; Aycock, J.; Chen, H.; Henriques, P.R.; et al. "4thWorkshop on Advances in Programming Languages". 2013.
  70. Beron, M.; Montejano, G.; Riesco, D.; Henriques, P.R.; Debnath, N.. "SIP: A simple tool for inspecting and evaluating WSDL specifications". 2013.
    10.1109/ITNG.2013.10
  71. Da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "Interactive verification of safety-critical software". 2013.
    10.1109/COMPSAC.2013.86
  72. Miranda, E.; Berón, M.; Montejano, G.; Pereira, M.J.V.; Henriques, P.R.. "NESSy: A new evaluator for software development tools". 2013.
    10.4230/OASIcs.SLATE.2013.21
  73. Harrison, R.; Rodriguez, D.; Henriques, P.. "Welcome to the First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)". 2012.
    10.1109/RAISE.2012.6227960
  74. Fonte, D.; Boas, I.V.; Da Cruz, D.; Gancarski, A.L.; Henriques, P.R.. "Program analysis and evaluation using QUIMERA". 2012.
  75. Carvalho, N.R.; Almeida, J.J.; Pereira, M.J.V.; Henriques, P.R.. "Probabilistic SynSet Based Concept Location". 2012.
    10.4230/OASIcs.SLATE.2012.239
  76. Oliveira, N.; Pereira, M.J.V.; Gancarski, A.L.; Henriques, P.R.. "Learning Spaces for Knowledge Generation". 2012.
    10.4230/OASIcs.SLATE.2012.175
  77. Pereira, M.J.V.; Berón, M.; da Cruz, D.; Oliveira, N.; Henriques, P.R.. "Problem Domain Oriented Approach for Program Comprehension". 2012.
    10.4230/OASIcs.SLATE.2012.91
  78. Luzza, M.; Beron, M.M.; Henriques, P.R.. "PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL". 2012.
    10.4230/OASIcs.SLATE.2012.71
  79. Costa, U.A.; da Cruz, D.; Henriques, P.R.. "Automatic Test Generation for Space". 2012.
    10.4230/OASIcs.SLATE.2012.185
  80. Henriques, P.R.; Antoniol, G.; Gallagher, K.. "ICPC 2010 welcome message". 2010.
    10.1109/ICPC.2010.4
  81. Lukovic, I.; Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R.. "An attribute grammar specification of IIS*case PIM concepts". 2010.
  82. Da Cruz, D.; Henriques, P.R.. "Exploring, visualizing and slicing the soul of XML documents". 2010.
    10.1145/1774088.1774097
  83. Da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "GamaSlicer: An online laboratory for program verification and analysis". 2010.
    10.1145/1868281.1868284
  84. Ferreira, F.X.; Da Cruz, D.; Henriques, P.R.; Gançarski, A.L.; Defude, B.. "A query by example approach for XML querying". 2009.
  85. Oliveira, N.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.; Mernik, M.; Kosar, T.; Crepinšek, M.. "Applying program comprehension techniques to Karel robot programs". 2009.
    10.1109/IMCSIT.2009.5352762
  86. Pereira, R.T.; Librelotto, G.R.; Henriques, P.R.. "A methodology for consultations with the NCBI databanks,Uma metodologia para consultas aos bancos de dados do NCBI". 2009.
  87. Oliveira, P.J.; De Fátima Rodrigues, M.; Henriques, P.R.. "SmartClean: An incremental data cleaning tool,Smartclean: Uma ferramenta para a limpeza incremental de dados". 2009.
  88. Da Cruz, D.; Henriques, P.R.. "Assessing databases in .NET: Comparing approaches". 2009.
  89. Kosar, T.; Mernik, M.; Crepinšek, M.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.; Oliveira, N.. "Influence of domain-specific notation to program Understanding". 2009.
    10.1109/IMCSIT.2009.5352767
  90. Oliveira, N.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.. "VisualLISA: Visual programming environment for attribute grammars specification". 2009.
    10.1109/IMCSIT.2009.5352765
  91. Librelotto, G.R.; Gassen, J.B.; Coppetti, M.; Henriques, P.R.; Freitas, L.; Augustin, I.. "Geração de topic maps dirigidos por ontologias para a computação sensível ao contexto". 2008.
  92. Librelotto, G.R.; Ramalho, J.C.; Henriques, P.R.. "A framework to specify, extract and manage topic maps driven by ontology". 2008.
    10.1145/1456536.1456567
  93. Gancarski, A.L.; Henriques, P.R.; Ferreira, F.X.. "Iterative XML search based on data and associated semantics". 2008.
  94. Lopes, S.; Henriques, P.; Dias, P.; Lopes, Sandra; Henriques, Pedro; Dias, Paulo; Mendes, AJ; Pereira, I; Costa, R. "Making concept maps available on the web to the students". 2008.
    10.1007/978-1-84628-929-3_18
  95. Librelotto, G.R.; Machado, H.T.; Martins, M.; Ferreira, P.G.D.; Ramalho, J.C.; Henriques, P.R.. "Topic maps applied to PubMed". 2007.
  96. Gançarski, A.L.; Henriques, P.R.. "Using data together with metadata to improve XML information access". 2007.
  97. Gançarski, A.L.; Henriques, P.R.. "A formal definition of selection operations that extend xquery with interactive query construction". 2006.
  98. Oliveira, P.; Rodrigues, F.; Henriques, P.. "An ontology-based approach for data cleaning". 2006.
  99. Gançarski, A.L.; Henriques, P.R.. "Interactive information retrieval from XML documents represented by attribute grammars". 2003.
  100. Pereira, M.J.V.; Henriques, P.R.. "Visualization/animation of programs in Alma: Obtaining different results". 2003.
    10.1109/HCC.2003.1260242
  101. Jacinto, M.H.; Librelotto, G.R.; Ramalho, J.C.; Henriques, P.R.. "Bidirectional Conversion between XML Documents and Relational Data Bases". 2002.
  102. De Fátima Rodrigues, M.; Henriques, P.R.. "Data reduction to improve knowledge extraction". 2001.
  103. de Fatima Rodrigues, M.; Ramos, Carlos; Henriques, Pedro Rangel. "Intelligent system to study demographic evolution". 1999.
  104. CarlosRamalho, J.; Henriques, P.. "Quality in electronic publication: How to control it?,Qualidade na Publicação Electrónica: como controlá-la?". 1998.
  105. de Fatima Rodrigues, Maria; Ramos, Carlos; Henriques, Pedro R.. "Knowledge discovery with retail basket analysis". 1998.
Journal article
  1. Calheno, R.; Carvalho, P.; Rito Lima, S.; Rangel Henriques, P.; Ramos Merino, M.. "Improving conformance checking in process modelling: a multiperspective algorithm". Journal of Supercomputing 79 16 (2023): 18256-18292. http://www.scopus.com/inward/record.url?eid=2-s2.0-85159378768&partnerID=MN8TOARS.
    10.1007/s11227-023-05315-y
  2. Tiago Franco; Leonardo Sestrem; Pedro Rangel Henriques; Paulo Alves; Maria João Varanda Pereira; Diego Brandão; Paulo Leitão; Alfredo Silva. "Motion Sensors for Knee Angle Recognition in Muscle Rehabilitation Solutions". Sensors (2022): https://doi.org/10.3390/s22197605.
    10.3390/s22197605
  3. Oliveira, J.N.; Pinto, J.S.; Barbosa, L.S.; Henriques, P.R.. "A tribute to José Manuel Valença". Journal of Logical and Algebraic Methods in Programming 128 (2022): http://www.scopus.com/inward/record.url?eid=2-s2.0-85135824874&partnerID=MN8TOARS.
    10.1016/j.jlamp.2022.100792
  4. Tavares, P.C.; Gomes, E.F.; Henriques, P.R.; Vieira, D.M.. "Approaches to manage and understand student engagement in programming". Open Education Studies 4 1 (2022): 93-105. http://www.scopus.com/inward/record.url?eid=2-s2.0-85127119234&partnerID=MN8TOARS.
    10.1515/edu-2022-0005
  5. Alves, L.; Gajic, D.; Rangel Henriques, P.; Ivancevic, V.; Ivkovic, V.; Lalic, M.; Lukovic, I.; et al. "C Tutor usage in relation to student achievement and progress: A study of introductory programming courses in Portugal and Serbia". Computer Applications in Engineering Education 28 5 (2020): 1058-1071. http://www.scopus.com/inward/record.url?eid=2-s2.0-85087147460&partnerID=MN8TOARS.
    10.1002/cae.22278
  6. Freitas, L.O.; Henriques, P.R.; Novais, P.. "Analysis of human activities and identification of uncertain situations in context-aware systems". International Journal of Artificial Intelligence 18 2 (2020): 135-154. http://www.scopus.com/inward/record.url?eid=2-s2.0-85090683700&partnerID=MN8TOARS.
  7. Martins, R.; Almeida, J.J.; Henriques, P.; Novais, P.. "A sentiment analysis approach to increase authorship identification". Expert Systems (2019): http://www.scopus.com/inward/record.url?eid=2-s2.0-85074844787&partnerID=MN8TOARS.
    10.1111/exsy.12469
  8. Martini, R.G.; Guimarães, M.; Librelotto, G.R.; Henriques, P.R.. "Creating virtual exhibition rooms from emigration digital archives". Universal Access in the Information Society 16 4 (2017): 823-833. http://www.scopus.com/inward/record.url?eid=2-s2.0-85032291143&partnerID=MN8TOARS.
    10.1007/s10209-016-0479-7
  9. Martini, Ricardo Giuliani; Henriques, Pedro Rangel. "Automatic Generation of Virtual Learning Spaces Driven by CaVa(DSL): An Experience Report". Acm Sigplan Notices 52 12 (2017): 233-245. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000417312000021&KeyUID=WOS:000417312000021.
    10.1145/3136040.3136046
  10. Berón, M.M.; Bernardis, H.; Miranda, E.A.; Riesco, D.E.; Pereira, M.J.V.; Henriques, P.R.. "Measuring the understandability of WSDL specifications, web service understanding degree approach and system". Computer Science and Information Systems 13 3 (2016): 779-807. http://www.scopus.com/inward/record.url?eid=2-s2.0-85007508424&partnerID=MN8TOARS.
    10.2298/CSIS160124026B
  11. Pereira, M.J.V.; Fonseca, J.; Henriques, P.R.. "Ontological approach for DSL development". Computer Languages, Systems and Structures 45 (2016): 35-52. http://www.scopus.com/inward/record.url?eid=2-s2.0-84961156255&partnerID=MN8TOARS.
    10.1016/j.cl.2015.12.004
  12. Tavares, Paula Correia; Henriques, Pedro Rangel; Gomes, Elsa Ferreira; Tavares, P.C.; Henriques, P.R.; Gomes, E.F.. "Computer-supported Techniques to Increase Students Engagement in Programming". Proceedings of the 8th International Conference on Computer Supported Education, Vol 2 (Csedu) (2016): 167-174. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000393154900019&KeyUID=WOS:000393154900019.
    10.5220/0005899001670174
  13. Branco, David; Henriques, Pedro Rangel. "Impact of GCC optimization levels in energy consumption during C/C plus plus program execution". 2015 IEEE 13th International Scientific Conference on Informatics (2015): 46-50. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000380535000010&KeyUID=WOS:000380535000010.
  14. Sanchez, A.; Oliveira, N.; Barbosa, L.S.; Henriques, P.. "A perspective on architectural re-engineering". Science of Computer Programming 98 (2015): 764-784. http://www.scopus.com/inward/record.url?eid=2-s2.0-84954393759&partnerID=MN8TOARS.
    10.1016/j.scico.2014.02.026
  15. Carvalho, N.R.; Almeida, J.J.; Henriques, P.R.; Varanda, M.J.. "From source code identifiers to natural language terms". Journal of Systems and Software 100 (2015): 117-128. http://www.scopus.com/inward/record.url?eid=2-s2.0-84919460270&partnerID=MN8TOARS.
    10.1016/j.jss.2014.10.013
  16. Rodriguez-Cerezo, Daniel; Henriques, Pedro Rangel; Sierra, Jose-Luis; Rodriguez-Cerezo, D.; Henriques, P.R.; Sierra, J.-L.. "Attribute grammars made easier: EvDebugger A visual debugger for attribute grammars". 2014 International Symposium on Computers in Education (SIIE) (2014): 23-28. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000380571700005&KeyUID=WOS:000380571700005.
    10.1109/SIIE.2014.7017699
  17. Regedor, M.; da Cruz, D.; Henriques, P.. "The role of best practices to Appraise open source software". Electronic Communications of the EASST 48 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-85043292355&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.48.799.817
  18. Freitas, Jose Luis; da Cruz, Daniela; Henriques, Pedro Rangel; IEEE. "A Comment Analysis approach for Program Comprehension". Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012) (2012): 11-20.
    10.1109/SEW.2012.8
  19. Barros, Jose Bernardo; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa; Barros, J.B.; Da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "Assertion-based slicing and slice graphs". Formal Aspects of Computing 24 2 (2012): 217-248.
    10.1007/s00165-011-0196-1
  20. da Cruz, D.; Henriques, P.R.. "Visualizing and analyzing the quality of XML documents". Journal of Universal Computer Science 17 1 (2011): 126-150. http://www.scopus.com/inward/record.url?eid=2-s2.0-79954594431&partnerID=MN8TOARS.
  21. Lukovic, Ivan; Varanda Pereira, Maria Joao; Oliveira, Nuno; da Cruz, Daniela; Henriques, Pedro Rangel. "A DSL for PIM Specifications: Design and Attribute Grammar based Implementation". Computer Science and Information Systems 8 2 (2011): 379-403.
    10.2298/CSIS101229018L
  22. Oliveira, Nuno; Rodrigues, Nuno; Henriques, Pedro Rangel. "Domain-Specific Language for Coordination Patterns". Computer Science and Information Systems 8 2 (2011): 343-359.
    10.2298/CSIS101228017O
  23. Areias, Sergio; da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa. "GammaPolarSlicer". Computer Science and Information Systems 8 2 (2011): 477-499.
    10.2298/CSIS110107006A
  24. Areias, S.; da Cruz, D.; Henriques, P.R.; Pinto, J.S.. "Safe integration of annotated components in open source projects". Electronic Communications of the EASST 33 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-85042884612&partnerID=MN8TOARS.
    10.14279/tuj.eceasst.33.460.448
  25. Kosar, Tomaz; Oliveira, Nuno; Mernik, Marjan; Varanda Pereira, Maria Joao; Crepinsek, Matej; da Cruz, Daniela; Henriques, Pedro Rangel. "Comparing General-Purpose and Domain-Specific Languages: An Empirical Study". Computer Science and Information Systems 7 2 (2010): 247-264.
    10.2298/CSIS1002247K
  26. Oliveira, Nuno; Varanda Pereira, Maria Joao; Henriques, Pedro Rangel; da Cruz, Daniela; Cramer, Bastian. "VisualLISA: A Visual Environment to Develop Attribute Grammars". Computer Science and Information Systems 7 2 (2010): 265-289.
    10.2298/CSIS1002265O
  27. Librelotto, G.R.; Azevedo, R.P.; Ramalho, J.C.; Henriques, P.R.. "Topic maps constraint languages: understanding and comparing". International Journal of Reasoning-based Intelligent Systems 1 3-4 (2009): 173-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-79951997130&partnerID=MN8TOARS.
    10.1504/IJRIS.2009.028016
  28. Oliveira, Paulo; Rodrigues, Fatima; Henriques, Pedro; Choi, BJ. "SmartClean: An Incremental Data Cleaning Tool". 2009 Ninth International Conference on Quality Software (Qsic 2009) (2009): 452-457.
    10.1109/QSIC.2009.67
  29. Oliveira, Nuno; Varanda Pereira, Maria Joao; Henriques, Pedro Rangel; da Cruz, Daniela; Lanza, M; Storey, M; Muller, H. "Visualization of Domain-Specific Programs' Behavior". 2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis (2009): 37-40.
    10.1109/VISSOF.2009.5336426
  30. Pereira, M.J.V.; Mernik, M.; da Cruz, D.; Henriques, P.R.. "Program comprehension for domain-specific languages". Computer Science and Information Systems 5 2 (2008): 1-17. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349690333&partnerID=MN8TOARS.
    10.2298/CSIS0802001P
  31. da Cruz, D.; Henriques, P.R.; João, M.V.P.. "ALMA versus DDD". Computer Science and Information Systems 5 2 (2008): 119-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349694264&partnerID=MN8TOARS.
    10.2298/CSIS0802119d
  32. Ferreira, E.; Paulo, R.; da Cruz, D.; Henriques, P.. "Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation". Computer Science and Information Systems 5 2 (2008): 87-101. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349673473&partnerID=MN8TOARS.
    10.2298/CSIS0802087F
  33. Fonseca, Ruben; da Cruz, Daniela; Henriques, Pedro Rangel; Varanda Pereira, Maria Joao; Krikhaar, R; Lammel, R; Verhoef, C. "How to interconnect operational and behavioral views of web applications". Proceedings of the 16th Ieee International Conference on Program Comprehension (2008): 261-265.
    10.1109/ICPC.2008.25
  34. Rebernak, D.; Mernik, M.; Henriques, P.R.; da Cruz, D.; Pereira, M.J.V.. "Specifying languages using aspect-oriented approach: Aspect LISA". Journal of Computing and Information Technology 14 4 (2006): 343-350. http://www.scopus.com/inward/record.url?eid=2-s2.0-85040692820&partnerID=MN8TOARS.
    10.2498/cit.2006.04.11
  35. Rebernak, D.; Mernik, M.; Henriques, P.R.; Pereira, M.J.V.. "AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars". Electronic Notes in Theoretical Computer Science 164 2 SPEC. IS (2006): 37-53. http://www.scopus.com/inward/record.url?eid=2-s2.0-33750039192&partnerID=MN8TOARS.
    10.1016/j.entcs.2006.10.003
  36. Henriques, PR; Kosar, T; Mernik, M; Pereira, MJV; Zumer, V; IEEE. "Grammatical approach to problem solving". Iti 2003: Proceedings of the 25th International Conference on Information Technology Interfaces (2003): 645-650.
    10.1109/ITI.2003.1225416
  37. Henriques, P.R.; Pereira, M.J.V.; Mernik, M.; Lenic, M.; Avdicauševic, E.; Žumer, V.. "Automatic generation of language-based tools". Electronic Notes in Theoretical Computer Science 65 3 (2002): 83-102. http://www.scopus.com/inward/record.url?eid=2-s2.0-0037551172&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)80428-6
  38. Ramalho, J.C.; Almeida, J.J.; Henriques, P.. "Algebraic specification of documents". Theoretical Computer Science 199 1-2 (1998): 231-247. http://www.scopus.com/inward/record.url?eid=2-s2.0-0347031398&partnerID=MN8TOARS.
  39. Barroca, L.; Henriques, P.. "A framework and patterns for the specification of reactive systems". Information and Software Technology 40 3 (1998): 135-142. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032095055&partnerID=MN8TOARS.
  40. Saraiva, J.; Henriques, P.. "Concurrent attribute evaluation". Computing Systems in Engineering 6 4-5 (1995): 451-457. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029350412&partnerID=MN8TOARS.
    10.1016/0956-0521(95)00028-3
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2019 - Current The impact of Augmented Reality for training Computational Thinking
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2018 - Current Emotional State Detection through Text Analysis
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2018 - Current Uncertainty and Incompleteness Handling in Context-Aware systems
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2018 - Current DSL based Automatic Generation of Q\&A Systems
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2014 - 2018 Formal Description and Automatic Generation of Learning Spaces based on Ontologies
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2013 - 2018 O Impacto da Animação e Visualização no Ensino da Programação
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2007 - 2011 Verification, Slicing and Visualization of Programs with Contracts
Co-supervisor
 MAPi (PhD)
Universidade do Minho, Portugal
2006 - 2009 Program Inspection to interconnect the Behavioral and Operational Views for Program Comprehension
Supervisor
 Alpha LerNet (PhD)
Universidad Nacional de San Luis, Argentina
2003 - 2009 Data Quality Problems in Databases: Detection and Correction
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2002 - 2008 Automatização da Geração de Código para Robôs Industriais diversos
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2001 - 2005 Topic Maps, da Sintaxe à Semântica
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
2000 - 2005 Um Modelo Arquitectónico para Desenvolvimento de Compiladores: aplicação à Framework Dolphin
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
1997 - 2005 Informação Geográfica: Meta-Informação, Codificação e Visualização
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
1998 - 2003 Sistematização da Animação de Programas
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
1997 - 2003 Dicionários Dinâmicos Multi-fonte
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
1997 - 2000 Arquitectura Heterogénea para Extracção de Conhecimento a partir de Dados
Co-supervisor
 PDInf (PhD)
Universidade do Minho, Portugal
1995 - 2000 Anotação Estrutural de Documentos e sua Semântica
Supervisor
 PDInf (PhD)
Universidade do Minho, Portugal

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2019/12/13 - 2020/07/20 SLATe'2020 9th International Symposium on Languages, Applications and Technology}, Barcelos/Portugal, July 2020 (2020/07/13 - 2020/07/14)
Symposium (President of the Organising Committee)
 Instituto Politécnico do Cávado e do Ave, Portugal
2017 - 2018 SLATe'2018 - 7th International Symposium on Languages, Applications and Technology (2018/06 - 2018/06)
Conference (President of the Organising Committee)
 Universidade do Minho, Portugal
2016 - 2017 WAPL'2017 - 6.th Workshop on Advances in Programming Languages (2017/09 - 2017/09)
Conference (President of the Organising Committee)
2008/09 - 2010/12 ICPC'2010 - 18th IEEE International Conference on 'Program Comprehension' (2010/07 - 2010/07)
Conference (President of the Organising Committee)
1999 - 2000 WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications (2000/09 - 2000/09)
Conference (President of the Organising Committee)

Association member

Society Organization name Role
1987 - Current APPIA, Associação Portuguesa para a Inteligência Artificial Sócio, Presidente (entre 2007 e 2011)

Committee member

Activity description
Role 		Institution / Organization
2017 - Current Diretor do Departamento de Informática
Director
 Universidade do Minho Escola de Engenharia, Portugal
2014 - 2016 Diretor de Curso (Licenciatura/Mestrado Integrado) em Engenharia Informática
Director
 Universidade do Minho Escola de Engenharia, Portugal