Pedro Manuel Rangel Santos Henriques
Pedro Manuel Rangel Santos Henriques-
From 2015 to Present
-
At ALGORITMI
- Researcher with PhD (Investigador Doutorado)
- Member of the CST R&D Line
-
Academic Degree
Dr Habil (Agregação)
-
Current Position
Associate Professor with Habilitation (Professor Associado com Agregação) at Escola de Engenharia da Universidade do Minho
Personal Webpage
Personal E-mail
ORCID
Researcher ID
M-5587-2013
FCT Public Key
J010369DT33
-
Read More
Pedro Rangel Henriques got a degree in "Electrotechnical/Electronics Engineering", at FEUP (Porto University), and finished a Ph.D. thesis in "Formal Languages and Attribute Grammars" at University of Minho. 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 CCTC (Computer Science and Technologies Center). He teaches many different courses in the broader area of programming: Programming Languages and Paradigms; Compilers, Grammar Engineering and Software Analysis and Transformation; etc. Pedro Rangel Henriques has supervised Ph.D. (11), and M.Sc. (29) thesis, and more than 50 graduating trainingships/projects, in the areas of: language processing (textual and visual), and structured document processing; code analysis, program visulaization/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 11 chapters in books, and 34 journal papers, and has been enrolled more than 30 R&D projects.
- Annotated documents and expanded CIDOC-CRM ontology in the automatic construction of a virtual museum.Ara\'ujo, C.; Martini, R.G.; Henriques, P.R.; Almeida, J.J.Studies in Computational Intelligence2018
- A computer platform to increase motivation in programming students-PEP.Tavares, P.C.; Henriques, P.R.; Gomes, E.F.CSEDU 2017 - Proceedings of the 9th International Conference on Computer Supported Education2017
ALGORITMI Members
- Visualization of ontology evolution using ontodi graph.Lara, A.; Henriques, P.R.; Gan?arski, A.L.OpenAccess Series in Informatics2017
ALGORITMI Members
- Bridging the Gap between bdME and OntoME.Martini, R.G.; Henriques, P.R.Proceedings - 2016 IEEE/WIC/ACM International Conference on Web Intelligence, WI 20162017
ALGORITMI Members
- Applying attribute grammars to teach linguistic rules.Barros, P.A.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2017
- Creating virtual exhibition rooms from emigration digital archives.Martini, R.G.; Guimar\~aes, M.; Librelotto, G.R.; Henriques, P.R.Universal Access in the Information Society2017
ALGORITMI Members
- Program analysis for clustering programmers' profile.Novais, D.J.F.; Pereira, M.J.V.; Henriques, P.R.Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 20172017
- Real-time safe-return-home system for Continental Portugal | Sistema de safe-return-home em tempo real para Portugal continental.Malheiro, T.; Henriques, P.R.; Gancarski, A.L.Iberian Conference on Information Systems and Technologies, CISTI2017
ALGORITMI Members
- Automatizing ontology population to drive the navigation on Virtual Learning Spaces.Araujo, C.; Henriques, P.R.; Martini, R.G.Iberian Conference on Information Systems and Technologies, CISTI2017
ALGORITMI Members
- Socii: A tool to analyze and visualize dynamic social networks.Caldas, J.D.; Gan?arski, A.L.; Henriques, P.R.OpenAccess Series in Informatics2017
ALGORITMI Members
- A reduced CRM-compatible form ontology for the virtual emigration museum.Martini, R.G.; Ara\'ujo, C.; Librelotto, G.R.; Henriques, P.R.Advances in Intelligent Systems and Computing2016
ALGORITMI Members
- Measuring the understandability of WSDL specifications, web service understanding degree approach and system.Ber\'on, M.M.; Bernardis, H.; Miranda, E.A.; Riesco, D.E.; Pereira, M&perioComputer Science and Information Systems2016
- OntoMP, an ontology to build the museum of the person.Martini, R.G.; Ara\'ujo, C.; Almeida, J.J.; Henriques, P.R.Advances in Intelligent Systems and Computing2016
- Architectural approaches to build the museum of the person.Araujo, C.; Henriques, P.R.; Martini, R.G.; Almeida, J.J.Iberian Conference on Information Systems and Technologies, CISTI2016
- Profile detection through source code static analysis.Novais, D.F.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2016
- Impact of GCC optimization levels in energy consumption during C/C++ program execution.Branco, D.; Henriques, P.R.2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings2016
ALGORITMI Members
- Computer-supported techniques to increase students engagement in programming.Tavares, P.C.; Henriques, P.R.; Gomes, E.F.CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education2016
ALGORITMI Members
- Formal Description and Automatic Generation of Learning Spaces Based on Ontologies.Martini, R.G.; Librelotto, G.R.; Henriques, P.R.Procedia Computer Science2016
ALGORITMI Members
- Ontological approach for DSL development.Pereira, M.J.V.; Fonseca, J.; Henriques, P.R.Computer Languages, Systems and Structures2016
- An AST-based tool, spector, for plagiarism detection: The approach, functionality, and implementation.Martins, V.T.; Henriques, P.R.; da Cruz, D.Communications in Computer and Information Science2015
ALGORITMI Members
- Assessing attribute grammars’ quality: Metrics and a tool.João, C.; Henriques, P.R.; da Cruz, D.Communications in Computer and Information Science2015
ALGORITMI Members
- WSDLUD: A metric to measure The understanding degree of WSDL descriptions.Berón, M.M.; Bernardis, H.; Miranda, E.A.; Riesco, D.E.; Pereira, M.J&Communications in Computer and Information Science2015
ALGORITMI Members
- From source code identifiers to natural language terms.Carvalho, N.R.; Almeida, J.J.; Henriques, P.R.; Varanda, M.J.Journal of Systems and Software2015
- Animation and automatic evaluation in supporting the teaching of programming | Animação e Avaliação Automática no Apoio ao Ensino da Programação.Tavares, P.C.; Gomes, E.F.; Henriques, P.R.2015 10th Iberian Conference on Information Systems and Technologies, CISTI 20152015
ALGORITMI Members
- Automatic generation of CVs from online social networks.Dias, S.M.; Gancarski, A.L.; Henriques, P.R.Communications in Computer and Information Science2015
ALGORITMI Members
- A perspective on architectural re-engineering.Sanchez, A.; Oliveira, N.; Barbosa, L.S.; Henriques, P.Science of Computer Programming2015
ALGORITMI Members
- Storing archival emigration documents to create virtual exhibition rooms.Martini, R.; Guimarães, M.; Librelotto, G.; Henriques, P.Advances in Intelligent Systems and Computing2015
ALGORITMI Members
- An effective way to teach language processing courses.Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R.Innovative Teaching Strategies and New Learning Paradigms in Computer Programming2014
ALGORITMI Members
- Attribute grammars made easier: EvDebugger a visual debugger for attribute grammars.Rodriguez-Cerezo, D.; Henriques, P.R.; Sierra, J.-L.2014 International Symposium on Computers in Education, SIIE 20142014
ALGORITMI Members
- Comment-based concept location over system dependency graphs.Pereira, N.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2014
- Conclave: Ontology-driven measurement of semantic relatedness between source code elements and problem domain concepts.Carvalho, N.R.; Almeida, J.J.; Henriques, P.R.; Pereira, M.J.V.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)2014
- Conclave: Writing programs to understand programs.Carvalho, N.R.; Almeida, J.J.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2014
- Plagiarism detection: A tool survey and comparison.Martins, V.T.; Fonte, D.; Henriques, P.R.; Da Cruz, D.2014
- Converting ontologies into DSLs.Fonseca, J.M.S.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2014
- Unfuzzying fuzzy parsing.Carvalho, P.; Oliveira, N.; Henriques, P.R.OpenAccess Series in Informatics2014
ALGORITMI Members
- Partial correctness and continuous integration in computer supported education.Fonte, D.; Boas, I.V.; Oliveira, N.; Da Cruz, D.; Gançarski, A.L.; Henri2014
- NESSy: A new evaluator for software development tools.Miranda, E.; Berón, M.; Montejano, G.; Pereira, M.J.V.; Henriques, P.R&periodOpenAccess Series in Informatics2013
- SIP: A simple tool for inspecting and evaluating WSDL specifications.Beron, M.; Montejano, G.; Riesco, D.; Henriques, P.R.; Debnath, N.Proceedings of the 2013 10th International Conference on Information Technology: New Generations, ITNG 20132013
ALGORITMI Members
- 4th Workshop on Advances in Programming Languages.Lukovic, I.; Mernik, M.; Slivnik, B.; Janousek, J.; Aycock, J.; Chen, H.; H2013 Federated Conference on Computer Science and Information Systems, FedCSIS 20132013
- A flexible dynamic system for automatic grading of programming exercises.Fonte, D.; Da Cruz, D.; Gançarski, A.L.; Henriques, P.R.2013
- 2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013).Harrison, R.; Mernik, M.; Greenspan, S.; Henriques, P.; Da Cruz, D.; Menzies, T.&2013
- Choosing grammars to support Language Processing courses.Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R.2013
- A comment analysis approach for program comprehension.Freitas, J.L.; Da Cruz, D.; Henriques, P.R.2012
- Using semantics in XML information access: Application to the portuguese emigration museum.Ferreira, F.X.; Henriques, P.R.; Gancarski, A.L.Innovations in XML Applications and Metadata Management: Advancing Technologies2012
ALGORITMI Members
- Welcome to the First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012).Harrison, R.; Rodriguez, D.; Henriques, P.2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings2012
ALGORITMI Members
- Guess XQ: A query-by-example approach for XML querying.Fonte, D.M.; da Cruz, D.; Henriques, P.R.; Gancarski, A.L.2012
- Program analysis and evaluation using QUIMERA.Fonte, D.; Boas, I.V.; Da Cruz, D.; Gancarski, A.L.; Henriques, P.R.2012
- Assertion-based slicing and slice graphs.Barros, J.B.; Da Cruz, D.; Henriques, P.R.; Pinto, J.S.2012
- Domain-specific language for coordination patterns.Oliveira, N.; Rodrigues, N.; Henriques, P.R.Computer Science and Information Systems2011
- A DSL for PIM specifications: Design and attribute grammar based implementation.Luković, I.; Pereira, M.J.V.; Oliveira, N.; da Cruz, D.; Henriques, P.R&perio2011
- ICPC 2010 welcome message.Henriques, P.R.; Antoniol, G.; Gallagher, K.IEEE International Conference on Program Comprehension2010
ALGORITMI Members
- Visuallisa: A visual environment to develop attribute grammars.Oliveira, N.; Pereira, M.J.V.; Henriques, P.R.; da Cruz, D.; Cramer, B.2010
- Comparing general-purpose and domain-specific languages: An empirical study.Kosar, T.; Oliveira, N.; Mernik, M.; Pereira, M.J.V.; Črepinšek, M.&am2010
- An attribute grammar specification of IIS*case PIM concepts.Luković, I.; Pereira, M.J.V.; Oliveira, N.; Da Cruz, D.; Henriques, P.R&perio2010
- Assertion-based slicing and slice graphs.Barros, J.B.; Da Cruz, D.; Henriques, P.R.; Pinto, J.S.2010
- GamaSlicer: An online laboratory for program verification and analysis.Da Cruz, D.; Henriques, P.R.; Pinto, J.S.2010
- VisualLISA: Visual programming environment for attribute grammars specification.Oliveira, N.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.2009
- Applying program comprehension techniques to Karel robot programs.Oliveira, N.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.; Mernik, M.;2009
- Topic maps constraint languages: understanding and comparing.Librelotto, G.R.; Azevedo, R.P.; Ramalho, J.C.; Henriques, P.R.International Journal of Reasoning-based Intelligent Systems2009
- SmartClean: An incremental data cleaning tool.Oliveira, P.; Rodrigues, F.; Henriques, P.Proceedings - International Conference on Quality Software2009
ALGORITMI Members
- A methodology for consultations with the NCBI databanks | Uma metodologia para consultas aos bancos de dados do NCBI.Pereira, R.T.; Librelotto, G.R.; Henriques, P.R.Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 20092009
ALGORITMI Members
- Visualization of domain-speci c programs behavior.Oliveira, N.; Pereira, M.J.V.; Henriques, P.R.; Da Cruz, D.2009
- SmartClean: An incremental data cleaning tool | Smartclean: Uma ferramenta para a limpeza incremental de dados.Oliveira, P.J.; De Fátima Rodrigues, M.; Henriques, P.R.Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 20092009
ALGORITMI Members
- A query by example approach for XML querying.Ferreira, F.X.; Da Cruz, D.; Henriques, P.R.; Gançarski, A.L.; Defude, B&periActas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 20092009
ALGORITMI Members
- Influence of domain-specific notation to program Understanding.Kosar, T.; Mernik, M.; Črepinšek, M.; Henriques, P.R.; Da Cruz, D.; Pere2009
- How to interconnect operational and behavioral views of web applications.Fonseca, R.; Da Cruz, D.; Henriques, P.R.; Pereira, M.J.V.2008
- Program comprehension for domain-specific languages.Pereira, M.J.V.; Mernik, M.; da Cruz, D.; Henriques, P.R.2008
- Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation.Ferreira, E.; Paulo, R.; da Cruz, D.; Henriques, P.2008
- Geração de topic maps dirigidos por ontologias para a computação sensível ao contexto.Librelotto, G.R.; Gassen, J.B.; Coppetti, M.; Henriques, P.R.; Freitas, L.&seIberian Conference on Information Systems and Technologies, CISTI2008
ALGORITMI Members
- Making concept maps available on the web to the students.Lopes, S.; Henriques, P.; Dias, P.Computers and Education: Towards Educational Change and Innovation2008
ALGORITMI Members
- Iterative XML search based on data and associated semantics.Gancarski, A.L.; Henriques, P.R.; Ferreira, F.X.ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems2008
ALGORITMI Members
- Comparing topic maps constraint specification languages.Librelotto, G.R.; De Azevedo, R.P.; Ramalho, J.C.; Henriques, P.R.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)2008
- A framework to specify, extract and manage topic maps driven by ontology.Librelotto, G.R.; Ramalho, J.C.; Henriques, P.R.SIGDOC 2008 - Proceedings of the 26th ACM International Conference on Design of Communication2008
- Topic maps applied to PubMed.Librelotto, G.R.; Machado, H.T.; Martins, M.; Ferreira, P.G.D.; Ramalho, J&peProceedings of Extreme Markup Languages 2007 Conference2007
- Using data together with metadata to improve XML information access.Gançarski, A.L.; Henriques, P.R.Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings2007
ALGORITMI Members
- An ontology-based approach for data cleaning.Oliveira, P.; Rodrigues, F.; Henriques, P.Proceedings of the 2006 International Conference on Information Quality, ICIQ 20062006
ALGORITMI Members
- Attribute grammar-based interactive system to retrieve information from XML documents.Gançarski, A.L.; Doucet, A.; Henriques, P.R.IEE Proceedings: Software2006
ALGORITMI Members
- Specifying languages using aspect-oriented approach: AspectLISA.Rebernak, D.; Mernik, M.; Henriques, P.R.; Da Cruz, D.; Pereira, M.J.V.2006
- A formal definition of selection operations that extend xquery with interactive query construction.Gançarski, A.L.; Henriques, P.R.WEBIST 2006 - 2nd International Conference on Web Information Systems and Technologies, Proceedings2006
ALGORITMI Members
- Metamorphosis - A topic maps based environment to handle heterogeneous information resources.Ramalho, J.C.; Librelotto, G.R.; Henriques, P.R.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)2006
- AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars.Rebernak, D.; Mernik, M.; Henriques, P.R.; Pereira, M.J.V.Electronic Notes in Theoretical Computer Science2006
- A formal definition of data quality problems.Oliveira, P.; Rodrigues, F.; Henriques, P.Proceedings of the 2005 International Conference on Information Quality, ICIQ 20052005
ALGORITMI Members
- Constraining topic maps: A TMCL declarative implementation.Ramalho, J.C.; Librelotto, G.; Henriques, P.R.Proceedings of the Extreme Markup Languages 2005 Conference2005
- Automatic generation of language-based tools using the LISA system.Henriques, P.R.; Pereira, M.J.V.; Mernik, M.; Lenič, M.; Gray, J.&IEE Proceedings: Software2005
- Extending XQuery with selection operations to allow for interactive construction of queries.Gançarski, A.L.; Henriques, P.R.From Author to Reader: Challenges for the Digital Content Chain - Proceedings of the 9th ICCC International Conference on Electronic Publishing, ELPUB 20052005
ALGORITMI Members
- Software development with grammatical approach.Kosar, T.; Mernik, M.; Žumer, V.; Henriques, P.R.; Pereira, M.J.V.Informatica (Ljubljana)2004
- Presenting the results of relevance-oriented search over XML documents.Gançarski, A.L.; Henriques, P.R.Proceedings of the 2004 ACM Symposium on Document Engineering2004
ALGORITMI Members
- Interactive information retrieval from XML documents represented by attribute grammars.Gançarski, A.L.; Henriques, P.R.Proceedings of the 2003 ACM Symposium on Document Engineering2003
ALGORITMI Members
- Visualization/animation of programs in Alma: Obtaining different results.Pereira, M.J.V.; Henriques, P.R.Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 20032003
- Bidirectional Conversion between XML Documents and Relational Data Bases.Jacinto, M.H.; Librelotto, G.R.; Ramalho, J.C.; Henriques, P.R.Proceedings of the International Conference on Computer Supported Cooperative Work in Design2002
- Automatic generation of language-based tools.Henriques, P.R.; Pereira, M.J.V.; Mernik, M.; Lenič, M.; Avdičauševi&Electronic Notes in Theoretical Computer Science2002
- Data reduction to improve knowledge extraction.De F\'atima Rodrigues, M.; Henriques, P.R.ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems2001
ALGORITMI Members
- A case based reasoning framework to extract knowledge from data.Rodrigues, F.; Ramos, C.; Henriques, P.Management Information Systems2000
ALGORITMI Members
- Intelligent system to study demographic evolution.de Fatima Rodrigues, M.; Ramos, Carlos; Henriques, Pedro RangelProceedings of SPIE - The International Society for Optical Engineering1999
ALGORITMI Members
- Knowledge discovery with retail basket analysis.de Fatima Rodrigues, Maria; Ramos, Carlos; Henriques, Pedro R.Proceedings of the International Conference on Data Mining1998
ALGORITMI Members
- Algebraic specification of documents.Ramalho, J.C.; Almeida, J.J.; Henriques, P.Theoretical Computer Science1998
- Extracting knowledge patterns from ticket data.Rodrigues, M.F.; Ramos, C.; Henriques, P.R.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)1998
ALGORITMI Members
- A framework and patterns for the specification of reactive systems.Barroca, L.; Henriques, P.Information and Software Technology1998
ALGORITMI Members
- Quality in electronic publication: How to control it? | Qualidade na Publicação Electrónica: como controlá-la?.CarlosRamalho, J.; Henriques, P.CEUR Workshop Proceedings1998
ALGORITMI Members
ALGORITMI Members
- Heuristic parsing and search space pruning.Mendes, J.A.; Henriques, P.R.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)1991
ALGORITMI Members
- A semantic evaluator generating system in prolog.Henriques, P.R.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)1989
ALGORITMI Members
| Year | Supervision | Co-Supervision |
|---|---|---|
| 2017 |
|
|
| 2015 |
| |
