Maria Isabel Batalha Reis Gama Nunes
AuthID: R-000-BPK
11
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
12
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)
13
TITLE: Method redefinition - ensuring alternative behaviors Full Text
AUTHORS: Nunes, I;
PUBLISHED: 2004, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 92, ISSUE: 6
AUTHORS: Nunes, I;
PUBLISHED: 2004, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 92, ISSUE: 6
14
TITLE: Polymorphism in object-oriented contract verification
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: International Conference on Software Engineering Research and Practice in SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, VOLUME: 2
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: International Conference on Software Engineering Research and Practice in SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, VOLUME: 2
INDEXED IN: 
Scopus 
WOS
Scopus WOS15
TITLE: An OCL extension for low-coupling preserving contracts
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
AUTHORS: Nunes, I;
PUBLISHED: 2003, SOURCE: 6th International Conference on the Unified Modeling Language in UML 2003 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: MODELING LANGUAGES AND APPLICATIONS, VOLUME: 2863
INDEXED IN: WOS
WOS