Isabel Nunes

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 11

Top Topics

Integrity Constraints

Inclusion Dependencies

Top Venues

Publications

Ana Martins, Isabel Nunes, Luís Velez Lapão, Ana Londral
Designing a Digital Personal Coach to Promote a Healthy Diet and Physical Activity Among Patients After Cardiothoracic Surgery. HEALTHINF (2023)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Reconciling Communication Delays and Negation. ICTAC (2022)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Can You Answer While You Wait? FoIKS (2022)
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
Hypothetical Answers to Continuous Queries over Data Streams. AAAI (2020)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Hypothetical answers to continuous queries over data streams. CoRR (2019)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active integrity constraints for general-purpose knowledge bases. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
From description-logic programs to multi-context systems. J. Log. Algebraic Methods Program. 88 (2017)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-Context Systems. CoRR (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. CoRR (2016)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints for Multi-context Systems. EKAW (2016)
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
Integrity Constraints for General-Purpose Knowledge Bases. FoIKS (2016)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints. CoRR (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
repAIrC: A Tool for Ensuring Data Consistency. KMIS (2015)
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
Active Integrity Constraints: From Theory to Implementation. IC3K (2015)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Information Flow within Relational Multi-context Systems. EKAW (2014)
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Design Patterns for Description-Logic Programs. IC3K (2013)
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
Patterns for Interfacing between Logic Programs and Multiple Ontologies. KEOD (2013)
Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
Description Logics, Rules and Multi-context Systems. LPAR (2013)
Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes
Computing Repairs from Active Integrity Constraints. TASE (2013)
Isabel Nunes, Filipe Luís
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. ICST Workshops (2013)
Isabel Nunes, Filipe Luís
Testing Java implementations of algebraic specifications MBT (2013)
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. RV (2009)
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
Checking the Conformance of Java Classes Against Algebraic Specifications. ICFEM (2006)
Isabel Nunes
Method redefinition--ensuring alternative behaviors. Inf. Process. Lett. 92 (6) (2004)
Isabel Nunes
Polymorphism in Object-Oriented Contract Verification. Software Engineering Research and Practice (2003)
Isabel Nunes
An OCL Extension for Low-Coupling Preserving Contracts. UML (2003)
Isabel Nunes
Design by Contract Using Meta-Assertions. J. Object Technol. 1 (3) (2002)