Algoritmi | User | Pedro Manuel Rangel Santos Henriques
Pedro Manuel Rangel Santos Henriques
Pedro Manuel Rangel Santos Henriques
At Algoritmi
Senior 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.ptOrcid
0000-0002-3208-0207Researcher ID
M-5587-2013Ciência ID
4E1C-45A8-BB33Google Scholar
h-index
13Publications
200Editorial
7Citations
1000Q1 / Q2
0About Me 
Pedro Rangel Henriques got in 1977 a degree in "Electrotechnical/Electronics Engineering", at FEUP (Porto University), and finished in 1993 a Ph.D. thesis in "Formal Languages and Attribute Grammars" at University of Minho, concluding his Habilitation in Informatics (Computer Science) in 2012. In 1981 he joined the Computer Science Department of University of Minho (Departamento de Informática), where he is a teacher/researcher. Since 1995 he is the coordinator of the "Language Processing group". He teaches many different courses in the broader area of programming: Programming Languages and Paradigms; Compilers, Grammar Engineering and Software Analysis and Transformation; etc. Precisely in the same directions he develops his research activities. At present Pedro Rangel Henriques is member of ALGORITMI´s “CST - Computer Science and Technology” research line. ALGORITMI Research Center is one of the largest national centers recognized by Foundation for Science and Technology (FCT) in the area of ICT&E. Pedro Rangel Henriques has supervised Ph.D. (20, 17 successfully concluded), and M.Sc. (>95) thesis, and more than 50 graduating trainingships/projects, in the areas of: language processing (textual and visual), and structured document processing; code analysis, program visualization/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 worked 5 times as Proceedings Editor, published 25 chapters in books, and more than 45 journal papers, more than 120 international conference papers, and has been enrolled in more than 30 R&D projects. Recent international (bilateral) cooperation projects: NoviBraga Data-Mining based evaluation of IT teaching pratices in Portugal and Serbia; bilateral Serbia-Portugal joint-research project supported by FCT (Departamento das Relações Europeias, Bilaterais e Multilaterais); 2018-2019. S3IR: Reforço da segurança dos sistemas de software através de métodos, técnicas e ferramentas de engenharia reversa; bilateral Argentina-Portugal joint-research project supported by FCT (Departamento das Relações Europeias, Bilaterais e Multilaterais); 2018-2019. CetrO+Spec Construction, Exploration and Transformation of Learning Object Repositories in Specialized Domains (Creación, Exploración y Transformación de Repositorios de Objetos Educativos en Dominios Especializados); Spanish Research Project (funded by Ministry of Education, proc. TIN2017-88092-R) – team leader: Professor José Luis Sierra Rodríguez, Universidad Complutense de Madrid; collaborator; 2018-2020. RedR+Human: Repositories for Education with Dynamic Reconfigurability in the Humanities; Spanish Research Project (funded by Ministry of Education) – team leader: Professor José Luis Sierra Rodríguez, Universidad Complutense de Madrid; collaborator; 2015-2017. QUIXOTE: Desenvolvimento de modelos do domínio do problema para inter-relacionar as vistas operacional e comportamental em sistemas de software; bilateral Argentina-Portugal joint-research project supported by FCT (Departamento das Relações Europeias, Bilaterais e Multilaterais); team leader; 2010-2011. AsCoP: Assessing Comprehension of Domain Specific Programs; bilateral Slovenia-Portugal joint-research project supported by FCT (Departamento das Relações Europeias, Bilaterais e Multilaterais); team leader; 2010-2011. HERMES Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais; bilateral Brasil-Portugal joint-research project supported by Programa CAPES-FCT2009 (Departamento das Relações Europeias, Bilaterais e Multilaterais); 2010-2012. Program Committe member of around 100 conferences and journals; Program Chair of 13 international conferences, the more recent of them are: ICPEC'2021: 2nd International Computer Programming Education Conference, june 2021. SLATE'2018: 7th International Symposium on Languages, Applications and Technology, Guimarães/Portugal, June 2018. WAPL'2017: 6.th Workshop on Advances in Programming Languages, Prague, Czech Republic, September, 2017. RAISE'2012: Co-chair of 1st Int. Workshop on Realizing AI Synergies in Software Engineering, Zurich, Switzerland, June 2012. ICPC'2010: General-Chair of 18th IEEE Int. Conference on Program Comprehension; Braga, July 2010.
Publications (208)
Biofeedback-Based Method for Real-Time Fatigue Monitoring of Knee
International Journal of Online and Biomedical Engineering (iJOE)
2024 | journal-article
AR-BASED LEARNING RESOURCE: A DIFFERENT WAY TO LEARN DATA-STRUCTURES
Proceedings of the International Conferences on e-Society 2023, ES 2023 and Mobile Learning 2023, ML 2023
2023 | conference-paper
AR-Based Resources to Train Computational Thinking Skills
Smart Innovation, Systems and Technologies
2023 | conference-paper
Characterization and Identification of Programming Languages
OpenAccess Series in Informatics
2023 | conference-paper
Improving conformance checking in process modelling: a multiperspective algorithm
Journal of Supercomputing
2023 | journal-article
LCSMAR, an AR Based Tool to Inspect Imperative Programs
OpenAccess Series in Informatics
2023 | conference-paper
NLP/AI Based Techniques for Programming Exercises Generation
OpenAccess Series in Informatics
2023 | conference-paper
PathIt: Computational Thinking Training for Visually Impaired Individuals
2023 | book-chapter
Type Annotation for SAST
OpenAccess Series in Informatics
2023 | conference-paper
Validating Structural Cognitive Training Using Immersive Virtual Reality
2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023
2023 | conference-paper
A Framework to Assess Melodic Effectiveness in Training Computational Thinking to Visually Impaired People
2022 International Symposium on Computers in Education (SIIE)
2022 | conference-paper
Motion Sensors for Knee Angle Recognition in Muscle Rehabilitation Solutions
Sensors
2022 | journal-article
A tribute to José Manuel Valença
Journal of Logical and Algebraic Methods in Programming
2022 | journal-article
Approaches to manage and understand student engagement in programming
Open Education Studies
2022 | journal-article
DESIGN AND IMPLEMENTATION OF A CHATBOT AS A TOOL TO ASSIST A HELPDESK TEAM
International Conference on Applied Computing 2022 and WWW/Internet 2022
2022 | conference-paper
Determining Programming Languages Complexity and Its Impact on Processing
OpenAccess Series in Informatics
2022 | conference-paper
EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses
OpenAccess Series in Informatics
2022 | conference-paper
OMT, a Web-Based Tool for Ontology Matching
OpenAccess Series in Informatics
2022 | conference-paper
Relating Biometric Sensors with Serious Games Results
Lecture Notes in Networks and Systems
2022 | conference-paper
System Architecture for Home Muscle Rehabilitation Treatment
Lecture Notes in Networks and Systems
2022 | conference-paper
The Visual Programming Environment ROBI for Educational Robotics
OpenAccess Series in Informatics
2022 | conference-paper
Uncertainty Identification in Context-Aware Systems Using Public Datasets
Lecture Notes in Networks and Systems
2022 | conference-paper
Value-Focused Investigation into Programming Languages Affinity
OpenAccess Series in Informatics
2022 | conference-paper
myHealth: a Mobile App for Home Muscle Rehabilitation
SeGAH 2022 - 2022 IEEE 10th International Conference on Serious Games and Applications for Health
2022 | conference-paper
A sentiment analysis approach to improve authorship identification
Expert Systems
2021 | conference-paper
Approaches to Classify Knee Osteoarthritis Using Biomechanical Data
2021 | book-chapter
Identifying depression clues using emotions and AI
ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence
2021 | conference-paper
Integrating a graph builder into python tutor
OpenAccess Series in Informatics
2021 | conference-paper
Lyntax - A grammar-based tool for linguistics
OpenAccess Series in Informatics
2021 | conference-paper
Melodic - Teaching computational thinking to visually impaired kids
OpenAccess Series in Informatics
2021 | conference-paper
Multi-perspective Conformance Checking Applied to BPMN-E2
Advances in Intelligent Systems and Computing
2021 | conference-paper
NetAC, An Automatic Classifier of Online Hate Speech Comments
Advances in Intelligent Systems and Computing
2021 | conference-paper
NetLangEd, a web editor to support online comment annotation
OpenAccess Series in Informatics
2021 | conference-paper
Programmers' affinity to languages
OpenAccess Series in Informatics
2021 | conference-paper
SHREWS: A game with augmented reality for training computational thinking
OpenAccess Series in Informatics
2021 | conference-paper
Understanding effects of the algorithm visualized with AR techniques
OpenAccess Series in Informatics
2021 | conference-paper
Using machine learning for vulnerability detection and classification
OpenAccess Series in Informatics
2021 | conference-paper
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 | conference-paper
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 | 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 | conference-paper
DSL Based Automatic Generation of Q&A Systems
Advances in Intelligent Systems and Computing
2019 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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
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 | conference-paper
Architectural approaches to build the museum of the person
Iberian Conference on Information Systems and Technologies, CISTI
2016 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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-chapter
Attribute grammars made easier: EvDebugger a visual debugger for attribute grammars
2014 International Symposium on Computers in Education, SIIE 2014
2014 | conference-paper
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 | conference-paper
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
Automatic Test Generation for Space
OpenAccess Series in Informatics
2012 | conference-paper
Guess XQ: A query-by-example approach for XML querying
Innovations in XML Applications and Metadata Management: Advancing Technologies
2012 | book
Learning Spaces for Knowledge Generation
OpenAccess Series in Informatics
2012 | conference-paper
PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL
OpenAccess Series in Informatics
2012 | conference-paper
Probabilistic SynSet Based Concept Location
OpenAccess Series in Informatics
2012 | conference-paper
Problem Domain Oriented Approach for Program Comprehension
OpenAccess Series in Informatics
2012 | conference-paper
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 | conference-paper
Using semantics in XML information access: Application to the portuguese emigration museum
Innovations in XML Applications and Metadata Management: Advancing Technologies
2012 | book-chapter
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
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | 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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
Fundings (22)
NetLang - The Language of Cyberbullying: Forms and Mechanisms of Online Prejudice and Discrimination in Annotated Comparable Corpora of Portuguese and English
Associação para a Inovação e Desenvolvimento da FCT
2019- to 2021- | PTDC/LLT-LIN/29304/2017
CetrO+Spec: Construction, Exploration and Transformation of Learning Object Repositories in Specialized Domains
N/A
2018- to 2020- | TIN2017-88092-R
NoviBraga: Data-Mining based evaluation of IT teaching pratices in Portugal and Serbia
N/A
2018- to 2019- | PTSR2017-nnnn
S3IR: Reforço da segurança dos sistemas de software através de métodos, técnicas e ferramentas de engenharia reversa
N/A
2018- to 2019- | BJRP2017xxx
RedR+Human: Repositories for Education with Dynamic Reconfigurability in the Humanities
N/A
2015- to 2017- | TIN2014-nnnn-R
CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software
N/A
2010- to 2012- | PTDC/EIA-CCO/108995/2008
QUIXOTE: Desenvolvimento de modelos do domínio do problema para inter-relacionar as vistas operacional e comportamental em sistemas de software
N/A
2010- to 2011- | PTAR2009-nnnn
AsCoP: Assessing Comprehension of Domain Specific Programs
N/A
2010- to 2011- | PTSI2009-nnnn
HERMES: Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais
N/A
2010- to 2012- | PTBR2009-nnnn
Matisse: MathIS - Reinvigorating Mathematics for the Information Society
N/A
2009- to 2011- | PPTDC/EIA/73252/2006
DSLpc: Program Comprehension for Domain Specific Languages
N/A
2008- to 2009- | PTSI-nnnnnn
Program Comprehension by Visual Inspection and Animation (PCVIA)
N/A
2005-07 to 2007- | info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/57662/PT
Voda: Grammar-based Systems
N/A
2004- to 2006- | PTSI-mmmm
Fasti Ecclesiae Portugaliae, estudo prosopográfico do Clero Catedralício Português na Idade Média
N/A
2003- to 2006- | FCT-xxxx
AGiL: Automatic Generation of Language-based Tools
N/A
2001- to 2003- | PTSI-kkkkkk
MetaMedia2: Metadata for the Preservation and Retrieval of Multimedia Components
N/A
2000- to 2002- | FCT-yyyy
MetaMedia1: Metadata for Multimedia Archives
N/A
1999- to 2000- | FCT-zzzz
Informatização Normalizada de Arquivos: Reconstituição de Paróquias e História das Populações (Fases 1 e 2)
N/A
1999- to 2004- | FCT-wwww
SARA: Visual Programming: Definition, Applications, Environments
N/A
1996- to 1998- | PBIC/TIT/2481/95
David: Algebraic Specification of Documents
N/A
1996- to 1998- | PBIC/TIT/2479/95
SIGON.2: Sistema de Informação para a Gestão da Operação Norte 2
N/A
2007- to 2008- | CCRN.xxxx
GreenSSCM: Green Software for Space Control Mission -- optimization of energy consumption via software
Agência Nacional de Inovação SA
2013- to 2015- | AdI-vvvvv
History
| Init | End | Change | Value |
|---|
Biofeedback-Based Method for Real-Time Fatigue Monitoring of Knee
International Journal of Online and Biomedical Engineering (iJOE)
2024 | journal-article
AR-BASED LEARNING RESOURCE: A DIFFERENT WAY TO LEARN DATA-STRUCTURES
Proceedings of the International Conferences on e-Society 2023, ES 2023 and Mobile Learning 2023, ML 2023
2023 | conference-paper
AR-Based Resources to Train Computational Thinking Skills
Smart Innovation, Systems and Technologies
2023 | conference-paper
Characterization and Identification of Programming Languages
OpenAccess Series in Informatics
2023 | conference-paper
Improving conformance checking in process modelling: a multiperspective algorithm
Journal of Supercomputing
2023 | journal-article
LCSMAR, an AR Based Tool to Inspect Imperative Programs
OpenAccess Series in Informatics
2023 | conference-paper
NLP/AI Based Techniques for Programming Exercises Generation
OpenAccess Series in Informatics
2023 | conference-paper
PathIt: Computational Thinking Training for Visually Impaired Individuals
2023 | book-chapter
Type Annotation for SAST
OpenAccess Series in Informatics
2023 | conference-paper
Validating Structural Cognitive Training Using Immersive Virtual Reality
2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023
2023 | conference-paper
A Framework to Assess Melodic Effectiveness in Training Computational Thinking to Visually Impaired People
2022 International Symposium on Computers in Education (SIIE)
2022 | conference-paper
Motion Sensors for Knee Angle Recognition in Muscle Rehabilitation Solutions
Sensors
2022 | journal-article
A tribute to José Manuel Valença
Journal of Logical and Algebraic Methods in Programming
2022 | journal-article
Approaches to manage and understand student engagement in programming
Open Education Studies
2022 | journal-article
DESIGN AND IMPLEMENTATION OF A CHATBOT AS A TOOL TO ASSIST A HELPDESK TEAM
International Conference on Applied Computing 2022 and WWW/Internet 2022
2022 | conference-paper
Determining Programming Languages Complexity and Its Impact on Processing
OpenAccess Series in Informatics
2022 | conference-paper
EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses
OpenAccess Series in Informatics
2022 | conference-paper
OMT, a Web-Based Tool for Ontology Matching
OpenAccess Series in Informatics
2022 | conference-paper
Relating Biometric Sensors with Serious Games Results
Lecture Notes in Networks and Systems
2022 | conference-paper
System Architecture for Home Muscle Rehabilitation Treatment
Lecture Notes in Networks and Systems
2022 | conference-paper
The Visual Programming Environment ROBI for Educational Robotics
OpenAccess Series in Informatics
2022 | conference-paper
Uncertainty Identification in Context-Aware Systems Using Public Datasets
Lecture Notes in Networks and Systems
2022 | conference-paper
Value-Focused Investigation into Programming Languages Affinity
OpenAccess Series in Informatics
2022 | conference-paper
myHealth: a Mobile App for Home Muscle Rehabilitation
SeGAH 2022 - 2022 IEEE 10th International Conference on Serious Games and Applications for Health
2022 | conference-paper
A sentiment analysis approach to improve authorship identification
Expert Systems
2021 | conference-paper
Approaches to Classify Knee Osteoarthritis Using Biomechanical Data
2021 | book-chapter
Identifying depression clues using emotions and AI
ICAART 2021 - Proceedings of the 13th International Conference on Agents and Artificial Intelligence
2021 | conference-paper
Integrating a graph builder into python tutor
OpenAccess Series in Informatics
2021 | conference-paper
Lyntax - A grammar-based tool for linguistics
OpenAccess Series in Informatics
2021 | conference-paper
Melodic - Teaching computational thinking to visually impaired kids
OpenAccess Series in Informatics
2021 | conference-paper
Multi-perspective Conformance Checking Applied to BPMN-E2
Advances in Intelligent Systems and Computing
2021 | conference-paper
NetAC, An Automatic Classifier of Online Hate Speech Comments
Advances in Intelligent Systems and Computing
2021 | conference-paper
NetLangEd, a web editor to support online comment annotation
OpenAccess Series in Informatics
2021 | conference-paper
Programmers' affinity to languages
OpenAccess Series in Informatics
2021 | conference-paper
SHREWS: A game with augmented reality for training computational thinking
OpenAccess Series in Informatics
2021 | conference-paper
Understanding effects of the algorithm visualized with AR techniques
OpenAccess Series in Informatics
2021 | conference-paper
Using machine learning for vulnerability detection and classification
OpenAccess Series in Informatics
2021 | conference-paper
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 | conference-paper
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 | 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 | conference-paper
DSL Based Automatic Generation of Q&A Systems
Advances in Intelligent Systems and Computing
2019 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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
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 | conference-paper
Architectural approaches to build the museum of the person
Iberian Conference on Information Systems and Technologies, CISTI
2016 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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-chapter
Attribute grammars made easier: EvDebugger a visual debugger for attribute grammars
2014 International Symposium on Computers in Education, SIIE 2014
2014 | conference-paper
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 | conference-paper
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
Automatic Test Generation for Space
OpenAccess Series in Informatics
2012 | conference-paper
Guess XQ: A query-by-example approach for XML querying
Innovations in XML Applications and Metadata Management: Advancing Technologies
2012 | book
Learning Spaces for Knowledge Generation
OpenAccess Series in Informatics
2012 | conference-paper
PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL
OpenAccess Series in Informatics
2012 | conference-paper
Probabilistic SynSet Based Concept Location
OpenAccess Series in Informatics
2012 | conference-paper
Problem Domain Oriented Approach for Program Comprehension
OpenAccess Series in Informatics
2012 | conference-paper
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 | conference-paper
Using semantics in XML information access: Application to the portuguese emigration museum
Innovations in XML Applications and Metadata Management: Advancing Technologies
2012 | book-chapter
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
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | 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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
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 | conference-paper
NetLang - The Language of Cyberbullying: Forms and Mechanisms of Online Prejudice and Discrimination in Annotated Comparable Corpora of Portuguese and English
Associação para a Inovação e Desenvolvimento da FCT
2019- to 2021- | PTDC/LLT-LIN/29304/2017
CetrO+Spec: Construction, Exploration and Transformation of Learning Object Repositories in Specialized Domains
N/A
2018- to 2020- | TIN2017-88092-R
NoviBraga: Data-Mining based evaluation of IT teaching pratices in Portugal and Serbia
N/A
2018- to 2019- | PTSR2017-nnnn
S3IR: Reforço da segurança dos sistemas de software através de métodos, técnicas e ferramentas de engenharia reversa
N/A
2018- to 2019- | BJRP2017xxx
RedR+Human: Repositories for Education with Dynamic Reconfigurability in the Humanities
N/A
2015- to 2017- | TIN2014-nnnn-R
CROSS: An Infrastructure for Certification and Re-engineering of Open Source Software
N/A
2010- to 2012- | PTDC/EIA-CCO/108995/2008
QUIXOTE: Desenvolvimento de modelos do domínio do problema para inter-relacionar as vistas operacional e comportamental em sistemas de software
N/A
2010- to 2011- | PTAR2009-nnnn
AsCoP: Assessing Comprehension of Domain Specific Programs
N/A
2010- to 2011- | PTSI2009-nnnn
HERMES: Aprendizagem e Povoamento de Ontologias a partir de Fontes Textuais
N/A
2010- to 2012- | PTBR2009-nnnn
Matisse: MathIS - Reinvigorating Mathematics for the Information Society
N/A
2009- to 2011- | PPTDC/EIA/73252/2006
DSLpc: Program Comprehension for Domain Specific Languages
N/A
2008- to 2009- | PTSI-nnnnnn
Program Comprehension by Visual Inspection and Animation (PCVIA)
N/A
2005-07 to 2007- | info:eu-repo/grantAgreement/FCT/Orçamento de Funcionamento/POSC/57662/PT
Voda: Grammar-based Systems
N/A
2004- to 2006- | PTSI-mmmm
Fasti Ecclesiae Portugaliae, estudo prosopográfico do Clero Catedralício Português na Idade Média
N/A
2003- to 2006- | FCT-xxxx
AGiL: Automatic Generation of Language-based Tools
N/A
2001- to 2003- | PTSI-kkkkkk
MetaMedia2: Metadata for the Preservation and Retrieval of Multimedia Components
N/A
2000- to 2002- | FCT-yyyy
MetaMedia1: Metadata for Multimedia Archives
N/A
1999- to 2000- | FCT-zzzz
Informatização Normalizada de Arquivos: Reconstituição de Paróquias e História das Populações (Fases 1 e 2)
N/A
1999- to 2004- | FCT-wwww
SARA: Visual Programming: Definition, Applications, Environments
N/A
1996- to 1998- | PBIC/TIT/2481/95
David: Algebraic Specification of Documents
N/A
1996- to 1998- | PBIC/TIT/2479/95
SIGON.2: Sistema de Informação para a Gestão da Operação Norte 2
N/A
2007- to 2008- | CCRN.xxxx
GreenSSCM: Green Software for Space Control Mission -- optimization of energy consumption via software
Agência Nacional de Inovação SA
2013- to 2015- | AdI-vvvvv
| Start | End | Term | Value | |
|---|---|---|---|---|
