???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Pedro Manuel Rangel Santos Henriques

Nomes de citação

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

Identificadores de autor

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

Endereços de correio eletrónico

  • prh@di.uminho.pt (Profissional)

Telefones

Telemóvel
  • 968412287 (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
2012/04/17
Concluído
 Informática (Título de Agregado)
Especialização em Cièncias da Computação
Universidade do Minho, Portugal
 aprovado por unanimidade
1993/03/15
Concluído
 Informática (Doutoramento)
Especialização em Ciências da Computação
Universidade do Minho Escola de Engenharia, Portugal
"Atributos e Modularidade na Especificação de Linguagens Formais" (TESE/DISSERTAÇÃO)
 unanimidade e louvor
1984
Concluído
 PAPCC- Prova de Capacidade Científica (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
"Implementação dum Sistema Gerador de Interpretadores de Comandos" (TESE/DISSERTAÇÃO)
 muito bom
1977
Concluído
 Engenharia Electrotécnica (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
"sem tese" (TESE/DISSERTAÇÃO)
 15valores
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
1995 - Atual Professor Associado (Docente Universitário) Universidade do Minho, Portugal
1993/03/15 - 1995 Professor Auxiliar (Docente Universitário) Universidade do Minho, Portugal
1984/07 - 1993/03 Assistente (Docente Universitário) Universidade do Minho, Portugal
1981/12/01 - 1984/07 Assistente Estagiário (Docente Universitário) Universidade do Minho, Portugal
Projetos

Projeto

Designação Financiadores
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
Investigador
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
Investigador
Em curso
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
Investigador
Concluído
2018 - 2019 NoviBraga: Data-Mining based evaluation of IT teaching pratices in Portugal and Serbia
PTSR2017-nnnn
Investigador responsável
Concluído
2015 - 2017 RedR+Human: Repositories for Education with Dynamic Reconfigurability in the Humanities
TIN2014-nnnn-R
Investigador
Concluído
2013 - 2015 GreenSSCM: Green Software for Space Control Mission -- optimization of energy consumption via software
AdI-vvvvv
Investigador
Agência Nacional de Inovação SA
Concluído
2010 - 2012 HERMES: Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais
PTBR2009-nnnn
Investigador
2010 - 2012 CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software
PTDC/EIA-CCO/108995/2008
Investigador
Concluído
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
Investigador responsável
Concluído
2010 - 2011 AsCoP: Assessing Comprehension of Domain Specific Programs
PTSI2009-nnnn
Investigador responsável
Concluído
2009 - 2011 Matisse: MathIS - Reinvigorating Mathematics for the Information Society
PPTDC/EIA/73252/2006
Investigador
Concluído
2008 - 2009 DSLpc: Program Comprehension for Domain Specific Languages
PTSI-nnnnnn
Investigador responsável
Concluído
2007 - 2008 SIGON.2: Sistema de Informação para a Gestão da Operação Norte 2
CCRN.xxxx
Investigador responsável
Concluído
2005/07/01 - 2007 Program Comprehension by Visual Inspection and Animation (PCVIA)
info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/57662/PT
Concluído
2004 - 2006 Voda: Grammar-based Systems
PTSI-mmmm
Investigador responsável
Concluído
2003 - 2006 Fasti Ecclesiae Portugaliae, estudo prosopográfico do Clero Catedralício Português na Idade Média
FCT-xxxx
Investigador
Concluído
1999 - 2004 Informatização Normalizada de Arquivos: Reconstituição de Paróquias e História das Populações (Fases 1 e 2)
FCT-wwww
Investigador
Concluído
2001 - 2003 AGiL: Automatic Generation of Language-based Tools
PTSI-kkkkkk
Investigador responsável
Concluído
2000 - 2002 MetaMedia2: Metadata for the Preservation and Retrieval of Multimedia Components
FCT-yyyy
Investigador
Concluído
1999 - 2000 MetaMedia1: Metadata for Multimedia Archives
FCT-zzzz
Investigador
Concluído
1996 - 1998 David: Algebraic Specification of Documents
PBIC/TIT/2479/95
Investigador responsável
1996 - 1998 SARA: Visual Programming: Definition, Applications, Environments
PBIC/TIT/2481/95
Investigador responsável
Concluído
Produções

Publicações

Artigo em conferência
  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.
Artigo em revista
  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
Capítulo de livro
  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
Livro
  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
Atividades

Orientação

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

Organização de evento

Nome do evento
Tipo de evento (Tipo de participação) 		Instituição / Organização
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)
Simpósio (Presidente da Comissão Organizadora)
 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)
Conferência (Presidente da Comissão Organizadora)
 Universidade do Minho, Portugal
2016 - 2017 WAPL'2017 - 6.th Workshop on Advances in Programming Languages (2017/09 - 2017/09)
Conferência (Presidente da Comissão Organizadora)
2008/09 - 2010/12 ICPC'2010 - 18th IEEE International Conference on 'Program Comprehension' (2010/07 - 2010/07)
Conferência (Presidente da Comissão Organizadora)
1999 - 2000 WAGA'2000 - 3rd Workshop on Attribute Grammars and their Applications (2000/09 - 2000/09)
Conferência (Presidente da Comissão Organizadora)

Membro de associação

Nome da associação Tipo de participação
1987 - Atual APPIA, Associação Portuguesa para a Inteligência Artificial Sócio, Presidente (entre 2007 e 2011)

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2017 - Atual Diretor do Departamento de Informática
Diretor
 Universidade do Minho Escola de Engenharia, Portugal
2014 - 2016 Diretor de Curso (Licenciatura/Mestrado Integrado) em Engenharia Informática
Diretor
 Universidade do Minho Escola de Engenharia, Portugal