This user account status is Approved
Algoritmi | User | Pedro Manuel Rangel Santos Henriques

Pedro Manuel Rangel Santos Henriques

Pedro Manuel Rangel Santos Henriques

At Algoritmi

Integrated Researcher with Dr habil

Member of the CST R&D Group

Academic Degree

Dr habil

Current Position

Associate Professor with Habilitation at Escola de Engenharia da Universidade do Minho

Personal Webpage

http://www4.di.uminho.pt/~prh/

Personal Email

prh@di.uminho.pt

Orcid

0000-0002-3208-0207

Researcher ID

M-5587-2013

FCT Public Key

J01036965474

Ciência ID

4E1C-45A8-BB33

Google Scholar

About Me



A sentiment analysis approach to improve authorship identification

Expert Systems

2021 | journal-article

Identifying depression clues using emotions and AI

ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence

2021 | conference-paper

Multi-perspective Conformance Checking Applied to BPMN-E2

Advances in Intelligent Systems and Computing

2021 | book

NetAC, An Automatic Classifier of Online Hate Speech Comments

Advances in Intelligent Systems and Computing

2021 | book

Analysis of human activities and identification of uncertain situations in context-aware systems

International Journal of Artificial Intelligence

2020 | journal-article

Artefact of Augmented Reality to Support the Treatment of Specific Phobias

2020 | book-chapter

Attribute grammar applied to human activities recognition in intelligent environments

Advances in Intelligent Systems and Computing

2020 | book

BhTSL, behavior trees specification and processing

OpenAccess Series in Informatics

2020 | conference-paper

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

2020 | journal-article

Detection of vulnerabilities in smart contracts specifications in ethereum platforms

OpenAccess Series in Informatics

2020 | conference-paper

Development of Q&A systems using AcQA

OpenAccess Series in Informatics

2020 | conference-paper

Improving Game-Based Learning Experience through Game Appropriation

OpenAccess Series in Informatics

2020 | conference-paper

Learning Resources with Augmented Reality

OpenAccess Series in Informatics

2020 | conference-paper

OntoJogo: An Ontology for Game Classification

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Predicting an Election’s Outcome Using Sentiment Analysis

Advances in Intelligent Systems and Computing

2020 | book

Preface

OpenAccess Series in Informatics

2020 | conference-paper

Student entrance knowledge, expectations, and motivation within introductory programming courses in Portugal and Serbia

SEFI 47th Annual Conference: Varietas Delectat... Complexity is the New Normality, Proceedings

2020 | conference-paper

An Ontology based approach to teach Computational Thinking

2019 International Symposium on Computers in Education, SIIE 2019

2019 | conference-paper

CAPAS: A Context-Aware System Architecture for Physical Activities Monitoring

2019 | book-chapter

Context-awareness and uncertainty: Current scenario and challenges for the future

Advances in Intelligent Systems and Computing

2019 | book

DSL Based Automatic Generation of Q&A Systems

Advances in Intelligent Systems and Computing

2019 | book

Determining Emotional Profile Based on Microblogging Analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019 | book

Digital collection creator, visualizer and explorer

OpenAccess Series in Informatics

2019 | conference-paper

Domain identification through sentiment analysis

Advances in Intelligent Systems and Computing

2019 | book

Knowledge Inference Through Analysis of Human Activities

2019 | book-chapter

Scaling up a programmers’ profile tool

OpenAccess Series in Informatics

2019 | conference-paper

Urban evolution of fafe in the last two centuries

OpenAccess Series in Informatics

2019 | conference-paper

Annotated documents and expanded CIDOC-CRM ontology in the automatic construction of a virtual museum

Studies in Computational Intelligence

2018 | book

CaVa: An example of the automatic generation of virtual learning spaces

Advances in Intelligent Systems and Computing

2018 | book

CaVaDSL: Virtual learning spaces formal specification

OpenAccess Series in Informatics

2018 | conference-paper

Creating a social media-based personal emotional lexicon

WebMedia 2018 - Proceedings of the 24th Brazilian Symposium on Multimedia and the Web

2018 | conference-paper

Extending PythonQA with knowledge from StackOverflow

Advances in Intelligent Systems and Computing

2018 | book

Hate speech classification in social media using emotional analysis

Proceedings - 2018 Brazilian Conference on Intelligent Systems, BRACIS 2018

2018 | conference-paper

Increasing authorship identification through emotional analysis

Advances in Intelligent Systems and Computing

2018 | book

Online social networks analysis visualization using socii

Advances in Intelligent Systems and Computing

2018 | book

Predicting performance problems through emotional analysis

OpenAccess Series in Informatics

2018 | conference-paper

Preface

OpenAccess Series in Informatics

2018 | conference-paper

Studying programming students motivation using association rules

CSEDU 2018 - Proceedings of the 10th International Conference on Computer Supported Education

2018 | conference-paper

Uncertainty in context-aware systems: A case study for intelligent environments

Advances in Intelligent Systems and Computing

2018 | book

Automatic Generation of Virtual Learning Spaces Driven by CaVa-DSL

SIGPLAN Not.

2017 | journal-article

A computer platform to increase motivation in programming students-PEP

CSEDU 2017 - Proceedings of the 9th International Conference on Computer Supported Education

2017 | conference-paper

Applying attribute grammars to teach linguistic rules

OpenAccess Series in Informatics

2017 | conference-paper

Automatic Generation of Virtual Learning Spaces Driven by CaVa(DSL): An Experience Report

Acm Sigplan Notices

2017 | journal-article

Automatizing Ontology Population to drive the navigation on Virtual Learning Spaces

2017 12th Iberian Conference on Information Systems and Technologies (Cisti)

2017 | book-chapter

Automatizing ontology population to drive the navigation on Virtual Learning Spaces

Iberian Conference on Information Systems and Technologies, CISTI

2017 | conference-paper

Bridging the Gap between bdME and OntoME

Proceedings - 2016 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2016

2017 | conference-paper

Creating virtual exhibition rooms from emigration digital archives

Universal Access in the Information Society

2017 | journal-article

Program analysis for clustering programmers' profile

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017

2017 | conference-paper

Real-time Safe-return-home system for Continental Portugal

2017 12th Iberian Conference on Information Systems and Technologies (Cisti)

2017 | book-chapter

Real-time safe-return-home system for Continental Portugal,Sistema de safe-return-home em tempo real para Portugal continental

Iberian Conference on Information Systems and Technologies, CISTI

2017 | conference-paper

Socii: A tool to analyze and visualize dynamic social networks

OpenAccess Series in Informatics

2017 | conference-paper

Visualization of ontology evolution using ontodi graph

OpenAccess Series in Informatics

2017 | conference-paper

A reduced CRM-compatible form ontology for the virtual emigration museum

Advances in Intelligent Systems and Computing

2016 | book

Architectural Approaches to build The Museum of the Person

2016 11th Iberian Conference on Information Systems and Technologies (Cisti)

2016 | book-chapter

Architectural approaches to build the museum of the person

Iberian Conference on Information Systems and Technologies, CISTI

2016 | conference-paper

Bridging the Gap between bdME and OntoME

2016 Ieee/wic/acm International Conference on Web Intelligence (Wi 2016)

2016 | journal-article

Computer-supported Techniques to Increase Students Engagement in Programming

Proceedings of the 8th International Conference on Computer Supported Education, Vol 2 (Csedu)

2016 | journal-article

Computer-supported techniques to increase students engagement in programming

CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education

2016 | conference-paper

Formal Description and Automatic Generation of Learning Spaces Based on Ontologies

Procedia Computer Science

2016 | conference-paper

Impact of GCC optimization levels in energy consumption during C/C++ program execution

2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings

2016 | conference-paper

Measuring the understandability of WSDL specifications, web service understanding degree approach and system

Computer Science and Information Systems

2016 | journal-article

OntoMP, an ontology to build the museum of the person

Advances in Intelligent Systems and Computing

2016 | book

Ontological approach for DSL development

Computer Languages, Systems and Structures

2016 | journal-article

Profile detection through source code static analysis

OpenAccess Series in Informatics

2016 | conference-paper

A perspective on architectural re-engineering

Science of Computer Programming

2015 | journal-article

An AST-based tool, spector, for plagiarism detection: The approach, functionality, and implementation

Communications in Computer and Information Science

2015 | book

Animation and Automatic Evaluation in Supporting the teaching of Programming

2015 10th Iberian Conference on Information Systems and Technologies (Cisti)

2015 | book-chapter

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 10th Iberian Conference on Information Systems and Technologies, CISTI 2015

2015 | conference-paper

Assessing attribute grammars’ quality: Metrics and a tool

Communications in Computer and Information Science

2015 | book

Automatic generation of CVs from online social networks

Communications in Computer and Information Science

2015 | book

From source code identifiers to natural language terms

Journal of Systems and Software

2015 | journal-article

Impact of GCC optimization levels in energy consumption during C/C plus plus program execution

2015 IEEE 13th International Scientific Conference on Informatics

2015 | journal-article

Storing archival emigration documents to create virtual exhibition rooms

Advances in Intelligent Systems and Computing

2015 | book

WSDLUD: A metric to measure The understanding degree of WSDL descriptions

Communications in Computer and Information Science

2015 | book

An effective way to teach language processing courses

Innovative Teaching Strategies and New Learning Paradigms in Computer Programming

2014 | book

Attribute grammars made easier: EvDebugger A visual debugger for attribute grammars

2014 International Symposium on Computers in Education (SIIE)

2014 | journal-article

Attribute grammars made easier: EvDebugger a visual debugger for attribute grammars

2014 International Symposium on Computers in Education, SIIE 2014

2014 | conference-paper

CONCLAVE: Ontology-Driven Measurement of Semantic Relatedness between Source Code Elements and Problem Domain Concepts

Computational Science and Its Applications, Part Vi - Iccsa 2014

2014 | book-chapter

Comment-based concept location over system dependency graphs

OpenAccess Series in Informatics

2014 | conference-paper

Conclave: Ontology-driven measurement of semantic relatedness between source code elements and problem domain concepts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014 | book

Conclave: Writing programs to understand programs

OpenAccess Series in Informatics

2014 | conference-paper

Converting ontologies into DSLs

OpenAccess Series in Informatics

2014 | conference-paper

Partial correctness and continuous integration in computer supported education

CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education

2014 | conference-paper

Plagiarism detection: A tool survey and comparison

OpenAccess Series in Informatics

2014 | conference-paper

Unfuzzying fuzzy parsing

OpenAccess Series in Informatics

2014 | conference-paper

2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)

Proceedings - International Conference on Software Engineering

2013 | conference-paper

4th Workshop on Advances in Programming Languages

2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013

2013 | conference-paper

A flexible dynamic system for automatic grading of programming exercises

OpenAccess Series in Informatics

2013 | conference-paper

Choosing grammars to support Language Processing courses

OpenAccess Series in Informatics

2013 | conference-paper

Interactive verification of safety-critical software

Proceedings - International Computer Software and Applications Conference

2013 | conference-paper

NESSy: A new evaluator for software development tools

OpenAccess Series in Informatics

2013 | conference-paper

SIP: A simple tool for inspecting and evaluating WSDL specifications

Proceedings of the 2013 10th International Conference on Information Technology: New Generations, ITNG 2013

2013 | conference-paper

A Comment Analysis approach for Program Comprehension

Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)

2012 | journal-article

Assertion-based slicing and slice graphs

Formal Aspects of Computing

2012 | journal-article

Guess XQ: A query-by-example approach for XML querying

Innovations in XML Applications and Metadata Management: Advancing Technologies

2012 | book

Program analysis and evaluation using QUIMERA

ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

2012 | conference-paper

The role of best practices to Appraise open source software

Electronic Communications of the EASST

2012 | journal-article

Using semantics in XML information access: Application to the portuguese emigration museum

Innovations in XML Applications and Metadata Management: Advancing Technologies

2012 | book

Welcome to the First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)

2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings

2012 | conference-paper

A DSL for PIM Specifications: Design and Attribute Grammar based Implementation

Computer Science and Information Systems

2011 | journal-article

Domain-Specific Language for Coordination Patterns

Computer Science and Information Systems

2011 | journal-article

GammaPolarSlicer

Computer Science and Information Systems

2011 | journal-article

Visualizing and Analyzing the Quality of XML Documents

Journal of Universal Computer Science

2011 | journal-article

Visualizing and analyzing the quality of XML documents

Journal of Universal Computer Science

2011 | journal-article

An attribute grammar specification of IIS*case PIM concepts

CEUR Workshop Proceedings

2010 | conference-paper

Assertion-based slicing and slice graphs

Proceedings - Software Engineering and Formal Methods, SEFM 2010

2010 | conference-paper

Comparing General-Purpose and Domain-Specific Languages: An Empirical Study

Computer Science and Information Systems

2010 | journal-article

Contract-Based Slicing

Leveraging Applications of Formal Methods, Verification, and Validation, Pt I

2010 | journal-article

Contract-based slicing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010 | book

Exploring, visualizing and slicing the soul of XML documents

Proceedings of the ACM Symposium on Applied Computing

2010 | conference-paper

GamaSlicer: An online laboratory for program verification and analysis

Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010

2010 | conference-paper

ICPC 2010 welcome message

IEEE International Conference on Program Comprehension

2010 | conference-paper

Safe integration of annotated components in open source projects

Electronic Communications of the EASST

2010 | journal-article

VisualLISA: A Visual Environment to Develop Attribute Grammars

Computer Science and Information Systems

2010 | journal-article

A METHODOLOGY TO QUERY DATABASES NCBI

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

A QUERY BY EXAMPLE APPROACH FOR XML QUERYING

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

A methodology for consultations with the NCBI databanks,Uma metodologia para consultas aos bancos de dados do NCBI

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

A query by example approach for XML querying

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

Applying program comprehension techniques to Karel robot programs

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

Assessing databases in .NET: Comparing approaches

ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings

2009 | conference-paper

Influence of domain-specific notation to program Understanding

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

SMARTCLEAN: A TOOL FOR CLEANING INCREMENTAL DATA

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

SmartClean: An Incremental Data Cleaning Tool

2009 Ninth International Conference on Quality Software (Qsic 2009)

2009 | journal-article

SmartClean: An incremental data cleaning tool,Smartclean: Uma ferramenta para a limpeza incremental de dados

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

Topic maps constraint languages: understanding and comparing

International Journal of Reasoning-based Intelligent Systems

2009 | journal-article

VisualLISA: Visual programming environment for attribute grammars specification

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

Visualization of Domain-Specific Programs' Behavior

2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis

2009 | journal-article

A framework to specify, extract and manage Topic Maps driven by ontology

Sigdoc'08: Proceedings of the 26th Acm International Conference on Design of Communication

2008 | journal-article

A framework to specify, extract and manage topic maps driven by ontology

SIGDOC 2008 - Proceedings of the 26th ACM International Conference on Design of Communication

2008 | conference-paper

ALMA versus DDD

Computer Science and Information Systems

2008 | journal-article

ALMA versus DDD

Computer Science and Information Systems

2008 | journal-article

Comparing Topic Maps Constraint specification languages

Scaling Topic Maps

2008 | journal-article

Comparing topic maps constraint specification languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008 | book

Development of Topic Maps directed by Ontologies for context-sensitive computation

Actas De La Iii Conferencia Iberica De Sistemas Y Tecnologias De La Informacion, Vol 1

2008 | journal-article

Geração de topic maps dirigidos por ontologias para a computação sensível ao contexto

Iberian Conference on Information Systems and Technologies, CISTI

2008 | conference-paper

How to interconnect operational and behavioral views of web applications

Proceedings of the 16th Ieee International Conference on Program Comprehension

2008 | journal-article

ITERATIVE XML SEARCH BASED ON DATA AND ASSOCIATED SEMANTICS

Iceis 2008: Proceedings of the Tenth International Conference on Enterprise Information Systems, Vol Disi

2008 | journal-article

Integration of the ST Language in a Model-Based Engineering Environment for Control Systems - An Approach for Compiler Implementation

Computer Science and Information Systems

2008 | journal-article

Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation

Computer Science and Information Systems

2008 | journal-article

Iterative XML search based on data and associated semantics

ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems

2008 | conference-paper

Making concept maps available on the web to the students

Computers and Education: Towards Educational Change and Innovation

2008 | conference-paper

Making concept maps available on the web to the students

Computers and Education: Towards Educational Change and Innovation

2008 | journal-article

Program Comprehension for Domain-Specific Languages

Computer Science and Information Systems

2008 | journal-article

Program comprehension for domain-specific languages

Computer Science and Information Systems

2008 | journal-article

Topic maps applied to PubMed

Proceedings of Extreme Markup Languages 2007 Conference

2007 | conference-paper

Using data together with metadata to improve XML information access

Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings

2007 | conference-paper

Using data together with metadata to improve XML information access

WEBIST 2007: Proceedings of the Third International Conference on Web Information Systems and Technologies, Vol IT

2007 | journal-article

A formal definition of selection operations that extend XQuery with interactive query construction

WEBIST 2006: Proceedings of the Second International Conference on Web Information Systems and Technologies

2006 | journal-article

A formal definition of selection operations that extend xquery with interactive query construction

WEBIST 2006 - 2nd International Conference on Web Information Systems and Technologies, Proceedings

2006 | conference-paper

An ontology-based approach for data cleaning

Proceedings of the 2006 International Conference on Information Quality, ICIQ 2006

2006 | conference-paper

AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars

Electronic Notes in Theoretical Computer Science

2006 | journal-article

Specifying languages using aspect-oriented approach: Aspect LISA

Journal of Computing and Information Technology

2006 | journal-article

A development approach to industrial robots programming

Proceedings of the 11th International Conference on Advanced Robotics 2003, Vol 1-3

2003 | journal-article

Grammatical approach to problem solving

Iti 2003: Proceedings of the 25th International Conference on Information Technology Interfaces

2003 | journal-article

Interactive information retrieval from XML documents represented by attribute grammars

Proceedings of the 2003 ACM Symposium on Document Engineering

2003 | conference-paper

Ontology driven websites metamorphosis: a framework to specify and manage ontology driven websites

From Information To Knowledge

2003 | journal-article

Visualization/animation of programs in Alma: Obtaining different results

Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

2003 | conference-paper

Visualization/animation of programs in Alma: obtaining different results

200s Ieee Symposium on Human Centric Computing Languages and Environments

2003 | journal-article

Automatic generation of language-based tools

Electronic Notes in Theoretical Computer Science

2002 | journal-article

Bidirectional Conversion between XML Documents and Relational Data Bases

Proceedings of the International Conference on Computer Supported Cooperative Work in Design

2002 | conference-paper

Bidirectional conversion between XML documents and relational data bases

Proceedings of the Seventh International Conference on Cscw in Design

2002 | journal-article

Data reduction to improve knowledge extraction

Enterprise Information Systems Iii

2002 | journal-article

Data reduction to improve knowledge extraction

ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems

2001 | conference-paper

Visualization/animation of programs based on abstract representations and formal mappings

Ieee Symposia on Human-Centric Computing Languages and Environments, Proceedings

2001 | journal-article

A case based reasoning framework to extract knowledge from data

Management Information Systems

2000 | book

An intelligent system to study demographic evolution

Data Mining and Knowledge Discovery: Theory, Tools, and Technology

1999 | book-chapter

Intelligent system to study demographic evolution

Proceedings of SPIE - The International Society for Optical Engineering

1999 | conference-paper

A framework and patterns for the specification of reactive systems

Information and Software Technology

1998 | journal-article

Algebraic specification of documents

Theoretical Computer Science

1998 | journal-article

Extracting knowledge patterns from ticket data

Discovery Science

1998 | book-chapter

Extracting knowledge patterns from ticket data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1998 | book

Knowledge discovery with retail basket analysis

Proceedings of the International Conference on Data Mining

1998 | conference-paper

Knowledge discovery with retail basket analysis

Data Mining

1998 | journal-article

Quality in electronic publication: How to control it?,Qualidade na Publicação Electrónica: como controlá-la?

CEUR Workshop Proceedings

1998 | conference-paper

Concurrent attribute evaluation

Computing Systems in Engineering

1995 | journal-article

HEURISTIC PARSING AND SEARCH SPACE PRUNING

Epia 91

1991 | book-chapter

Heuristic parsing and search space pruning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1991 | book

A SEMANTIC EVALUATOR GENERATING-SYSTEM IN PROLOG

Lecture Notes in Computer Science

1989 | journal-article

A semantic evaluator generating system in prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1989 | book

A sentiment analysis approach to improve authorship identification

Expert Systems

2021 | journal-article

Identifying depression clues using emotions and AI

ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence

2021 | conference-paper

Multi-perspective Conformance Checking Applied to BPMN-E2

Advances in Intelligent Systems and Computing

2021 | book

NetAC, An Automatic Classifier of Online Hate Speech Comments

Advances in Intelligent Systems and Computing

2021 | book

Analysis of human activities and identification of uncertain situations in context-aware systems

International Journal of Artificial Intelligence

2020 | journal-article

Artefact of Augmented Reality to Support the Treatment of Specific Phobias

2020 | book-chapter

Attribute grammar applied to human activities recognition in intelligent environments

Advances in Intelligent Systems and Computing

2020 | book

BhTSL, behavior trees specification and processing

OpenAccess Series in Informatics

2020 | conference-paper

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

2020 | journal-article

Detection of vulnerabilities in smart contracts specifications in ethereum platforms

OpenAccess Series in Informatics

2020 | conference-paper

Development of Q&A systems using AcQA

OpenAccess Series in Informatics

2020 | conference-paper

Improving Game-Based Learning Experience through Game Appropriation

OpenAccess Series in Informatics

2020 | conference-paper

Learning Resources with Augmented Reality

OpenAccess Series in Informatics

2020 | conference-paper

OntoJogo: An Ontology for Game Classification

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Predicting an Election’s Outcome Using Sentiment Analysis

Advances in Intelligent Systems and Computing

2020 | book

Preface

OpenAccess Series in Informatics

2020 | conference-paper

Student entrance knowledge, expectations, and motivation within introductory programming courses in Portugal and Serbia

SEFI 47th Annual Conference: Varietas Delectat... Complexity is the New Normality, Proceedings

2020 | conference-paper

An Ontology based approach to teach Computational Thinking

2019 International Symposium on Computers in Education, SIIE 2019

2019 | conference-paper

CAPAS: A Context-Aware System Architecture for Physical Activities Monitoring

2019 | book-chapter

Context-awareness and uncertainty: Current scenario and challenges for the future

Advances in Intelligent Systems and Computing

2019 | book

DSL Based Automatic Generation of Q&A Systems

Advances in Intelligent Systems and Computing

2019 | book

Determining Emotional Profile Based on Microblogging Analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019 | book

Digital collection creator, visualizer and explorer

OpenAccess Series in Informatics

2019 | conference-paper

Domain identification through sentiment analysis

Advances in Intelligent Systems and Computing

2019 | book

Knowledge Inference Through Analysis of Human Activities

2019 | book-chapter

Scaling up a programmers’ profile tool

OpenAccess Series in Informatics

2019 | conference-paper

Urban evolution of fafe in the last two centuries

OpenAccess Series in Informatics

2019 | conference-paper

Annotated documents and expanded CIDOC-CRM ontology in the automatic construction of a virtual museum

Studies in Computational Intelligence

2018 | book

CaVa: An example of the automatic generation of virtual learning spaces

Advances in Intelligent Systems and Computing

2018 | book

CaVaDSL: Virtual learning spaces formal specification

OpenAccess Series in Informatics

2018 | conference-paper

Creating a social media-based personal emotional lexicon

WebMedia 2018 - Proceedings of the 24th Brazilian Symposium on Multimedia and the Web

2018 | conference-paper

Extending PythonQA with knowledge from StackOverflow

Advances in Intelligent Systems and Computing

2018 | book

Hate speech classification in social media using emotional analysis

Proceedings - 2018 Brazilian Conference on Intelligent Systems, BRACIS 2018

2018 | conference-paper

Increasing authorship identification through emotional analysis

Advances in Intelligent Systems and Computing

2018 | book

Online social networks analysis visualization using socii

Advances in Intelligent Systems and Computing

2018 | book

Predicting performance problems through emotional analysis

OpenAccess Series in Informatics

2018 | conference-paper

Preface

OpenAccess Series in Informatics

2018 | conference-paper

Studying programming students motivation using association rules

CSEDU 2018 - Proceedings of the 10th International Conference on Computer Supported Education

2018 | conference-paper

Uncertainty in context-aware systems: A case study for intelligent environments

Advances in Intelligent Systems and Computing

2018 | book

Automatic Generation of Virtual Learning Spaces Driven by CaVa-DSL

SIGPLAN Not.

2017 | journal-article

A computer platform to increase motivation in programming students-PEP

CSEDU 2017 - Proceedings of the 9th International Conference on Computer Supported Education

2017 | conference-paper

Applying attribute grammars to teach linguistic rules

OpenAccess Series in Informatics

2017 | conference-paper

Automatic Generation of Virtual Learning Spaces Driven by CaVa(DSL): An Experience Report

Acm Sigplan Notices

2017 | journal-article

Automatizing Ontology Population to drive the navigation on Virtual Learning Spaces

2017 12th Iberian Conference on Information Systems and Technologies (Cisti)

2017 | book-chapter

Automatizing ontology population to drive the navigation on Virtual Learning Spaces

Iberian Conference on Information Systems and Technologies, CISTI

2017 | conference-paper

Bridging the Gap between bdME and OntoME

Proceedings - 2016 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2016

2017 | conference-paper

Creating virtual exhibition rooms from emigration digital archives

Universal Access in the Information Society

2017 | journal-article

Program analysis for clustering programmers' profile

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017

2017 | conference-paper

Real-time Safe-return-home system for Continental Portugal

2017 12th Iberian Conference on Information Systems and Technologies (Cisti)

2017 | book-chapter

Real-time safe-return-home system for Continental Portugal,Sistema de safe-return-home em tempo real para Portugal continental

Iberian Conference on Information Systems and Technologies, CISTI

2017 | conference-paper

Socii: A tool to analyze and visualize dynamic social networks

OpenAccess Series in Informatics

2017 | conference-paper

Visualization of ontology evolution using ontodi graph

OpenAccess Series in Informatics

2017 | conference-paper

A reduced CRM-compatible form ontology for the virtual emigration museum

Advances in Intelligent Systems and Computing

2016 | book

Architectural Approaches to build The Museum of the Person

2016 11th Iberian Conference on Information Systems and Technologies (Cisti)

2016 | book-chapter

Architectural approaches to build the museum of the person

Iberian Conference on Information Systems and Technologies, CISTI

2016 | conference-paper

Bridging the Gap between bdME and OntoME

2016 Ieee/wic/acm International Conference on Web Intelligence (Wi 2016)

2016 | journal-article

Computer-supported Techniques to Increase Students Engagement in Programming

Proceedings of the 8th International Conference on Computer Supported Education, Vol 2 (Csedu)

2016 | journal-article

Computer-supported techniques to increase students engagement in programming

CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education

2016 | conference-paper

Formal Description and Automatic Generation of Learning Spaces Based on Ontologies

Procedia Computer Science

2016 | conference-paper

Impact of GCC optimization levels in energy consumption during C/C++ program execution

2015 IEEE 13th International Scientific Conference on Informatics, INFORMATICS 2015 - Proceedings

2016 | conference-paper

Measuring the understandability of WSDL specifications, web service understanding degree approach and system

Computer Science and Information Systems

2016 | journal-article

OntoMP, an ontology to build the museum of the person

Advances in Intelligent Systems and Computing

2016 | book

Ontological approach for DSL development

Computer Languages, Systems and Structures

2016 | journal-article

Profile detection through source code static analysis

OpenAccess Series in Informatics

2016 | conference-paper

A perspective on architectural re-engineering

Science of Computer Programming

2015 | journal-article

An AST-based tool, spector, for plagiarism detection: The approach, functionality, and implementation

Communications in Computer and Information Science

2015 | book

Animation and Automatic Evaluation in Supporting the teaching of Programming

2015 10th Iberian Conference on Information Systems and Technologies (Cisti)

2015 | book-chapter

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 10th Iberian Conference on Information Systems and Technologies, CISTI 2015

2015 | conference-paper

Assessing attribute grammars’ quality: Metrics and a tool

Communications in Computer and Information Science

2015 | book

Automatic generation of CVs from online social networks

Communications in Computer and Information Science

2015 | book

From source code identifiers to natural language terms

Journal of Systems and Software

2015 | journal-article

Impact of GCC optimization levels in energy consumption during C/C plus plus program execution

2015 IEEE 13th International Scientific Conference on Informatics

2015 | journal-article

Storing archival emigration documents to create virtual exhibition rooms

Advances in Intelligent Systems and Computing

2015 | book

WSDLUD: A metric to measure The understanding degree of WSDL descriptions

Communications in Computer and Information Science

2015 | book

An effective way to teach language processing courses

Innovative Teaching Strategies and New Learning Paradigms in Computer Programming

2014 | book

Attribute grammars made easier: EvDebugger A visual debugger for attribute grammars

2014 International Symposium on Computers in Education (SIIE)

2014 | journal-article

Attribute grammars made easier: EvDebugger a visual debugger for attribute grammars

2014 International Symposium on Computers in Education, SIIE 2014

2014 | conference-paper

CONCLAVE: Ontology-Driven Measurement of Semantic Relatedness between Source Code Elements and Problem Domain Concepts

Computational Science and Its Applications, Part Vi - Iccsa 2014

2014 | book-chapter

Comment-based concept location over system dependency graphs

OpenAccess Series in Informatics

2014 | conference-paper

Conclave: Ontology-driven measurement of semantic relatedness between source code elements and problem domain concepts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2014 | book

Conclave: Writing programs to understand programs

OpenAccess Series in Informatics

2014 | conference-paper

Converting ontologies into DSLs

OpenAccess Series in Informatics

2014 | conference-paper

Partial correctness and continuous integration in computer supported education

CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education

2014 | conference-paper

Plagiarism detection: A tool survey and comparison

OpenAccess Series in Informatics

2014 | conference-paper

Unfuzzying fuzzy parsing

OpenAccess Series in Informatics

2014 | conference-paper

2nd International workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013)

Proceedings - International Conference on Software Engineering

2013 | conference-paper

4th Workshop on Advances in Programming Languages

2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013

2013 | conference-paper

A flexible dynamic system for automatic grading of programming exercises

OpenAccess Series in Informatics

2013 | conference-paper

Choosing grammars to support Language Processing courses

OpenAccess Series in Informatics

2013 | conference-paper

Interactive verification of safety-critical software

Proceedings - International Computer Software and Applications Conference

2013 | conference-paper

NESSy: A new evaluator for software development tools

OpenAccess Series in Informatics

2013 | conference-paper

SIP: A simple tool for inspecting and evaluating WSDL specifications

Proceedings of the 2013 10th International Conference on Information Technology: New Generations, ITNG 2013

2013 | conference-paper

A Comment Analysis approach for Program Comprehension

Proceedings of the 2012 Ieee 35th Software Engineering Workshop (Sew 2012)

2012 | journal-article

Assertion-based slicing and slice graphs

Formal Aspects of Computing

2012 | journal-article

Guess XQ: A query-by-example approach for XML querying

Innovations in XML Applications and Metadata Management: Advancing Technologies

2012 | book

Program analysis and evaluation using QUIMERA

ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems

2012 | conference-paper

The role of best practices to Appraise open source software

Electronic Communications of the EASST

2012 | journal-article

Using semantics in XML information access: Application to the portuguese emigration museum

Innovations in XML Applications and Metadata Management: Advancing Technologies

2012 | book

Welcome to the First International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering (RAISE 2012)

2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings

2012 | conference-paper

A DSL for PIM Specifications: Design and Attribute Grammar based Implementation

Computer Science and Information Systems

2011 | journal-article

Domain-Specific Language for Coordination Patterns

Computer Science and Information Systems

2011 | journal-article

GammaPolarSlicer

Computer Science and Information Systems

2011 | journal-article

Visualizing and Analyzing the Quality of XML Documents

Journal of Universal Computer Science

2011 | journal-article

Visualizing and analyzing the quality of XML documents

Journal of Universal Computer Science

2011 | journal-article

An attribute grammar specification of IIS*case PIM concepts

CEUR Workshop Proceedings

2010 | conference-paper

Assertion-based slicing and slice graphs

Proceedings - Software Engineering and Formal Methods, SEFM 2010

2010 | conference-paper

Comparing General-Purpose and Domain-Specific Languages: An Empirical Study

Computer Science and Information Systems

2010 | journal-article

Contract-Based Slicing

Leveraging Applications of Formal Methods, Verification, and Validation, Pt I

2010 | journal-article

Contract-based slicing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2010 | book

Exploring, visualizing and slicing the soul of XML documents

Proceedings of the ACM Symposium on Applied Computing

2010 | conference-paper

GamaSlicer: An online laboratory for program verification and analysis

Proceedings of the 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010

2010 | conference-paper

ICPC 2010 welcome message

IEEE International Conference on Program Comprehension

2010 | conference-paper

Safe integration of annotated components in open source projects

Electronic Communications of the EASST

2010 | journal-article

VisualLISA: A Visual Environment to Develop Attribute Grammars

Computer Science and Information Systems

2010 | journal-article

A METHODOLOGY TO QUERY DATABASES NCBI

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

A QUERY BY EXAMPLE APPROACH FOR XML QUERYING

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

A methodology for consultations with the NCBI databanks,Uma metodologia para consultas aos bancos de dados do NCBI

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

A query by example approach for XML querying

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

Applying program comprehension techniques to Karel robot programs

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

Assessing databases in .NET: Comparing approaches

ICEIS 2009 - 11th International Conference on Enterprise Information Systems, Proceedings

2009 | conference-paper

Influence of domain-specific notation to program Understanding

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

SMARTCLEAN: A TOOL FOR CLEANING INCREMENTAL DATA

Sistemas E Technologias De Informacao: Actas Da 4a Conferencia Iberica De Sistemas E Tecnologias De La Informacao

2009 | journal-article

SmartClean: An Incremental Data Cleaning Tool

2009 Ninth International Conference on Quality Software (Qsic 2009)

2009 | journal-article

SmartClean: An incremental data cleaning tool,Smartclean: Uma ferramenta para a limpeza incremental de dados

Actas da 4a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2009

2009 | conference-paper

Topic maps constraint languages: understanding and comparing

International Journal of Reasoning-based Intelligent Systems

2009 | journal-article

VisualLISA: Visual programming environment for attribute grammars specification

Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT '09

2009 | conference-paper

Visualization of Domain-Specific Programs' Behavior

2009 5th Ieee International Workshop on Visualizing Software For Understanding and Analysis

2009 | journal-article

A framework to specify, extract and manage Topic Maps driven by ontology

Sigdoc'08: Proceedings of the 26th Acm International Conference on Design of Communication

2008 | journal-article

A framework to specify, extract and manage topic maps driven by ontology

SIGDOC 2008 - Proceedings of the 26th ACM International Conference on Design of Communication

2008 | conference-paper

ALMA versus DDD

Computer Science and Information Systems

2008 | journal-article

ALMA versus DDD

Computer Science and Information Systems

2008 | journal-article

Comparing Topic Maps Constraint specification languages

Scaling Topic Maps

2008 | journal-article

Comparing topic maps constraint specification languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008 | book

Development of Topic Maps directed by Ontologies for context-sensitive computation

Actas De La Iii Conferencia Iberica De Sistemas Y Tecnologias De La Informacion, Vol 1

2008 | journal-article

Geração de topic maps dirigidos por ontologias para a computação sensível ao contexto

Iberian Conference on Information Systems and Technologies, CISTI

2008 | conference-paper

How to interconnect operational and behavioral views of web applications

Proceedings of the 16th Ieee International Conference on Program Comprehension

2008 | journal-article

ITERATIVE XML SEARCH BASED ON DATA AND ASSOCIATED SEMANTICS

Iceis 2008: Proceedings of the Tenth International Conference on Enterprise Information Systems, Vol Disi

2008 | journal-article

Integration of the ST Language in a Model-Based Engineering Environment for Control Systems - An Approach for Compiler Implementation

Computer Science and Information Systems

2008 | journal-article

Integration of the ST language in a model-based engineering environment for control systems - An approach for compiler implementation

Computer Science and Information Systems

2008 | journal-article

Iterative XML search based on data and associated semantics

ICEIS 2008 - Proceedings of the 10th International Conference on Enterprise Information Systems

2008 | conference-paper

Making concept maps available on the web to the students

Computers and Education: Towards Educational Change and Innovation

2008 | conference-paper

Making concept maps available on the web to the students

Computers and Education: Towards Educational Change and Innovation

2008 | journal-article

Program Comprehension for Domain-Specific Languages

Computer Science and Information Systems

2008 | journal-article

Program comprehension for domain-specific languages

Computer Science and Information Systems

2008 | journal-article

Topic maps applied to PubMed

Proceedings of Extreme Markup Languages 2007 Conference

2007 | conference-paper

Using data together with metadata to improve XML information access

Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings

2007 | conference-paper

Using data together with metadata to improve XML information access

WEBIST 2007: Proceedings of the Third International Conference on Web Information Systems and Technologies, Vol IT

2007 | journal-article

A formal definition of selection operations that extend XQuery with interactive query construction

WEBIST 2006: Proceedings of the Second International Conference on Web Information Systems and Technologies

2006 | journal-article

A formal definition of selection operations that extend xquery with interactive query construction

WEBIST 2006 - 2nd International Conference on Web Information Systems and Technologies, Proceedings

2006 | conference-paper

An ontology-based approach for data cleaning

Proceedings of the 2006 International Conference on Information Quality, ICIQ 2006

2006 | conference-paper

AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars

Electronic Notes in Theoretical Computer Science

2006 | journal-article

Specifying languages using aspect-oriented approach: Aspect LISA

Journal of Computing and Information Technology

2006 | journal-article

A development approach to industrial robots programming

Proceedings of the 11th International Conference on Advanced Robotics 2003, Vol 1-3

2003 | journal-article

Grammatical approach to problem solving

Iti 2003: Proceedings of the 25th International Conference on Information Technology Interfaces

2003 | journal-article

Interactive information retrieval from XML documents represented by attribute grammars

Proceedings of the 2003 ACM Symposium on Document Engineering

2003 | conference-paper

Ontology driven websites metamorphosis: a framework to specify and manage ontology driven websites

From Information To Knowledge

2003 | journal-article

Visualization/animation of programs in Alma: Obtaining different results

Proceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

2003 | conference-paper

Visualization/animation of programs in Alma: obtaining different results

200s Ieee Symposium on Human Centric Computing Languages and Environments

2003 | journal-article

Automatic generation of language-based tools

Electronic Notes in Theoretical Computer Science

2002 | journal-article

Bidirectional Conversion between XML Documents and Relational Data Bases

Proceedings of the International Conference on Computer Supported Cooperative Work in Design

2002 | conference-paper

Bidirectional conversion between XML documents and relational data bases

Proceedings of the Seventh International Conference on Cscw in Design

2002 | journal-article

Data reduction to improve knowledge extraction

Enterprise Information Systems Iii

2002 | journal-article

Data reduction to improve knowledge extraction

ICEIS 2001 - Proceedings of the 3rd International Conference on Enterprise Information Systems

2001 | conference-paper

Visualization/animation of programs based on abstract representations and formal mappings

Ieee Symposia on Human-Centric Computing Languages and Environments, Proceedings

2001 | journal-article

A case based reasoning framework to extract knowledge from data

Management Information Systems

2000 | book

An intelligent system to study demographic evolution

Data Mining and Knowledge Discovery: Theory, Tools, and Technology

1999 | book-chapter

Intelligent system to study demographic evolution

Proceedings of SPIE - The International Society for Optical Engineering

1999 | conference-paper

A framework and patterns for the specification of reactive systems

Information and Software Technology

1998 | journal-article

Algebraic specification of documents

Theoretical Computer Science

1998 | journal-article

Extracting knowledge patterns from ticket data

Discovery Science

1998 | book-chapter

Extracting knowledge patterns from ticket data

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1998 | book

Knowledge discovery with retail basket analysis

Proceedings of the International Conference on Data Mining

1998 | conference-paper

Knowledge discovery with retail basket analysis

Data Mining

1998 | journal-article

Quality in electronic publication: How to control it?,Qualidade na Publicação Electrónica: como controlá-la?

CEUR Workshop Proceedings

1998 | conference-paper

Concurrent attribute evaluation

Computing Systems in Engineering

1995 | journal-article

HEURISTIC PARSING AND SEARCH SPACE PRUNING

Epia 91

1991 | book-chapter

Heuristic parsing and search space pruning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1991 | book

A SEMANTIC EVALUATOR GENERATING-SYSTEM IN PROLOG

Lecture Notes in Computer Science

1989 | journal-article

A semantic evaluator generating system in prolog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1989 | book