Isabel Nunes

ACM Trans. Comput. Log., 2024

2022

Reconciling Communication Delays and Negation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

Can You Answer While You Wait?

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2022

2018

Active integrity constraints for general-purpose knowledge bases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2018

2017

From description-logic programs to multi-context systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

2016

Integrity Constraints for General-Purpose Knowledge Bases.

[BibT_eX]

[DOI]

Peter Schneider-Kamp

Proceedings of the Foundations of Information and Knowledge Systems, 2016

Active Integrity Constraints for Multi-context Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

2015

repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints.

[BibT_eX]

[DOI]

CoRR, 2015

Active Integrity Constraints: From Theory to Implementation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2015

repAIrC: A Tool for Ensuring Data Consistency.

[BibT_eX]

[DOI]

Proceedings of the KMIS 2015, 2015

2014

Information Flow within Relational Multi-context Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2014

2013

Testing Java implementations of algebraic specifications

[BibT_eX]

[DOI]

Filipe Luís

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

Computing Repairs from Active Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

Description Logics, Rules and Multi-context Systems.

[BibT_eX]

[DOI]

Rita Henriques

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications.

[BibT_eX]

[DOI]

Filipe Luís

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Patterns for Interfacing between Logic Programs and Multiple Ontologies.

[BibT_eX]

[DOI]

Proceedings of the KEOD 2013, 2013

Design Patterns for Description-Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2013

2009

Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Antónia Lopes

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2006

Checking the Conformance of Java Classes Against Algebraic Specifications.

[BibT_eX]

[DOI]

Vasco Thudichum Vasconcelos

Antónia Lopes

João Abreu

Luís S. Reis

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Method redefinition--ensuring alternative behaviors.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

2003

An OCL Extension for Low-Coupling Preserving Contracts.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

Polymorphism in Object-Oriented Contract Verification.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice, 2003

2002

Design by Contract Using Meta-Assertions.

[BibT_eX]

[DOI]

J. Object Technol., 2002

1997

Coordination Durative Actions.

[BibT_eX]

[DOI]