Specifying Languages Using Aspect-oriented Approach: AspectLISA. - Damijan Rebernak; Marjan Mernik; Pedro Rangel Henriques; Daniela Carneiro da Cruz; Maria João Varanda Pereira (J. Comput. Inf. Technol., 2006)

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

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

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

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

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

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

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

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

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

Visualization of domain-specific programs' behavior. - Nuno Oliveira 001; Maria João Varanda Pereira; Pedro Rangel Henriques; Daniela Carneiro da Cruz (VISSOFT, 2009)

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

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

Contract-Based Slicing Helps on Safety Reuse. - Sergio Areias; Daniela Carneiro da Cruz; Jorge Sousa Pinto (ICPC, 2010)

SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains. - Mario Marcelo Berón; Maria João Varanda Pereira; Nuno Oliveira 001; Daniela Carneiro da Cruz (ICPC, 2010)

Influence of Synchronized Domain Visualizations on Program Comprehension. - Nuno Oliveira 001; Maria João Varanda Pereira; Daniela Carneiro da Cruz; Mario Marcelo Berón (ICPC, 2010)

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

Exploring, visualizing and slicing the soul of XML documents. - Daniela Carneiro da Cruz; Pedro Rangel Henriques (SAC, 2010)

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

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

Safe Integration of Annotated Components in Open Source Projects. - Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

GammaPolarSlicer. - Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Comput. Sci. Inf. Syst., 2011)

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

The Role of Best Practices to Appraise Open Source Software. - Miguel Regedor; Daniela Carneiro da Cruz; Pedro Rangel Henriques (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Visualizing and Analyzing the Quality of XML Documents. - Daniela Carneiro da Cruz; Pedro Rangel Henriques (J. Univers. Comput. Sci., 2011)

Verification, slicing, and visualization of programs with contracts - Daniela Carneiro da Cruz (2011)

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

Verification conditions for single-assignment programs. - Daniela Carneiro da Cruz; Maria João Frade; Jorge Sousa Pinto (SAC, 2012)

A Comment Analysis Approach for Program Comprehension. - Jose Luis Freitas; Daniela Carneiro da Cruz; Pedro Rangel Henriques (SEW, 2012)

Automatic Test Generation for Space. - Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques (SLATE, 2012)

Problem Domain Oriented Approach for Program Comprehension. - Maria João Varanda Pereira; Mario Marcelo Berón; Daniela Carneiro da Cruz; Nuno Oliveira 001; Pedro Rangel Henriques (SLATE, 2012)

Modeling Languages: metrics and assessing tools - Daniela Fonte; Ismael Vilas Boas; José Azevedo; José João Peixoto; Pedro Faria; Pedro Silva 003; Tiago Sá; Ulisses Araújo Costa; Daniela Carneiro da Cruz; Pedro Rangel Henriques (CoRR, 2012)

Assertion-based slicing and slice graphs. - José Bernardo Barros; Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (Formal Aspects Comput., 2012)

Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 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 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Interactive Verification of Safety-Critical Software. - Daniela Carneiro da Cruz; Pedro Rangel Henriques; Jorge Sousa Pinto (COMPSAC, 2013)

2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013). - Rachel Harrison; Sol J. Greenspan; Tim Menzies; Marjan Mernik; Pedro Rangel Henriques; Daniela Carneiro da Cruz; Daniel Rodríguez 001 (ICSE, 2013)

A Flexible Dynamic System for Automatic Grading of Programming Exercises. - Daniela Fonte; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques (SLATE, 2013)

Choosing Grammars to Support Language Processing Courses. - Maria João Varanda Pereira; Nuno Oliveira 001; Daniela Carneiro da Cruz; Pedro Rangel Henriques (SLATE, 2013)

Partial Correctness and Continuous Integration in Computer Supported Education. - Daniela Fonte; Ismael Vilas Boas; Nuno Oliveira 001; Daniela Carneiro da Cruz; Alda Lopes Gançarski; Pedro Rangel Henriques (CSEDU (2), 2014)

Plagiarism Detection: A Tool Survey and Comparison. - Vítor T. Martins; Daniela Fonte; Pedro Rangel Henriques; Daniela Carneiro da Cruz (SLATE, 2014)

Assessing Attribute Grammars' Quality: Metrics and a Tool. - João Cruz; Pedro Rangel Henriques; Daniela Carneiro da Cruz (SLATE, 2015)

An AST-based Tool, Spector, for Plagiarism Detection: The Approach, Functionality, and Implementation. - Vítor T. Martins; Pedro Rangel Henriques; Daniela Carneiro da Cruz (SLATE, 2015)

Determining Programming Languages Complexity and Its Impact on Processing. - Gonçalo Rodrigues Pinto; Pedro Rangel Henriques; Daniela Carneiro da Cruz; João Cruz (SLATE, 2022)