Pedro Rangel Henriques

200 papers A* 1A 1B 9C 7Misc 6Journal 41Unranked 131

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Bridging Language Barriers: A Comparative Review and Empirical Evaluation of Source-To-Source Transpilers. SLATE André Freitas, Tiago João Baptista, Pedro Rangel Henriques
2025	—	`conf`	CVTool: Automating Content Variants of CVs. SLATE Julio Beites Gonçalves, Maria João Varanda Pereira, Pedro Rangel Henriques
2025	J	`jnl`	Goliath and the Cognitive Load Theory. J. Comput. Lang. Tiago Carvalho Freitas, Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2025	—	`conf`	Mining GitHub Software Repositories to Look for Programming Language Cocktails. SLATE João Loureiro, Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2025	—	`conf`	Stepwise Source, a Supporting Tool for Source Code Demonstration. SLATE João Santos, Alvaro Costa Neto, Pedro Rangel Henriques
2025	J	`jnl`	Towards General Urban Monitoring with Vision-Language Models: A Review, Evaluation, and a Research Agenda. CoRR André Torneiro, Diogo Monteiro, Paulo Novais, Pedro Rangel Henriques, Nuno F. Rodrigues
2025	J	`jnl`	Using Medical Algorithms for Task-Oriented Dialogue in LLM-Based Medical Interviews. CoRR Rui Reis, Pedro Rangel Henriques, João Ferreira-Coimbra, Eva Oliveira, Nuno F. Rodrigues
2025	—	`conf`	Vulnerability Detection Across Different CI/CD Platforms. SLATE Vasco Manuel Oliveira, Alberto Simões, Pedro Rangel Henriques
2024	—	`conf`	A Systematic Approach to Catalogue Learning Resources that Promote Computational Thinking. SIIE Cristiana Araújo, Pedro Rangel Henriques, João José Cerqueira
2024	C	`conf`	An Ontology to Understand Programming Cocktails. FedCSIS Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2024	—	`conf`	Application of Programming Cocktails Identity Cards to Development Complexity Analysis. BENEVOL Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2024	J	`jnl`	Biofeedback-Based Method for Real-Time Fatigue Monitoring of Knee. Int. J. Online Biomed. Eng. Tiago Franco, Pedro Rangel Henriques, Paulo Alves, Maria João Varanda Pereira, Paulo Leitão, Nelson Azevedo
2024	—	`conf`	DrumLace - A Domain Specific Language (DSL) for Drum Programming (Short Paper). SLATE André Semanas de Oliveira Araújo, José João Almeida, Pedro Rangel Henriques
2024	—	`conf`	Evaluating Constrained Users Ability to Interact with Virtual Reality Applications. SeGAH Tiago Ribeiro, Pedro Rangel Henriques, Eva Oliveira, Nuno F. Rodrigues
2024	C	`conf`	Goliath, a Programming Exercises Generator Supported by AI. FedCSIS Tiago Carvalho Freitas, Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2024	—	`conf`	OntoCnE & Neuroeducation Guidelines: An approach to developing Computational Thinking. ICETC Cristiana Araújo, Pedro Rangel Henriques, João José Cerqueira
2024	—	`conf`	Ontology Visualization Tools: A Bibliographic Review and a Proposal. SLATE Ezra Gomes Marques, Cristiana Araújo, Pedro Rangel Henriques
2024	—	`conf`	Upgrade of Lark Compiler Generator to Support Attribute Grammars. SLATE Daniel Faria, Tiago João Baptista, Pedro Rangel Henriques
2023	—	`conf`	Characterization and Identification of Programming Languages. SLATE Júlio Alves, Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2023	J	`jnl`	Improving conformance checking in process modelling: a multiperspective algorithm. J. Supercomput. Rui Calheno, Paulo Carvalho, Solange Rito Lima, Pedro Rangel Henriques, Mateo Ramos Merino
2023	—	`conf`	LCSMAR, an AR Based Tool to Inspect Imperative Programs. ICPEC Luis Carlos Martins, Lázaro Vinicius de Oliveira Lima, Pedro Rangel Henriques
2023	—	`conf`	NLP/AI Based Techniques for Programming Exercises Generation. ICPEC Tiago Carvalho Freitas, Alvaro Costa Neto, Maria João Varanda Pereira, Pedro Rangel Henriques
2023	—	`conf`	Neuroeducation: Guidelines for Computational Thinking training. SIIE Cristiana Araújo, Pedro Rangel Henriques, João José Cerqueira
2023	—	`conf`	OntoCnE, characterizing Learning Resources for training Computational Thinking. SIIE Cristiana Araújo, Pedro Rangel Henriques, João José Cerqueira
2023	Misc	`conf`	PathIt: Computational Thinking Training for Visually Impaired Individuals. MIS4TEL Angélica Soares Cunha, Cristiana Araújo, Alvaro Costa Neto, Pedro Rangel Henriques
2023	—	`conf`	Romaria De Nª Srª D'Agonia: Building a Digital Repository and a Virtual Museum. SLATE Sara Cristina Freitas Queirós, Cristiana Araújo, Pedro Rangel Henriques
2023	—	`conf`	Training Computational Thinking to Leverage Citizens of Next Generation. WorldCIST (2) Cristiana Araújo, Pedro Rangel Henriques, João José Cerqueira
2023	—	`conf`	Type Annotation for SAST. SLATE Marco Pereira, Alberto Simões, Pedro Rangel Henriques
2023	—	`conf`	Validating Structural Cognitive Training Using Immersive Virtual Reality. SeGAH Eva Oliveira, Nuno Afonso Araújo Pereira, Joana Alves, Pedro Rangel Henriques, Nuno Feixa Rodrigues
2022	J	`jnl`	A tribute to José Manuel Valença. J. Log. Algebraic Methods Program. José Nuno Oliveira, Jorge Sousa Pinto, Luís Soares Barbosa, Pedro Rangel Henriques
2022	—	`conf`	Determining Programming Languages Complexity and Its Impact on Processing. SLATE Gonçalo Rodrigues Pinto, Pedro Rangel Henriques, Daniela Carneiro da Cruz, João Cruz
2022	—	`conf`	EWVM, a Web Virtual Machine to Support Code Generation in Compiler Courses. SLATE Sofia Teixeira, José Carlos Ramalho, Pedro Rangel Henriques
2022	J	`jnl`	Motion Sensors for Knee Angle Recognition in Muscle Rehabilitation Solutions. Sensors Tiago Franco, Leonardo Sestrem, Pedro Rangel Henriques, Paulo Alves, Maria João Varanda Pereira, Diego N. Brandão, Paulo Leitão, Alfredo Silva
2022	—	`conf`	OMT, a Web-Based Tool for Ontology Matching. SLATE João Rodrigues Gomes, Alda Lopes Gançarski, Pedro Rangel Henriques
2022	—	`conf`	Relating Biometric Sensors with Serious Games Results. WorldCIST (1) Rafaela de Pinho, Maria João Varanda Pereira, Ana Paula Pinto Azevedo, Pedro Rangel Henriques
2022	—	`conf`	System Architecture for Home Muscle Rehabilitation Treatment. WorldCIST (3) Tiago Franco, Pedro Rangel Henriques, Paulo Alves, Maria João Varanda Pereira, Tiago Pedrosa, F. Silva, Paulo Leitão, L. Oliveira
2022	—	`conf`	The Visual Programming Environment ROBI for Educational Robotics. SLATE Gustavo Galvão, Alvaro Costa Neto, Cristiana Araújo, Pedro Rangel Henriques
2022	—	`conf`	Value-Focused Investigation into Programming Languages Affinity. ICPEC Alvaro Costa Neto, Cristiana Araújo, Maria João Varanda Pereira, Pedro Rangel Henriques
2022	—	`conf`	myHealth: a Mobile App for Home Muscle Rehabilitation. SeGAH Tiago Franco, Pedro Rangel Henriques, Paulo Alves, Maria João Varanda Pereira, Leonardo Sestrem, Paulo Leitão, Alfredo Silva
2021	J	`jnl`	A sentiment analysis approach to improve authorship identification. Expert Syst. J. Knowl. Eng. Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2021	—	`conf`	Approaches to Classify Knee Osteoarthritis Using Biomechanical Data. OL2A Tiago Franco, Pedro Rangel Henriques, Paulo Alves, Maria João Varanda Pereira
2021	—	`conf`	Identifying Depression Clues using Emotions and AI. ICAART (2) Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2021	—	`conf`	Integrating a Graph Builder into Python Tutor. ICPEC Diogo Soares, Maria João Varanda Pereira, Pedro Rangel Henriques
2021	—	`conf`	Lyntax - A grammar-Based Tool for Linguistics. SLATE Manuel Gouveia Carneiro de Sousa, Maria João Varanda Pereira, Pedro Rangel Henriques
2021	—	`conf`	Melodic - Teaching Computational Thinking to Visually Impaired Kids. ICPEC Rui Costa, Cristiana Araújo, Pedro Rangel Henriques
2021	—	`conf`	Multi-perspective Conformance Checking Applied to BPMN-E WorldCIST (2) Rui Calheno, Paulo Carvalho, Solange Rito Lima, Pedro Rangel Henriques, Mateo Ramos Merino
2021	—	`conf`	NetAC, An Automatic Classifier of Online Hate Speech Comments. WorldCIST (3) Constança Elias, Jorge Brandão Gonçalves, Maria Araújo, Pedro Pinheiro, Cristiana Araújo, Pedro Rangel Henriques
2021	—	`conf`	NetLangEd, A Web Editor to Support Online Comment Annotation. SLATE Rui Rodrigues, Cristiana Araújo, Pedro Rangel Henriques
2021	—	`conf`	Programmers' Affinity to Languages. ICPEC Alvaro Costa Neto, Cristiana Araújo, Maria João Varanda Pereira, Pedro Rangel Henriques
2021	—	`conf`	SHREWS: A Game with Augmented Reality for Training Computational Thinking (Short Paper). ICPEC Francisco Saraiva, Lázaro V. O. Lima, Cristiana Araújo, Luís Gonzaga Magalhães, Pedro Rangel Henriques
2021	—	`ed.`	Second International Computer Programming Education Conference, ICPEC 2021, University of Minho, Braga, Portugal, May 27-28, 2021 ICPEC Pedro Rangel Henriques, Filipe Portela, Ricardo Queirós, Alberto Simões
2021	—	`conf`	Uncertainty Identification in Context-Aware Systems Using Public Datasets. ISAmI Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais
2021	—	`conf`	Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper). ICPEC Lázaro V. O. Lima, Manuel Sousa, Luís Gonzaga Magalhães, Pedro Rangel Henriques
2021	—	`conf`	Using Machine Learning for Vulnerability Detection and Classification. SLATE Tiago João Baptista, Nuno Oliveira, Pedro Rangel Henriques
2020	—	`ed.`	9th Symposium on Languages, Applications and Technologies, SLATE 2020, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference), July 13-14, 2020 SLATE Alberto Simões, Pedro Rangel Henriques, Ricardo Queirós
2020	—	`conf`	Artefact of Augmented Reality to Support the Treatment of Specific Phobias. WorldCIST (2) Raul Vilas Boas, Lázaro V. O. Lima, Greice Zanini, Pedro Rangel Henriques
2020	—	`conf`	BhTSL, Behavior Trees Specification and Processing. SLATE Miguel Oliveira, Pedro Mimoso Silva, Pedro Moura, José João Almeida, Pedro Rangel Henriques
2020	J	`jnl`	C Tutor usage in relation to student achievement and progress: A study of introductory programming courses in Portugal and Serbia. Comput. Appl. Eng. Educ. Luís M. Alves, Dusan B. Gajic, Pedro Rangel Henriques, Vladimir Ivancevic, Vladimir Ivkovic, Maksim Lalic, Ivan Lukovic, Maria João Varanda Pereira, Srdan Popov, Paula Correia Tavares
2020	—	`conf`	Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms. SLATE Mauro C. Argañaraz, Mario Marcelo Berón, Maria João Varanda Pereira, Pedro Rangel Henriques
2020	—	`conf`	Development of Q&A Systems Using AcQA. SLATE Renato Preigschadt de Azevedo, Maria João Varanda Pereira, Pedro Rangel Henriques
2020	—	`conf`	Improving Game-Based Learning Experience Through Game Appropriation. ICPEC Salete Teixeira, Diana Barbosa, Cristiana Araújo, Pedro Rangel Henriques
2020	—	`conf`	Learning Resources with Augmented Reality. ICPEC Lázaro V. O. Lima, Cristiana Araújo, Luís Gonzaga Magalhães, Pedro Rangel Henriques
2020	—	`conf`	OntoJogo: An Ontology for Game Classification. SeGAH Salete Teixeira, Raul Vilas Boas, Francisco Oliveira, Cristiana Araújo, Pedro Rangel Henriques
2020	—	`conf`	Predicting an Election's Outcome Using Sentiment Analysis. WorldCIST (1) Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2019	—	`conf`	Attribute Grammar Applied to Human Activities Recognition in Intelligent Environments. ISAmI Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais
2019	Misc	`conf`	CAPAS: A Context-Aware System Architecture for Physical Activities Monitoring. HAIS Paulo Ferreira, Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais, Juan Pavón
2019	—	`conf`	DSL Based Automatic Generation of Q&A Systems. WorldCIST (1) Renato Preigschadt de Azevedo, Maria João Varanda Pereira, Pedro Rangel Henriques
2019	—	`conf`	Determining Emotional Profile Based on Microblogging Analysis. EPIA (2) Ricardo Martins, Pedro Rangel Henriques, Paulo Novais
2019	—	`conf`	Digital Collection Creator, Visualizer and Explorer. SLATE Luís F. Martins, Cristiana Araújo, Pedro Rangel Henriques
2019	—	`conf`	Knowledge Inference Through Analysis of Human Activities. IDEAL (1) Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais
2019	—	`conf`	Scaling up a Programmers' Profile Tool. SLATE Martinho Aragão, Maria João Varanda Pereira, Pedro Rangel Henriques
2019	—	`conf`	Urban Evolution of Fafe in the Last Two Centuries. SLATE João Filipe C. Lameiras, Mónica Guimarães, Pedro Rangel Henriques
2018	—	`ed.`	7th Symposium on Languages, Applications and Technologies, SLATE 2018, Guimaraes, Portugal, June 21-22, 2018 SLATE Pedro Rangel Henriques, José Paulo Leal, António Menezes Leitão, Xavier Gómez Guinovart
2018	—	`conf`	CaVa: An Example of the Automatic Generation of Virtual Learning Spaces. WorldCIST (1) Ricardo Giuliani Martini, Cristiana Araújo, Pedro Rangel Henriques, Maria João Varanda Pereira
2018	—	`conf`	CaVa: Virtual Learning Spaces Formal Specification (Short Paper). SLATE Ricardo Giuliani Martini, Pedro Rangel Henriques
2018	—	`conf`	Context-Awareness and Uncertainty: Current Scenario and Challenges for the Future. ISAmI Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais
2018	—	`conf`	Creating a social media-based personal emotional lexicon. WebMedia Ricardo Martins, José João Almeida, Paulo Novais, Pedro Rangel Henriques
2018	Misc	`conf`	Domain Identification Through Sentiment Analysis. DCAI Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2018	—	`conf`	Extending PythonQA with Knowledge from StackOverflow. WorldCIST (1) Renato Preigschadt de Azevedo, Pedro Rangel Henriques, Maria João Varanda Pereira
2018	—	`conf`	Hate Speech Classification in Social Media Using Emotional Analysis. BRACIS Ricardo Martins, Marco Gomes, José João Almeida, Paulo Novais, Pedro Rangel Henriques
2018	—	`conf`	Increasing Authorship Identification Through Emotional Analysis. WorldCIST (1) Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2018	—	`conf`	Online Social Networks Analysis Visualization Using Socii. WorldCIST (2) Jorge Daniel Caldas, Alda Lopes Gançarski, Pedro Rangel Henriques
2018	—	`conf`	Predicting Performance Problems Through Emotional Analysis (Short Paper). SLATE Ricardo Martins, José João Almeida, Pedro Rangel Henriques, Paulo Novais
2018	—	`conf`	Studying Programming Students Motivation using Association Rules. CSEDU (2) Paula Correia Tavares, Elsa Ferreira Gomes, Pedro Rangel Henriques
2018	—	`conf`	Uncertainty in Context-Aware Systems: A Case Study for Intelligent Environments. WorldCIST (1) Leandro Oliveira Freitas, Pedro Rangel Henriques, Paulo Novais
2017	—	`conf`	A Computer Platform to Increase Motivation in Programming Students - PEP. CSEDU (1) Paula Correia Tavares, Pedro Rangel Henriques, Elsa Ferreira Gomes
2017	—	`conf`	A QA System for learning Python. FedCSIS (Communication Papers) Marcos Ramos, Maria João Varanda Pereira, Pedro Rangel Henriques
2017	—	`conf`	Applying Attribute Grammars to Teach Linguistic Rules. SLATE Patrícia Amorim Barros, Maria João Varanda Pereira, Pedro Rangel Henriques
2017	B	`conf`	Automatic generation of virtual learning spaces driven by CaVa GPCE Ricardo Giuliani Martini, Pedro Rangel Henriques
2017	J	`jnl`	Creating virtual exhibition rooms from emigration digital archives. Univers. Access Inf. Soc. Ricardo Giuliani Martini, Mónica Guimarães, Giovani Rubert Librelotto, Pedro Rangel Henriques
2017	C	`conf`	Program analysis for Clustering Programmers' Profile. FedCSIS Daniel Ferreira Novais, Maria João Varanda Pereira, Pedro Rangel Henriques
2017	—	`conf`	Socii: A Tool to Analyze and Visualize Dynamic Social Networks. SLATE Jorge Daniel Caldas, Alda Lopes Gançarski, Pedro Rangel Henriques
2017	—	`conf`	Visualization of Ontology Evolution using OntoDiffGraph. SLATE André Lara, Pedro Rangel Henriques, Alda Lopes Gançarski
2016	—	`conf`	A Reduced CRM-Compatible Form Ontology for the Virtual Emigration Museum. WorldCIST (1) Ricardo Giuliani Martini, Cristiana Araújo, Giovani Rubert Librelotto, Pedro Rangel Henriques
2016	B	`conf`	Bridging the Gap between bdME and OntoME. WI Ricardo Giuliani Martini, Pedro Rangel Henriques
2016	—	`conf`	Computer-supported Techniques to Increase Students Engagement in Programming. CSEDU (2) Paula Correia Tavares, Pedro Rangel Henriques, Elsa Ferreira Gomes
2016	B	`conf`	Formal Description and Automatic Generation of Learning Spaces Based on Ontologies. KES Ricardo Giuliani Martini, Giovani Rubert Librelotto, Pedro Rangel Henriques
2016	J	`jnl`	Measuring the understandability of WSDL specifications, web service understanding degree approach and system. Comput. Sci. Inf. Syst. Mario Marcelo Berón, Hernán Bernardis, Enrique Alfredo Miranda, Daniel Edgardo Riesco, Maria João Varanda Pereira, Pedro Rangel Henriques
2016	—	`conf`	OntoMP, An Ontology to Build the Museum of the Person. WorldCIST (2) Ricardo Giuliani Martini, Cristiana Araújo, José João Almeida, Pedro Rangel Henriques
2016	J	`jnl`	Ontological approach for DSL development. Comput. Lang. Syst. Struct. Maria João Varanda Pereira, João M. Sousa Fonseca, Pedro Rangel Henriques
2016	—	`conf`	Profile Detection Through Source Code Static Analysis. SLATE Daniel Ferreira Novais, Maria João Varanda Pereira, Pedro Rangel Henriques
2015	J	`jnl`	A perspective on architectural re-engineering. Sci. Comput. Program. Alejandro Sanchez, Nuno Oliveira, Luís Soares Barbosa, Pedro Rangel Henriques
2015	—	`conf`	An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation. SLATE Vítor T. Martins, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2015	—	`conf`	Assessing Attribute Grammars' Quality: Metrics and a Tool. SLATE João Cruz, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2015	—	`conf`	Automatic Generation of CVs from Online Social Networks. SLATE Sergio Maia Dias, Alda Lopes Gançarski, Pedro Rangel Henriques
2015	J	`jnl`	From source code identifiers to natural language terms. J. Syst. Softw. Nuno Ramos Carvalho, José João Almeida, Pedro Rangel Henriques, Maria João Varanda Pereira
2015	—	`conf`	Storing Archival Emigration Documents to Create Virtual Exhibition Rooms. WorldCIST (1) Ricardo Giuliani Martini, Mónica Guimarães, Giovani Rubert Librelotto, Pedro Rangel Henriques
2015	—	`conf`	WSDLUD: A Metric to Measure the Understanding Degree of WSDL Descriptions. SLATE Mario Marcelo Berón, Hernán Bernardis, Enrique Alfredo Miranda, Daniel Edgardo Riesco, Maria João Varanda Pereira, Pedro Rangel Henriques
2014	—	`conf`	Comment-based Concept Location over System Dependency Graphs. SLATE Nuno Pereira, Maria João Varanda Pereira, Pedro Rangel Henriques
2014	—	`conf`	Conclave: Ontology-Driven Measurement of Semantic Relatedness between Source Code Elements and Problem Domain Concepts. ICCSA (6) Nuno Ramos Carvalho, José João Almeida, Pedro Rangel Henriques, Maria João Varanda Pereira
2014	—	`conf`	Conclave: Writing Programs to Understand Programs. SLATE Nuno Ramos Carvalho, José João Almeida, Maria João Varanda Pereira, Pedro Rangel Henriques
2014	—	`conf`	Converting Ontologies into DSLs. SLATE João M. Sousa Fonseca, Maria João Varanda Pereira, Pedro Rangel Henriques
2014	—	`conf`	Partial Correctness and Continuous Integration in Computer Supported Education. CSEDU (2) Daniela Fonte, Ismael Vilas Boas, Nuno Oliveira, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2014	—	`conf`	Plagiarism Detection: A Tool Survey and Comparison. SLATE Vítor T. Martins, Daniela Fonte, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2014	—	`conf`	Unfuzzying Fuzzy Parsing. SLATE Pedro Carvalho, Nuno Oliveira, Pedro Rangel Henriques
2013	A*	`conf`	2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). ICSE Rachel Harrison, Sol J. Greenspan, Tim Menzies, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Daniel Rodríguez
2013	—	`conf`	A Flexible Dynamic System for Automatic Grading of Programming Exercises. SLATE Daniela Fonte, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2013	—	`conf`	Choosing Grammars to Support Language Processing Courses. SLATE Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2013	B	`conf`	Interactive Verification of Safety-Critical Software. COMPSAC Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2013	—	`conf`	NESSy: a New Evaluator for Software Development Tools. SLATE Enrique Alfredo Miranda, Mario Beron, German Montejano, Maria João Varanda Pereira, Pedro Rangel Henriques
2013	—	`conf`	SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications. ITNG Mario Beron, German Montejano, Daniel Riesco, Pedro Rangel Henriques, Narayan C. Debnath
2012	C	`conf`	A Comment Analysis Approach for Program Comprehension. SEW Jose Luis Freitas, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	J	`jnl`	Assertion-based slicing and slice graphs. Formal Aspects Comput. José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2012	J	`jnl`	Automatic Test Generation for Space CoRR Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	—	`conf`	Automatic Test Generation for Space. SLATE Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	—	`conf`	Learning Spaces for Knowledge Generation. SLATE Nuno Oliveira, Maria João Varanda Pereira, Alda Lopes Gançarski, Pedro Rangel Henriques
2012	J	`jnl`	Modeling Languages: metrics and assessing tools CoRR Daniela Fonte, Ismael Vilas Boas, José Azevedo, José João Peixoto, Pedro Faria, Pedro Silva, Tiago Sá, Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2012	—	`conf`	PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL. SLATE Mariano Luzza, Mario Marcelo Berón, Pedro Rangel Henriques
2012	—	`conf`	Probabilistic SynSet Based Concept Location. SLATE Nuno Ramos Carvalho, José João Almeida, Maria João Varanda Pereira, Pedro Rangel Henriques
2012	—	`conf`	Problem Domain Oriented Approach for Program Comprehension. SLATE Maria João Varanda Pereira, Mario Marcelo Berón, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques
2012	—	`conf`	Program Analysis and Evaluation using Quimera. ICEIS (2) Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques
2012	J	`jnl`	Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012). ACM SIGSOFT Softw. Eng. Notes Rachel Harrison, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira, Shih-Hsi Liu, Tim Menzies, Marjan Mernik, Daniel Rodríguez
2011	J	`jnl`	A DSL for PIM specifications: Design and attribute grammar based implementation. Comput. Sci. Inf. Syst. Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2011	J	`jnl`	Domain-specific language for coordination patterns. Comput. Sci. Inf. Syst. Nuno Oliveira, Nuno F. Rodrigues, Pedro Rangel Henriques
2011	J	`jnl`	GammaPolarSlicer. Comput. Sci. Inf. Syst. Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2011	J	`jnl`	The Role of Best Practices to Appraise Open Source Software. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2011	J	`jnl`	Visualizing and Analyzing the Quality of XML Documents. J. Univers. Comput. Sci. Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	—	`conf`	An Attribute Grammar Specification of IIS*Case PIM Concepts. ADBIS (Local Proceedings) Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	B	`conf`	Assertion-based Slicing and Slice Graphs. SEFM José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	J	`jnl`	Comparing general-purpose and domain-specific languages: An empirical study. Comput. Sci. Inf. Syst. Tomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	—	`conf`	Contract-Based Slicing. ISoLA (1) Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	Misc	`conf`	Exploring, visualizing and slicing the soul of XML documents. SAC Daniela Carneiro da Cruz, Pedro Rangel Henriques
2010	—	`conf`	GamaSlicer: an online laboratory for program verification and analysis. LDTA Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	J	`jnl`	Safe Integration of Annotated Components in Open Source Projects. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto
2010	J	`jnl`	VisualLISA: A visual environment to develop attribute grammars. Comput. Sci. Inf. Syst. Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer
2009	—	`conf`	Applying program comprehension techniques to karel robot programs. IMCSIT Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek
2009	—	`conf`	Assessing Databases in .NET - Comparing Approaches. ICEIS (1) Daniela Carneiro da Cruz, Pedro Rangel Henriques
2009	—	`conf`	Especificação e Processamento de Ontologias para a Semantic Web. SBSI Giovani Rubert Librelotto, Pedro Rangel Henriques
2009	—	`conf`	Influence of domain-specific notation to program understanding. IMCSIT Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira
2009	—	`conf`	SmartClean: An Incremental Data Cleaning Tool. QSIC Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques
2009	J	`jnl`	Topic maps constraint languages: understanding and comparing. Int. J. Reason. based Intell. Syst. Giovani Rubert Librelotto, Renato Preigschadt de Azevedo, José Carlos Ramalho, Pedro Rangel Henriques
2009	—	`conf`	VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira
2009	B	`conf`	Visualization of domain-specific programs' behavior. VISSOFT Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz
2008	—	`conf`	A framework to specify, extract and manage topic maps driven by ontology. SIGDOC Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2008	J	`jnl`	ALMA versus DDD. Comput. Sci. Inf. Syst. Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2008	A	`conf`	How to Interconnect Operational and Behavioral Views of Web Applications. ICPC Ruben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2008	J	`jnl`	Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Comput. Sci. Inf. Syst. Elisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2008	—	`conf`	Iterative XML Search Based on Data and Associated Semantics. ICEIS (1) Alda Lopes Gançarski, Pedro Rangel Henriques, Flávio Xavier Ferreira
2008	J	`jnl`	Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques
2007	—	`conf`	Comparing Topic Maps Constraint Specification Languages. TMRA Giovani Rubert Librelotto, Renato Preigschadt de Azevedo, José Carlos Ramalho, Pedro Rangel Henriques
2007	J	`jnl`	Constructing program animations using a pattern-based approach. Comput. Sci. Inf. Syst. Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira
2007	—	`conf`	Using Data Together with Metadata to Improve XML Information Access. WEBIST (1) Alda Lopes Gançarski, Pedro Rangel Henriques
2006	—	`conf`	A Formal Definition of Selection Operations that Extend Xquery with Interactive Query Construction. WEBIST (1) Alda Lopes Gançarski, Pedro Rangel Henriques
2006	—	`conf`	An Ontology-Based Approach for Data Cleaning. ICIQ Paulo Oliveira, Maria de Fatima Rodrigues, Pedro Rangel Henriques
2006	—	`conf`	AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars. LDTA@ETAPS Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira
2006	J	`jnl`	Attribute grammar-based interactive system to retrieve information from XML documents. IEE Proc. Softw. Alda Lopes Gançarski, Anne Doucet, Pedro Rangel Henriques
2006	—	`conf`	Metamorphosis - An Environment to Achieve Semantic Interoperability with Topic Maps. SBSI Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2006	J	`jnl`	Specifying Languages Using Aspect-oriented Approach: AspectLISA. J. Comput. Inf. Technol. Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira
2005	—	`conf`	A Formal Definition of Data Quality Problems. ICIQ Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques
2005	C	`conf`	A graphical interface based on grafcet for programming industrial robots off-line. ICINCO Gustavo V. Arnold, Pedro Rangel Henriques, Jaime C. Fonseca
2005	J	`jnl`	Automatic generation of language-based tools using the LISA system. IEE Proc. Softw. Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Jeff Gray, Hui Wu
2005	—	`conf`	Constraining Topic Maps: A TMCL declarative implementation. Extreme Markup Languages® José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques
2005	—	`conf`	IXQuery: Interactive and Information Retrieval Xquery. ELPUB Alda Lopes Gançarski, Pedro Rangel Henriques
2005	—	`conf`	Metamorphosis - A Topic Maps Based Environment to Handle Heterogeneous Information Resources. TMRA José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques
2004	—	`conf`	ADRIAN: E-Learning Content Production (Creating Online Exams). ELPUB José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques
2004	B	`conf`	Presenting the results of relevance-oriented search over XML documents. ACM Symposium on Document Engineering Alda Lopes Gançarski, Pedro Rangel Henriques
2004	J	`jnl`	Software Development with Grammatical Approach. Informatica (Slovenia) Tomaz Kosar, Marjan Mernik, Viljem Zumer, Pedro Rangel Henriques, Maria João Varanda Pereira
2004	J	`jnl`	TM-Builder: An Ontology Builder based on XML Topic Maps. CLEI Electron. J. Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2003	C	`conf`	Dolphin-Few - An Architecture for Compilers Development, Monitoring and Use on the Web. iiWAS Paulo Jorge Matos, Pedro Rangel Henriques
2003	—	`conf`	IXDIRQL: An Interactive XML Data and Information Retrieval Query Language. ELPUB Alda Lopes Gançarski, Pedro Rangel Henriques
2003	B	`conf`	Interactive information retrieval from XML documents represented by attribute grammars. ACM Symposium on Document Engineering Alda Lopes Gançarski, Pedro Rangel Henriques
2003	—	`conf`	Ontology Driven Websites/Metamorphosis: A Framework to Specify and Manage Ontology Driven Websites. ELPUB José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques
2003	—	`conf`	Visualization/animation of programs in Alma: obtaining different results. HCC Maria João Varanda Pereira, Pedro Rangel Henriques
2003	J	`jnl`	XCSL: XML Constraint Specification Language. CLEI Electron. J. Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2002	—	`conf`	Automatic Generation of Language-based Tools. LDTA@ETAPS Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer
2002	C	`conf`	Bidirecional Conversion betwenn XML Documents and Relational Data Bases. CSCWD Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2002	J	`jnl`	XCSL tutorial. XRDS Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques
2001	—	`conf`	Data Reduction to Improve Knowledge Extraction. ICEIS (1) Maria de Fatima Rodrigues, Pedro Rangel Henriques
2001	—	`conf`	Visualization/Animation of Programs based on Abstract Representations and Formal Mappings. HCC Maria João Varanda Pereira, Pedro Rangel Henriques
2000	—	`conf`	How to Make KDD Process More Accessible to Users. ICEIS Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques
1999	—	`ed.`	Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira
1999	—	`conf`	An Intelligent Retail Analysis System. ICEIS Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques
1999	—	`conf`	Intelligent system to study demographic evolution. Data Mining and Knowledge Discovery: Theory, Tools, and Technology Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques
1999	J	`jnl`	SGML Documents: Where Does Quality Go? Markup Lang. José Carlos Ramalho, José João Almeida, Jorge Gustavo Rocha, Pedro Rangel Henriques
1998	J	`jnl`	A framework and patterns for the specification of reactive systems. Inf. Softw. Technol. Leonor Barroca, Pedro Rangel Henriques
1998	J	`jnl`	Algebraic Specification of Documents. Theor. Comput. Sci. José Carlos Ramalho, José João Almeida, Pedro Rangel Henriques
1998	B	`conf`	Extracting Knowledge Patterns from Ticket Data. Discovery Science Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques
1998	Misc	`conf`	Qualidade na Publicação Electrónica: como Controlá-la? QUATIC José Carlos Ramalho, Pedro Rangel Henriques
1991	Misc	`conf`	Heuristic Parsing and Search Space Pruning. EPIA José António Mendes, Pedro Rangel Henriques
1988	—	`conf`	A Semantic Evaluator Generating System in Prolog. PLILP Pedro Rangel Henriques