Pedro Rangel Henriques

Orcid: 0000-0002-3208-0207

According to our database1, Pedro Rangel Henriques authored at least 176 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Improving conformance checking in process modelling: a multiperspective algorithm.
J. Supercomput., November, 2023

Training Computational Thinking to Leverage Citizens of Next Generation.
Proceedings of the Information Systems and Technologies, 2023

Romaria De Nª Srª D'Agonia: Building a Digital Repository and a Virtual Museum.
Proceedings of the 12th Symposium on Languages, Applications and Technologies, 2023

Type Annotation for SAST.
Proceedings of the 12th Symposium on Languages, Applications and Technologies, 2023

Characterization and Identification of Programming Languages.
Proceedings of the 12th Symposium on Languages, Applications and Technologies, 2023

OntoCnE, characterizing Learning Resources for training Computational Thinking.
Proceedings of the International Symposium on Computers in Education, 2023

Neuroeducation: Guidelines for Computational Thinking training.
Proceedings of the International Symposium on Computers in Education, 2023

Validating Structural Cognitive Training Using Immersive Virtual Reality.
Proceedings of the 11th IEEE International Conference on Serious Games and Applications for Health, 2023

PathIt: Computational Thinking Training for Visually Impaired Individuals.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2023

LCSMAR, an AR Based Tool to Inspect Imperative Programs.
Proceedings of the 4th International Computer Programming Education Conference, 2023

NLP/AI Based Techniques for Programming Exercises Generation.
Proceedings of the 4th International Computer Programming Education Conference, 2023

2022
Motion Sensors for Knee Angle Recognition in Muscle Rehabilitation Solutions.
Sensors, 2022

A tribute to José Manuel Valença.
J. Log. Algebraic Methods Program., 2022

Relating Biometric Sensors with Serious Games Results.
Proceedings of the Information Systems and Technologies, 2022

System Architecture for Home Muscle Rehabilitation Treatment.
Proceedings of the Information Systems and Technologies, 2022

EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses.
Proceedings of the 11th Symposium on Languages, Applications and Technologies, 2022

Determining Programming Languages Complexity and Its Impact on Processing.
Proceedings of the 11th Symposium on Languages, Applications and Technologies, 2022

OMT, a Web-Based Tool for Ontology Matching.
Proceedings of the 11th Symposium on Languages, Applications and Technologies, 2022

The Visual Programming Environment ROBI for Educational Robotics.
Proceedings of the 11th Symposium on Languages, Applications and Technologies, 2022

myHealth: a Mobile App for Home Muscle Rehabilitation.
Proceedings of the 2022 IEEE 10th International Conference on Serious Games and Applications for Health(SeGAH), 2022

Value-Focused Investigation into Programming Languages Affinity.
Proceedings of the Third International Computer Programming Education Conference, 2022

2021
A sentiment analysis approach to improve authorship identification.
Expert Syst. J. Knowl. Eng., 2021

NetAC, An Automatic Classifier of Online Hate Speech Comments.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Multi-perspective Conformance Checking Applied to BPMN-E<sup>2</sup>.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Lyntax - A grammar-Based Tool for Linguistics.
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021

NetLangEd, A Web Editor to Support Online Comment Annotation.
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021

Using Machine Learning for Vulnerability Detection and Classification.
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021

Approaches to Classify Knee Osteoarthritis Using Biomechanical Data.
Proceedings of the Optimization, Learning Algorithms and Applications, 2021

Uncertainty Identification in Context-Aware Systems Using Public Datasets.
Proceedings of the Ambient Intelligence - Software and Applications, 2021

Integrating a Graph Builder into Python Tutor.
Proceedings of the Second International Computer Programming Education Conference, 2021

SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper).
Proceedings of the Second International Computer Programming Education Conference, 2021

Programmers' Affinity to Languages.
Proceedings of the Second International Computer Programming Education Conference, 2021

Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper).
Proceedings of the Second International Computer Programming Education Conference, 2021

Melodic - Teaching Computational Thinking to Visually Impaired Kids.
Proceedings of the Second International Computer Programming Education Conference, 2021

Identifying Depression Clues using Emotions and AI.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020
C Tutor usage in relation to student achievement and progress: A study of introductory programming courses in Portugal and Serbia.
Comput. Appl. Eng. Educ., 2020

Predicting an Election's Outcome Using Sentiment Analysis.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

Artefact of Augmented Reality to Support the Treatment of Specific Phobias.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

BhTSL, Behavior Trees Specification and Processing.
Proceedings of the 9th Symposium on Languages, Applications and Technologies, 2020

Development of Q&A Systems Using AcQA.
Proceedings of the 9th Symposium on Languages, Applications and Technologies, 2020

Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms.
Proceedings of the 9th Symposium on Languages, Applications and Technologies, 2020

OntoJogo: An Ontology for Game Classification.
Proceedings of the 8th IEEE International Conference on Serious Games and Applications for Health, 2020

Improving Game-Based Learning Experience Through Game Appropriation.
Proceedings of the First International Computer Programming Education Conference, 2020

Learning Resources with Augmented Reality.
Proceedings of the First International Computer Programming Education Conference, 2020

2019
DSL Based Automatic Generation of Q&A Systems.
Proceedings of the New Knowledge in Information Systems and Technologies, 2019

Digital Collection Creator, Visualizer and Explorer.
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019

Urban Evolution of Fafe in the Last Two Centuries.
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019

Scaling up a Programmers' Profile Tool.
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019

Attribute Grammar Applied to Human Activities Recognition in Intelligent Environments.
Proceedings of the Ambient Intelligence, 2019

Knowledge Inference Through Analysis of Human Activities.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019

CAPAS: A Context-Aware System Architecture for Physical Activities Monitoring.
Proceedings of the Hybrid Artificial Intelligent Systems - 14th International Conference, 2019

Determining Emotional Profile Based on Microblogging Analysis.
Proceedings of the Progress in Artificial Intelligence, 2019

2018
Increasing Authorship Identification Through Emotional Analysis.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

CaVa: An Example of the Automatic Generation of Virtual Learning Spaces.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Uncertainty in Context-Aware Systems: A Case Study for Intelligent Environments.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Online Social Networks Analysis Visualization Using Socii.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Extending PythonQA with Knowledge from StackOverflow.
Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Creating a social media-based personal emotional lexicon.
Proceedings of the 24th Brazilian Symposium on Multimedia and the Web, 2018

Predicting Performance Problems Through Emotional Analysis (Short Paper).
Proceedings of the 7th Symposium on Languages, Applications and Technologies, 2018

CaVa: Virtual Learning Spaces Formal Specification (Short Paper).
Proceedings of the 7th Symposium on Languages, Applications and Technologies, 2018

Context-Awareness and Uncertainty: Current Scenario and Challenges for the Future.
Proceedings of the Ambient Intelligence, 2018

Domain Identification Through Sentiment Analysis.
Proceedings of the Distributed Computing and Artificial Intelligence, 2018

Studying Programming Students Motivation using Association Rules.
Proceedings of the 10th International Conference on Computer Supported Education, 2018

Hate Speech Classification in Social Media Using Emotional Analysis.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

2017
Creating virtual exhibition rooms from emigration digital archives.
Univers. Access Inf. Soc., 2017

Visualization of Ontology Evolution using OntoDiffGraph.
Proceedings of the 6th Symposium on Languages, Applications and Technologies, 2017

Socii: A Tool to Analyze and Visualize Dynamic Social Networks.
Proceedings of the 6th Symposium on Languages, Applications and Technologies, 2017

Applying Attribute Grammars to Teach Linguistic Rules.
Proceedings of the 6th Symposium on Languages, Applications and Technologies, 2017

Automatic generation of virtual learning spaces driven by CaVa<sup>DSL</sup>: an experience report.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

A QA System for learning Python.
Proceedings of the Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Program analysis for Clustering Programmers' Profile.
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

A Computer Platform to Increase Motivation in Programming Students - PEP.
Proceedings of the CSEDU 2017, 2017

2016
Measuring the understandability of WSDL specifications, web service understanding degree approach and system.
Comput. Sci. Inf. Syst., 2016

Ontological approach for DSL development.
Comput. Lang. Syst. Struct., 2016

A Reduced CRM-Compatible Form Ontology for the Virtual Emigration Museum.
Proceedings of the New Advances in Information Systems and Technologies, 2016

OntoMP, An Ontology to Build the Museum of the Person.
Proceedings of the New Advances in Information Systems and Technologies, 2016

Bridging the Gap between bdME and OntoME.
Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

Profile Detection Through Source Code Static Analysis.
Proceedings of the 5th Symposium on Languages, Applications and Technologies, 2016

Formal Description and Automatic Generation of Learning Spaces Based on Ontologies.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016

Computer-supported Techniques to Increase Students Engagement in Programming.
Proceedings of the CSEDU 2016, 2016

2015
A perspective on architectural re-engineering.
Sci. Comput. Program., 2015

From source code identifiers to natural language terms.
J. Syst. Softw., 2015

Storing Archival Emigration Documents to Create Virtual Exhibition Rooms.
Proceedings of the New Contributions in Information Systems and Technologies, 2015

An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Automatic Generation of CVs from Online Social Networks.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

Assessing Attribute Grammars' Quality: Metrics and a Tool.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions.
Proceedings of the Languages, Applications and Technologies - 4th International Symposium, 2015

2014
Comment-based Concept Location over System Dependency Graphs.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Plagiarism Detection: A Tool Survey and Comparison.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Converting Ontologies into DSLs.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Unfuzzying Fuzzy Parsing.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Conclave: Writing Programs to Understand Programs.
Proceedings of the 3rd Symposium on Languages, Applications and Technologies, 2014

Conclave: Ontology-Driven Measurement of Semantic Relatedness between Source Code Elements and Problem Domain Concepts.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Partial Correctness and Continuous Integration in Computer Supported Education.
Proceedings of the CSEDU 2014, 2014

2013
Choosing Grammars to Support Language Processing Courses.
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

NESSy: a New Evaluator for Software Development Tools.
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

A Flexible Dynamic System for Automatic Grading of Programming Exercises.
Proceedings of the 2nd Symposium on Languages, Applications and Technologies, 2013

SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications.
Proceedings of the Tenth International Conference on Information Technology: New Generations, 2013

2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013).
Proceedings of the 35th International Conference on Software Engineering, 2013

Interactive Verification of Safety-Critical Software.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012).
ACM SIGSOFT Softw. Eng. Notes, 2012

Assertion-based slicing and slice graphs.
Formal Aspects Comput., 2012

Modeling Languages: metrics and assessing tools
CoRR, 2012

Problem Domain Oriented Approach for Program Comprehension.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Learning Spaces for Knowledge Generation.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Automatic Test Generation for Space.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

Probabilistic SynSet Based Concept Location.
Proceedings of the 1st Symposium on Languages, Applications and Technologies, 2012

A Comment Analysis Approach for Program Comprehension.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Program Analysis and Evaluation using Quimera.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2011
Visualizing and Analyzing the Quality of XML Documents.
J. Univers. Comput. Sci., 2011

The Role of Best Practices to Appraise Open Source Software.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Domain-specific language for coordination patterns.
Comput. Sci. Inf. Syst., 2011

A DSL for PIM specifications: Design and attribute grammar based implementation.
Comput. Sci. Inf. Syst., 2011

GammaPolarSlicer.
Comput. Sci. Inf. Syst., 2011

2010
Safe Integration of Annotated Components in Open Source Projects.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

VisualLISA: A visual environment to develop attribute grammars.
Comput. Sci. Inf. Syst., 2010

Comparing general-purpose and domain-specific languages: An empirical study.
Comput. Sci. Inf. Syst., 2010

Exploring, visualizing and slicing the soul of XML documents.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

GamaSlicer: an online laboratory for program verification and analysis.
Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Contract-Based Slicing.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

An Attribute Grammar Specification of IIS*Case PIM Concepts.
Proceedings of the Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, 2010

2009
Topic maps constraint languages: understanding and comparing.
Int. J. Reason. based Intell. Syst., 2009

Visualization of domain-specific programs' behavior.
Proceedings of the 5th IEEE International Workshop on Visualizing Software for Understanding and Analysis, 2009

Especificação e Processamento de Ontologias para a Semantic Web.
Proceedings of the 5th Brazilian Symposium on Information Systems, 2009

SmartClean: An Incremental Data Cleaning Tool.
Proceedings of the Ninth International Conference on Quality Software, 2009

Applying program comprehension techniques to karel robot programs.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

VisualLISA: Visual programming environment for attribute grammars specification.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Influence of domain-specific notation to program understanding.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2009

Assessing Databases in .NET - Comparing Approaches.
Proceedings of the ICEIS 2009, 2009

2008
Program comprehension for domain-specific languages.
Comput. Sci. Inf. Syst., 2008

Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation.
Comput. Sci. Inf. Syst., 2008

ALMA versus DDD.
Comput. Sci. Inf. Syst., 2008

A framework to specify, extract and manage topic maps driven by ontology.
Proceedings of the 26th Annual International Conference on Design of Communication, 2008

How to Interconnect Operational and Behavioral Views of Web Applications.
Proceedings of the 16th IEEE International Conference on Program Comprehension, 2008

Iterative XML Search Based on Data and Associated Semantics.
Proceedings of the ICEIS 2008, 2008

2007
Constructing program animations using a pattern-based approach.
Comput. Sci. Inf. Syst., 2007

Using Data Together with Metadata to Improve XML Information Access.
Proceedings of the WEBIST 2007, 2007

Comparing Topic Maps Constraint Specification Languages.
Proceedings of the Scaling Topic Maps, 2007

2006
Attribute grammar-based interactive system to retrieve information from XML documents.
IEE Proc. Softw., 2006

AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars.
Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications, 2006

Specifying Languages Using Aspect-oriented Approach: AspectLISA.
J. Comput. Inf. Technol., 2006

A Formal Definition of Selection Operations that Extend Xquery with Interactive Query Construction.
Proceedings of the WEBIST 2006, 2006

Metamorphosis - An Environment to Achieve Semantic Interoperability with Topic Maps.
Proceedings of the 3rd Brazilian Symposium on Information Systems, 2006

An Ontology-Based Approach for Data Cleaning.
Proceedings of the 11th International Conference on Information Quality, 2006

2005
Automatic generation of language-based tools using the LISA system.
IEE Proc. Softw., 2005

Metamorphosis - A Topic Maps Based Environment to Handle Heterogeneous Information Resources.
Proceedings of the Charting the Topic Maps Research and Applications Landscape, 2005

A Formal Definition of Data Quality Problems.
Proceedings of the 2005 International Conference on Information Quality (MIT ICIQ Conference), 2005

A graphical interface based on grafcet for programming industrial robots off-line.
Proceedings of the ICINCO 2005, 2005

Constraining Topic Maps: A TMCL declarative implementation.
Proceedings of the Extreme Markup Languages® 2005 Conference, 2005

IXQuery: Interactive and Information Retrieval Xquery.
Proceedings of the From Author to Reader: Challenges for the Digital Content Chain: Proceedings of the 9th ICCC International Conference on Electronic Publishing held at Katholieke Universiteit Leuven, 2005

2004
Software Development with Grammatical Approach.
Informatica (Slovenia), 2004

TM-Builder: An Ontology Builder based on XML Topic Maps.
CLEI Electron. J., 2004

ADRIAN: E-Learning Content Production (Creating Online Exams).
Proceedings of the Building Digital Bridges: Linking Cultures, Commerce and Science: 8th ICCC/IFIP International Conference on Electronic Publishing held in Brasília, 2004

Presenting the results of relevance-oriented search over XML documents.
Proceedings of the 2004 ACM Symposium on Document Engineering, 2004

2003
XCSL: XML Constraint Specification Language.
CLEI Electron. J., 2003

Visualization/animation of programs in Alma: obtaining different results.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Dolphin-Few - An Architecture for Compilers Development, Monitoring and Use on the Web.
Proceedings of the iiWAS'2003, 2003

Ontology Driven Websites/Metamorphosis: A Framework to Specify and Manage Ontology Driven Websites.
Proceedings of the From information to knowledge: 7th ICCC/IFIP International Conference on Electronic Publishing held at the Universidade do Minho, 2003

IXDIRQL: An Interactive XML Data and Information Retrieval Query Language.
Proceedings of the From information to knowledge: 7th ICCC/IFIP International Conference on Electronic Publishing held at the Universidade do Minho, 2003

Interactive information retrieval from XML documents represented by attribute grammars.
Proceedings of the 2003 ACM Symposium on Document Engineering, 2003

2002
Automatic Generation of Language-based Tools.
Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

XCSL tutorial.
XRDS, 2002

Bidirecional Conversion betwenn XML Documents and Relational Data Bases.
Proceedings of the Seventh International Conference on CSCW in Design, 2002

2001
Visualization/Animation of Programs based on Abstract Representations and Formal Mappings.
Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Data Reduction to Improve Knowledge Extraction.
Proceedings of the ICEIS 2001, 2001

2000
How to Make KDD Process More Accessible to Users.
Proceedings of the ICEIS 2000, 2000

1999
SGML Documents: Where Does Quality Go?
Markup Lang., 1999

An Intelligent Retail Analysis System.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

Intelligent system to study demographic evolution.
Proceedings of the Data Mining and Knowledge Discovery: Theory, 1999

1998
Algebraic Specification of Documents.
Theor. Comput. Sci., 1998

A framework and patterns for the specification of reactive systems.
Inf. Softw. Technol., 1998

Qualidade na Publicação Electrónica: como Controlá-la?
Proceedings of the 3rd International Conference on the Quality of Information and Communications Technology, 1998

Extracting Knowledge Patterns from Ticket Data.
Proceedings of the Discovery Science, 1998

1991
Heuristic Parsing and Search Space Pruning.
Proceedings of the EPIA 91, 1991

1988
A Semantic Evaluator Generating System in Prolog.
Proceedings of the Programming Language Implementation and Logic Programming, 1988


  Loading...