Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
1
TÃTULO: Can You Answer While You Wait?
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
AUTORES: Cruz Filipe, Luis; Gaspar, Graca; Nunes, Isabel;
PUBLICAÇÃO: 2022, FONTE: 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2022), VOLUME: 13388 LNCS
INDEXADO EM: 
Scopus 
WOS
Scopus WOS2
TÃTULO: Reconciling Communication Delays and Negation
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Cruz Filipe, L; Gaspar, G; Nunes, I;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus
Scopus3
TÃTULO: Lhermitte-Duclos disease associated to Cowden syndrome: De novo diagnosis and management of these extremely rare syndromes in a patient
AUTORES: Gama, I; Almeida, L;
PUBLICAÇÃO: 2017, FONTE: BMJ Case Reports, VOLUME: 2017
AUTORES: Gama, I; Almeida, L;
PUBLICAÇÃO: 2017, FONTE: BMJ Case Reports, VOLUME: 2017
INDEXADO EM: Scopus
Scopus4
TÃTULO: Two extremes of the clinical spectrum of conjunctival squamous cell carcinoma presenting in the same patient
AUTORES: Gama, I; Almeida, L; Fialho, H; Crujo, C;
PUBLICAÇÃO: 2017, FONTE: BMJ Case Reports, VOLUME: 2017
AUTORES: Gama, I; Almeida, L; Fialho, H; Crujo, C;
PUBLICAÇÃO: 2017, FONTE: BMJ Case Reports, VOLUME: 2017
INDEXADO EM: Scopus
Scopus5
TÃTULO: From description-logic programs to multi-context systems
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 88
INDEXADO EM: WOS
WOS6
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
AUTORES: Luis Cruz Filipe; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS) in FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS (FOIKS 2016), VOLUME: 9616
INDEXADO EM: Scopus WOS
Scopus WOS7
TÃTULO: Integrity Constraints for General-Purpose Knowledge Bases
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
AUTORES: Luís Cruz-Filipe; Isabel Nunes; Peter Schneider-Kamp;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science - Foundations of Information and Knowledge Systems
INDEXADO EM: 
CrossRef
CrossRef8
TÃTULO: Active Integrity Constraints for Multi-context Systems
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
AUTORES: Luis Cruz Filipe; Graca Gaspar; Isabel Nunes; Peter Schneider Kamp;
PUBLICAÇÃO: 2016, FONTE: 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW) in KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2016, VOLUME: 10024
INDEXADO EM: Scopus WOS
Scopus WOS9
TÃTULO: Chronic Ocular Graft vs Host Disease as a Serious Complication of Allogeneic Hematopoietic Stem Cell Transplantation: Case Report Full Text
AUTORES: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLICAÇÃO: 2015, FONTE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, NÚMERO: 4
AUTORES: Gama, I; Rodrigues, W; Franco, J; Almeida, L; Monteiro Grillo, M;
PUBLICAÇÃO: 2015, FONTE: TRANSPLANTATION PROCEEDINGS, VOLUME: 47, NÚMERO: 4
10
TÃTULO: A 5-step hunt for faults in Java implementations of algebraic specifications
AUTORES: Isabel Nunes; Filipe Luis;
PUBLICAÇÃO: 2013, FONTE: 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)
AUTORES: Isabel Nunes; Filipe Luis;
PUBLICAÇÃO: 2013, FONTE: 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)
