Coordination Durative Actions. - Isabel Nunes; José Luiz Fiadeiro; Wladyslaw M. Turski (COORDINATION, 1997)

Design by Contract Using Meta-Assertions. - Isabel Nunes (J. Object Technol., 2002)

Polymorphism in Object-Oriented Contract Verification. - Isabel Nunes (Software Engineering Research and Practice, 2003)

An OCL Extension for Low-Coupling Preserving Contracts. - Isabel Nunes (UML, 2003)

Method redefinition–ensuring alternative behaviors. - Isabel Nunes (Inf. Process. Lett., 2004)

Checking the Conformance of Java Classes Against Algebraic Specifications. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos; João Abreu; Luís S. Reis (ICFEM, 2006)

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. - Isabel Nunes; Antónia Lopes; Vasco Thudichum Vasconcelos (RV, 2009)

Design Patterns for Description-Logic Programs. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (IC3K, 2013)

Patterns for Interfacing between Logic Programs and Multiple Ontologies. - Luís Cruz-Filipe; Isabel Nunes; Graça Gaspar (KEOD, 2013)

A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. - Isabel Nunes; Filipe Luís (ICST Workshops, 2013)

Description Logics, Rules and Multi-context Systems. - Luís Cruz-Filipe; Rita Henriques; Isabel Nunes (LPAR, 2013)

Computing Repairs from Active Integrity Constraints. - Luís Cruz-Filipe; Graça Gaspar; Patrícia Engrácia; Isabel Nunes (TASE, 2013)

Testing Java implementations of algebraic specifications - Isabel Nunes; Filipe Luís (MBT, 2013)

Information Flow within Relational Multi-context Systems. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (EKAW, 2014)

repAIrC: A Tool for Ensuring Data Consistency. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (KMIS, 2015)

Active Integrity Constraints: From Theory to Implementation. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (IC3K, 2015)

repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. - Luís Cruz-Filipe; Michael Franz; Artavazd Hakhverdyan; Marta Ludovico; Isabel Nunes; Peter Schneider-Kamp (CoRR, 2015)

Active Integrity Constraints for Multi-context Systems. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes; Peter Schneider-Kamp (EKAW, 2016)

Integrity Constraints for General-Purpose Knowledge Bases. - Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp (FoIKS, 2016)

From description-logic programs to multi-context systems. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (J. Log. Algebraic Methods Program., 2017)

Active integrity constraints for general-purpose knowledge bases. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes; Peter Schneider-Kamp (Ann. Math. Artif. Intell., 2018)

Can You Answer While You Wait? - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (FoIKS, 2022)

Reconciling Communication Delays and Negation. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (ICTAC, 2022)

Hypothetical Answers to Continuous Queries Over Data Streams. - Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes (ACM Trans. Comput. Log., 2024)

Stakeholder Virtual: Uma Ferramenta Baseada na IA Generativa para Apoiar Elicitação de Requisitos. - Tiago Brito; Márcia Lucena; Isabel Nunes (WER, 2025)