Isabel Nunes

30 papers A* 1B 4C 6Misc 1Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Can't you answer while you wait?
Ann. Math. Artif. Intell.
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2025 — conf
Stakeholder Virtual: Uma Ferramenta Baseada na IA Generativa para Apoiar Elicitação de Requisitos.
WER
Tiago Brito, Márcia Lucena, Isabel Nunes
2024 J jnl
Hypothetical Answers to Continuous Queries Over Data Streams.
ACM Trans. Comput. Log.
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2022 — conf
Can You Answer While You Wait?
FoIKS
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2022 C conf
Reconciling Communication Delays and Negation.
ICTAC
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2020 A* conf
Hypothetical Answers to Continuous Queries over Data Streams.
AAAI
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
2019 J jnl
Hypothetical answers to continuous queries over data streams.
CoRR
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2018 J jnl
Active integrity constraints for general-purpose knowledge bases.
Ann. Math. Artif. Intell.
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2017 J jnl
From description-logic programs to multi-context systems.
J. Log. Algebraic Methods Program.
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2016 J jnl
Active Integrity Constraints for Multi-Context Systems.
CoRR
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016 B conf
Active Integrity Constraints for Multi-context Systems.
EKAW
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes, Peter Schneider-Kamp
2016 — conf
Integrity Constraints for General-Purpose Knowledge Bases.
FoIKS
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2016 J jnl
Integrity Constraints for General-Purpose Knowledge Bases.
CoRR
Luís Cruz-Filipe, Isabel Nunes, Peter Schneider-Kamp
2015 C conf
Active Integrity Constraints: From Theory to Implementation.
IC3K
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015 J jnl
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints.
CoRR
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2015 — conf
repAIrC: A Tool for Ensuring Data Consistency.
KMIS
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp
2014 B conf
Information Flow within Relational Multi-context Systems.
EKAW
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2013 — conf
A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications.
ICST Workshops
Isabel Nunes, Filipe Luís
2013 Misc conf
Computing Repairs from Active Integrity Constraints.
TASE
Luís Cruz-Filipe, Graça Gaspar, Patrícia Engrácia, Isabel Nunes
2013 B conf
Description Logics, Rules and Multi-context Systems.
LPAR
Luís Cruz-Filipe, Rita Henriques, Isabel Nunes
2013 C conf
Design Patterns for Description-Logic Programs.
IC3K
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
2013 C conf
Patterns for Interfacing between Logic Programs and Multiple Ontologies.
KEOD
Luís Cruz-Filipe, Isabel Nunes, Graça Gaspar
2013 — conf
Testing Java implementations of algebraic specifications
MBT
Isabel Nunes, Filipe Luís
2009 B conf
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.
RV
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos
2006 C conf
Checking the Conformance of Java Classes Against Algebraic Specifications.
ICFEM
Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis
2004 J jnl
Method redefinition--ensuring alternative behaviors.
Inf. Process. Lett.
Isabel Nunes
2003 — conf
An OCL Extension for Low-Coupling Preserving Contracts.
UML
Isabel Nunes
2003 — conf
Polymorphism in Object-Oriented Contract Verification.
Software Engineering Research and Practice
Isabel Nunes
2002 J jnl
Design by Contract Using Meta-Assertions.
J. Object Technol.
Isabel Nunes
1997 C conf
Coordination Durative Actions.
COORDINATION
Isabel Nunes, José Luiz Fiadeiro, Wladyslaw M. Turski