| 2022 | ICTAC | Reconciling Communication Delays and Negation. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2020 | AAAI | Hypothetical Answers to Continuous Queries over Data Streams. | Lus Cruz-Filipe, Isabel Nunes, Graa Gaspar |
| 2016 | EKAW | Active Integrity Constraints for Multi-context Systems. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | repAIrC: A Tool for Ensuring Data Consistency. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2015 | IC3K | Active Integrity Constraints: From Theory to Implementation. | Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp |
| 2014 | EKAW | Information Flow within Relational Multi-context Systems. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2013 | IC3K | Design Patterns for Description-Logic Programs. | Lus Cruz-Filipe, Graa Gaspar, Isabel Nunes |
| 2013 | IC3K | Patterns for Interfacing between Logic Programs and Multiple Ontologies. | Lus Cruz-Filipe, Isabel Nunes, Graa Gaspar |
| 2013 | ICST | A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. | Isabel Nunes, Filipe Lus |
| 2013 | LPAR | Description Logics, Rules and Multi-context Systems. | Lus Cruz-Filipe, Rita Henriques, Isabel Nunes |
| 2013 | TASE | Computing Repairs from Active Integrity Constraints. | Lus Cruz-Filipe, Graa Gaspar, Patrcia Engrcia, Isabel Nunes |
| 2009 | RV | Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos |
| 2006 | ICFEM | Checking the Conformance of Java Classes Against Algebraic Specifications. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis |
| 1997 | Coordination | Coordination Durative Actions. | Isabel Nunes, Jos Luiz Fiadeiro, Wladyslaw M. Turski |