Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
1
TITLE: Can You Answer While You Wait?
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2022, SOURCE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
AUTHORS: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLISHED: 2022, SOURCE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Reconciling Communication Delays and Negation
AUTHORS: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
AUTHORS: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13572 LNCS
INDEXED IN: Scopus
Scopus3
TITLE: Lhermitte-Duclos disease associated to Cowden syndrome: De novo diagnosis and management of these extremely rare syndromes in a patient
AUTHORS: Gama, I; Almeida, L;
PUBLISHED: 2017, SOURCE: BMJ Case Reports, VOLUME: 2017
AUTHORS: Gama, I; Almeida, L;
PUBLISHED: 2017, SOURCE: BMJ Case Reports, VOLUME: 2017
INDEXED IN: Scopus
Scopus4
TITLE: Two extremes of the clinical spectrum of conjunctival squamous cell carcinoma presenting in the same patient
AUTHORS: Gama, I; Almeida, L; Fialho, H; Crujo, C;
PUBLISHED: 2017, SOURCE: BMJ Case Reports, VOLUME: 2017
AUTHORS: Gama, I; Almeida, L; Fialho, H; Crujo, C;
PUBLISHED: 2017, SOURCE: BMJ Case Reports, VOLUME: 2017
INDEXED IN: Scopus
Scopus5
TITLE: From description-logic programs to multi-context systems
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
INDEXED IN: WOS
WOS6
TITLE: Integrity Constraints for General-Purpose Knowledge Bases
AUTHORS: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
AUTHORS: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
INDEXED IN: Scopus WOS
Scopus WOS7
TITLE: Integrity Constraints for General-Purpose Knowledge Bases
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTHORS: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLISHED: 2016, SOURCE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXED IN: 
CrossRef
CrossRef8
TITLE: Active Integrity Constraints for Multi-context Systems
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
AUTHORS: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLISHED: 2016, SOURCE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
INDEXED IN: Scopus WOS
Scopus WOS9
TITLE: Chronic Ocular Graft vs Host Disease as a Serious Complication of Allogeneic Hematopoietic Stem Cell Transplantation: Case Report Full Text
AUTHORS: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLISHED: 2015, SOURCE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, ISSUE: 4
AUTHORS: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLISHED: 2015, SOURCE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, ISSUE: 4
10
TITLE: A 5-step hunt for faults in Java implementations of algebraic specifications
AUTHORS: Isabel Nunes; Filipe Luis;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013)
AUTHORS: Isabel Nunes; Filipe Luis;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013)
