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
J01036965474
-
Read More
Pedro Rangel Henriques got a degree in "Electrotechnical/ElectronicsEngineering", at FEUP (Porto University), and finished a Ph.D.thesis in "Formal Languages and Attribute Grammars" at University ofMinho. In 1981 he joined the Computer Science Department ofUniversity of Minho, where he is a teacher/researcher. Since 1995he 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, GrammarEngineering 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, and34 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
- Automatic Generation of Virtual Learning Spaces Driven by CaVa(DSL): An Experience Report.Martini, Ricardo Giuliani; Henriques, Pedro RangelAcm Sigplan Notices2017
ALGORITMI Members
- 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
- 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
- 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
- Program analysis for Clustering Programmers' Profile.Ferreira Novais, Daniel Jose; Varanda Pereira, Maria Joao; Henriques, Pedro RangelProceedings of the 2017 Federated Conference on Computer Science and Information Systems (Fedcsis)2017
ALGORITMI Members
- Applying attribute grammars to teach linguistic rules.Barros, P.A.; Pereira, M.J.V.; Henriques, P.R.OpenAccess Series in Informatics2017
- Real-time Safe-return-home system for Continental Portugal.Malheiro, Tarcisio; Henriques, Pedro Rangel; Gancarski, Alda Lopes; IEEE2017 12th Iberian Conference on Information Systems and Technologies (Cisti)2017
ALGORITMI Members
- Automatizing Ontology Population to drive the navigation on Virtual Learning Spaces.Araujo, Cristiana; Henriques, Pedro Rangel; Martini, Ricardo G.; IEEE2017 12th Iberian Conference on Information Systems and Technologies (Cisti)2017
ALGORITMI Members
- Creating virtual exhibition rooms from emigration digital archives.Martini, Ricardo G.; Guimaraes, Monica; Librelotto, Giovani R.; Henriques, Pedro RangelUniversal Access in the Information Society2017
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
- Measuring the understandability of WSDL specifications, Web Service Understanding Degree Approach and System.Marcelo Beron, Mario; Bernardis, Hernan; Alfredo Miranda, Enrique; Edgardo Riesco, Daniel; Varanda Pereira, Maria Joao; Henriques, Pedro RangelComputer Science and Information Systems2016
ALGORITMI Members
- Architectural Approaches to build The Museum of the Person.Araujo, Cristiana; Henriques, Pedro Rangel; Martini, Ricardo G.; Almeida, Jose Joao; Rocha, A; Reis, LP; Cota, MP&2016 11th Iberian Conference on Information Systems and Technologies (Cisti)2016
- Computer-supported Techniques to Increase Students Engagement in Programming.Tavares, Paula Correia; Henriques, Pedro Rangel; Gomes, Elsa FerreiraProceedings of the 8th International Conference on Computer Supported Education, Vol 2 (Csedu)2016
ALGORITMI Members
- 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
- Bridging the Gap between bdME and OntoME.Martini, Ricardo Giuliani; Henriques, Pedro Rangel; IEEE2016 Ieee/wic/acm International Conference on Web Intelligence (Wi 2016)2016
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
- A Reduced CRM-Compatible Form Ontology for the virtual Emigration Museum.Martini, Ricardo G.; Araujo, Cristiana; Librelotto, Giovani R.; Henriques, Pedro R.New Advances in Information Systems and Technologies, Vol 12016
ALGORITMI Members
- Ontological approach for DSL development.Varanda Pereira, Maria Joao; Fonseca, Joao; Henriques, Pedro RangelComputer Languages Systems & Structures2016
ALGORITMI Members
- OntoMP, an Ontology to build The Museum of the Person.Martini, Ricardo G.; Araujo, Cristiana; Almeidal, Jose Joao; Henriques, Pedro RangelNew Advances in Information Systems and Technologies, Vol 22016
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
- WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions.Marcelo Beron, Mario; Bernardis, Hernan; Alfredo Miranda, Enrique; Edgardo Riesco, Daniel; Varanda Pereira, Maria Joao; Henriques, Pedro RangelLanguages, Applications and Technologies, Slate 20152015
- Animation and Automatic Evaluation in Supporting the teaching of Programming.Tavares, Paula Correia; Gomes, Elsa Ferreira; Henriques, Pedro Rangel2015 10th Iberian Conference on Information Systems and Technologies (Cisti)2015
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
- Automatic Generation of CVs from Online Social Networks.Dias, Sergio Maia; Gancarski, Alda Lopes; Henriques, Pedro RangelLanguages, Applications and Technologies, Slate 20152015
ALGORITMI Members
- Assessing Attribute Grammars' Quality: Metrics and a Tool.Cruz, Joao; Henriques, Pedro Rangel; da Cruz, DanielaLanguages, Applications and Technologies, Slate 20152015
ALGORITMI Members
- Impact of GCC optimization levels in energy consumption during C/C plus plus program execution.Branco, David; Henriques, Pedro Rangel2015 IEEE 13th International Scientific Conference on Informatics2015
ALGORITMI Members
- An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation.Martins, Vitor T.; Henriques, Pedro Rangel; da Cruz, DanielaLanguages, Applications and Technologies, Slate 20152015
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
- CONCLAVE: Ontology-Driven Measurement of Semantic Relatedness between Source Code Elements and Problem Domain Concepts.Carvalho, Nuno Ramos; Almeida, Jose Joao; Henriques, Pedro Rangel; Varanda Pereira, Maria JoaoComputational Science and Its Applications, Part Vi - Iccsa 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
- Attribute grammars made easier: EvDebugger A visual debugger for attribute grammars.Rodriguez-Cerezo, Daniel; Henriques, Pedro Rangel; Sierra, Jose-Luis2014 International Symposium on Computers in Education (SIIE)2014
ALGORITMI Members
- GuessXQ: A Query-by-Example Approach for XML Querying.Fonte, Daniela Morais; da Cruz, Daniela; Henriques, Pedro Rangel; Gancarski, Alda LopesInnovations in Xml Applications and Metadata Management: Advancing Technologies2013
ALGORITMI Members
- 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
- Using Semantics in XML Information Access: Application to the Portuguese Emigration Museum.Ferreira, Flavio Xavier; Henriques, Pedro Rangel; Gancarski, Alda LopesInnovations in Xml Applications and Metadata Management: Advancing Technologies2013
ALGORITMI Members
- SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications.Beron, Mario; Montejano, German; Riesco, Daniel; Henriques, Pedro R.; Debnath, NarayanProceedings of the 2013 10th International Conference on Information Technology: New Generations2013
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
- Interactive Verification of Safety-Critical Software.da Cruz, Daniela; Henriques, Pedro Rangel; Pinto, Jorge Sousa; IEEE2013 Ieee 37th Annual Computer Software and Applications Conference (Compsac)2013
ALGORITMI Members
- 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
- 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
- Program analysis and evaluation using QUIMERA.Fonte, D.; Boas, I.V.; Da Cruz, D.; Gancarski, A.L.; Henriques, P.R.2012
- ICPC 2010 welcome message.Henriques, P.R.; Antoniol, G.; Gallagher, K.IEEE International Conference on Program Comprehension2010
ALGORITMI Members
- 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
- 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
- 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
| Year | Supervision | Co-Supervision |
|---|---|---|
| 2017 |
|
|
| 2015 |
| |
