Pedro Rangel Henriques

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)

Rachel Harrison, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira, Shih-Hsi Liu, Tim Menzies, Marjan Mernik, Daniel Rodríguez: Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012). ACM SIGSOFT Software Engineering Notes 37(5): 34-35 (2012)

Daniela Fonte, Ismael Vilas Boas, Daniela Carneiro da Cruz, Alda Lopes Gançarski, Pedro Rangel Henriques: Program Analysis and Evaluation using Quimera. ICEIS (2) 2012: 209-219

Mariano Luzza, Mario Marcelo Beron, Pedro Rangel Henriques: PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL. SLATE 2012: 71-89

Maria João Varanda Pereira, Mario Marcelo Beron, Daniela Carneiro da Cruz, Nuno Oliveira, Pedro Rangel Henriques: Problem Domain Oriented Approach for Program Comprehension. SLATE 2012: 91-105

Nuno Oliveira, Maria João Varanda Pereira, Alda Lopes Gançarski, Pedro Rangel Henriques: Learning Spaces for Knowledge Generation. SLATE 2012: 175-184

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Automatic Test Generation for Space. SLATE 2012: 185-203

Nuno Ramos Carvalho, José João Almeida, Maria João Varanda Pereira, Pedro Rangel Henriques: Probabilistic SynSet Based Concept Location. SLATE 2012: 239-253

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: Modeling Languages: metrics and assessing tools. CoRR abs/1206.4477 (2012)

Ulisses Araújo Costa, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Automatic Test Generation for Space. CoRR abs/1206.5104 (2012)

Nuno Oliveira, Nuno F. Rodrigues, Pedro Rangel Henriques: Domain-specific language for coordination patterns. Comput. Sci. Inf. Syst. 8(2): 343-359 (2011)

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: A DSL for PIM specifications: Design and attribute grammar based implementation. Comput. Sci. Inf. Syst. 8(2): 379-403 (2011)

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)

Miguel Regedor, Daniela Carneiro da Cruz, Pedro Rangel Henriques: The Role of Best Practices to Appraise Open Source Software. ECEASST 48 (2011)

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Visualizing and Analyzing the Quality of XML Documents. J. UCS 17(1): 126-150 (2011)

Tomaz Kosar, Nuno Oliveira, Marjan Mernik, Maria João Varanda Pereira, Matej Crepinsek, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Comparing general-purpose and domain-specific languages: An empirical study. Comput. Sci. Inf. Syst. 7(2): 247-264 (2010)

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Bastian Cramer: VisualLISA: A visual environment to develop attribute grammars. Comput. Sci. Inf. Syst. 7(2): 265-289 (2010)

Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Safe Integration of Annotated Components in Open Source Projects. ECEASST 33 (2010)

Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques: An Attribute Grammar Specification of IIS*Case PIM Concepts. ADBIS (Local Proceedings) 2010: 110-124

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Exploring, visualizing and slicing the soul of XML documents. SAC 2010: 40-46

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102

Daniela Carneiro da Cruz, Pedro Rangel Henriques: Assessing Databases in .NET - Comparing Approaches. ICEIS (1) 2009: 278-282

Tomaz Kosar, Marjan Mernik, Matej Crepinsek, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Nuno Oliveira: Influence of domain-specific notation to program understanding. IMCSIT 2009: 675-682

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: VisualLISA: Visual programming environment for attribute grammars specification. IMCSIT 2009: 691-698

Nuno Oliveira, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira, Marjan Mernik, Tomaz Kosar, Matej Crepinsek: Applying program comprehension techniques to karel robot programs. IMCSIT 2009: 699-706

Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques: SmartClean: An Incremental Data Cleaning Tool. QSIC 2009: 452-457

Nuno Oliveira, Maria João Varanda Pereira, Pedro Rangel Henriques, Daniela Carneiro da Cruz: Visualization of domain-specific programs' behavior. VISSOFT 2009: 37-40

Maria João Varanda Pereira, Marjan Mernik, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Program comprehension for domain-specific languages. Comput. Sci. Inf. Syst. 5(2): 1-17 (2008)

Elisabete Ferreira, Rogério Paulo, Daniela Carneiro da Cruz, Pedro Rangel Henriques: Integration of the ST language in a model-based engineering environment for control systems: An approach for compiler implementation. Comput. Sci. Inf. Syst. 5(2): 87-101 (2008)

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: ALMA versus DDD. Comput. Sci. Inf. Syst. 5(2): 119-136 (2008)

Alda Lopes Gançarski, Pedro Rangel Henriques, Flávio Xavier Ferreira: Iterative XML Search Based on Data and Associated Semantics. ICEIS (1) 2008: 479-484

Ruben Filipe Cardoso da Fonseca, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: How to Interconnect Operational and Behavioral Views of Web Applications. ICPC 2008: 263-267

Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques: A framework to specify, extract and manage topic maps driven by ontology. SIGDOC 2008: 155-162

Daniela Carneiro da Cruz, Pedro Rangel Henriques, Maria João Varanda Pereira: Constructing program animations using a pattern-based approach. Comput. Sci. Inf. Syst. 4(2): 99-116 (2007)

Giovani Rubert Librelotto, Renato Preigschadt de Azevedo, José Carlos Ramalho, Pedro Rangel Henriques: Comparing Topic Maps Constraint Specification Languages. TMRA 2007: 86-97

Alda Lopes Gançarski, Pedro Rangel Henriques: Using Data Together with Metadata to Improve XML Information Access. WEBIST (1) 2007: 328-332

Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Daniela Carneiro da Cruz, Maria João Varanda Pereira: Specifying Languages Using Aspect-oriented Approach: AspectLISA. CIT 14(4): 343-350 (2006)

Damijan Rebernak, Marjan Mernik, Pedro Rangel Henriques, Maria João Varanda Pereira: AspectLISA: An Aspect-oriented Compiler Construction System Based on Attribute Grammars. Electr. Notes Theor. Comput. Sci. 164(2): 37-53 (2006)

Paulo Oliveira, Maria de Fatima Rodrigues, Pedro Rangel Henriques: An Ontology-Based Approach for Data Cleaning. ICIQ 2006: 307-320

Alda Lopes Gançarski, Pedro Rangel Henriques: A Formal Definition of Selection Operations that Extend Xquery with Interactive Query Construction. WEBIST (1) 2006: 148-155

Alda Lopes Gançarski, Pedro Rangel Henriques: IXQuery: Interactive and Information Retrieval Xquery. ELPUB 2005

José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques: Constraining Topic Maps: A TMCL declarative implementation. Extreme Markup Languages® 2005

Gustavo V. Arnold, Pedro Rangel Henriques, Jaime C. Fonseca: A graphical interface based on grafcet for programming industrial robots off-line. ICINCO 2005: 113-118

Paulo Oliveira, Fátima Rodrigues, Pedro Rangel Henriques: A Formal Definition of Data Quality Problems. IQ 2005

José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques: Metamorphosis - A Topic Maps Based Environment to Handle Heterogeneous Information Resources. TMRA 2005: 14-25

Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques: TM-Builder: An Ontology Builder based on XML Topic Maps. CLEI Electron. J. 7(2) (2004)

Alda Lopes Gançarski, Pedro Rangel Henriques: Presenting the results of relevance-oriented search over XML documents. ACM Symposium on Document Engineering 2004: 31-33

José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques: ADRIAN: E-Learning Content Production (Creating Online Exams). ELPUB 2004

Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques: XCSL: XML Constraint Specification Language. CLEI Electron. J. 6(1) (2003)

Alda Lopes Gançarski, Pedro Rangel Henriques: Interactive information retrieval from XML documents represented by attribute grammars. ACM Symposium on Document Engineering 2003: 171-174

Alda Lopes Gançarski, Pedro Rangel Henriques: IXDIRQL: An Interactive XML Data and Information Retrieval Query Language. ELPUB 2003

José Carlos Ramalho, Giovani Rubert Librelotto, Pedro Rangel Henriques: Ontology Driven Websites/Metamorphosis: A Framework to Specify and Manage Ontology Driven Websites. ELPUB 2003

Paulo Jorge Matos, Pedro Rangel Henriques: Dolphin-Few - An Architecture for Compilers Development, Monitoring and Use on the Web. iiWAS 2003

Maria João Varanda Pereira, Pedro Rangel Henriques: Visualization/animation of programs in Alma: obtaining different results. HCC 2003: 260-262

Pedro Rangel Henriques, Maria João Varanda Pereira, Marjan Mernik, Mitja Lenic, Enis Avdicausevic, Viljem Zumer: Automatic Generation of Language-based Tools. Electr. Notes Theor. Comput. Sci. 65(3): 77-96 (2002)

Marta Jacinto, Giovani Rubert Librelotto, José Carlos Ramalho, Pedro Rangel Henriques: Bidirecional Conversion betwenn XML Documents and Relational Data Bases. CSCWD 2002: 437-443

Maria de Fatima Rodrigues, Pedro Rangel Henriques: Data Reduction to Improve Knowledge Extraction. ICEIS (1) 2001: 445-451

Maria João Varanda Pereira, Pedro Rangel Henriques: Visualization/Animation of Programs based on Abstract Representations and Formal Mappings. HCC 2001: 373-

Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques: How to Make KDD Process More Accessible to Users. ICEIS 2000: 209-216

José Carlos Ramalho, José João Almeida, Jorge Gustavo Rocha, Pedro Rangel Henriques: SGML Documents: Where Does Quality Go? Markup Languages 1(1): 75-90 (1999)

Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques: An Intelligent Retail Analysis System. ICEIS 1999: 140-147

S. Doaitse Swierstra, Pedro Rangel Henriques, José Nuno Oliveira (Eds.): Advanced Functional Programming, Third International School, Braga, Portugal, September 12-19, 1998, Revised Lectures. Lecture Notes in Computer Science 1608, Springer 1999, isbn 3-540-66241-3

Leonor Barroca, Pedro Rangel Henriques: A framework and patterns for the specification of reactive systems. Information & Software Technology 40(3): 135-142 (1998)

José Carlos Ramalho, José João Almeida, Pedro Rangel Henriques: Algebraic Specification of Documents. Theor. Comput. Sci. 199(1-2): 231-247 (1998)

Maria de Fatima Rodrigues, Carlos Ramos, Pedro Rangel Henriques: Extracting Knowledge Patterns from Ticket Data. Discovery Science 1998: 435-436

José António Mendes, Pedro Rangel Henriques: Heuristic Parsing and Search Space Pruning. EPIA 1991: 76-91

Pedro Rangel Henriques: A Semantic Evaluator Generating System in Prolog. PLILP 1988: 201-218