???global.info.a_carregar???
Maria Isabel Gama Nunes. Finished her PhD in 1998 by Lisbon University, Sciences Faculty. She is an assistant professor in Lisbon University, Sciences Faculty and a member of the Computer Science and Engineering research unit Lasige. She published 4 papers in journals. She works in the exact sciences area, namely in Computer Science. Maria Isabel Gama Nunes. Concluiu o(a) Doutoramento em Doutoramento em 1998 pelo(a) Universidade de Lisboa Faculdade de Ciências. É Professor Auxiliar no(a) Universidade de Lisboa Faculdade de Ciências e Membro no(a) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala. Publicou 4 artigos em revistas especializadas. Atua na(s) área(s) de Ciências Exatas com ênfase em Ciências da Computação e da Informação com ênfase em Ciências da Computação.
Read full resume ↓
Identification

Personal identification

Full name
Maria Isabel Gama Nunes

Citation names

  • Nunes, Isabel

Author identifiers

Ciência ID
0F1C-2F11-7717
ORCID iD
0000-0003-3966-4966

Knowledge fields

  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
French Intermediate (B1) Advanced (C1) Intermediate (B1) Intermediate (B1)
Education
Degree Classification
1998
Concluded
 Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Semântica de Programas Comportamentais" (THESIS/DISSERTATION)
 Aprovado com distinção e louvor
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
1998/06/16 - Current Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Others

Category
Host institution 		Employer
2020/09/28 - Current Membro Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
2015/01/01 - 2020/09/28 Membro Universidade de Lisboa Faculdade de Ciências, Portugal
Universidade de Lisboa Instituto de Biossistemas e Ciências Integrativas, Portugal
Outputs

Publications

Journal article
  1. Cruz-Filipe, Luís; Nunes, Isabel; Gaspar, Graça. "Hypothetical Answers to Continuous Queries over Data Streams". Proceedings of the AAAI Conference on Artificial Intelligence 34 03 (2020): 2798-2805. http://dx.doi.org/10.1609/aaai.v34i03.5668.
    10.1609/aaai.v34i03.5668
  2. Nunes, Maria. "Hypothetical answers to continuous queries over data streams". CoRR (2019): http://arxiv.org/abs/1905.09610.
  3. Nunes, Maria. "Active integrity constraints for general-purpose knowledge bases". Ann. Math. Artif. Intell. (2018): https://doi.org/10.1007/s10472-018-9577-y.
    10.1007/s10472-018-9577-y
  4. Luís Cruz-Filipe; Graça Gaspar; Isabel Nunes. "From description-logic programs to multi-context systems". Journal of Logical and Algebraic Methods in Programming, Elsevier 88 (2017): 26-44.
    10.1016/j.jlamp.2017.01.005
  5. Nunes, Isabel. "Method redefinition--ensuring alternative behaviors". Inf. Process. Lett. 92 6 (2004): 279-285. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000225512100003&KeyUID=WOS:000225512100003.
    10.1016/j.ipl.2004.09.004
  6. Nunes, Isabel. "Design by Contract Using Meta-Assertions". Journal of Object Technology 1 3 (2002): 37-56.
    10.5381/jot.2002.1.3.a3

Other

Other output
  1. Active Integrity Constraints for Multi-context Systems. 2016. Cruz-Filipe,Luis; Gaspar,Graca; Nunes,Isabel; Schneider-Kamp,Peter.
    10.1007/978-3-319-49004-5_7
  2. Integrity Constraints for General-Purpose Knowledge Bases. 2016. Cruz-Filipe,Luis; Nunes,Isabel; Schneider-Kamp,Peter.
    10.1007/978-3-319-30024-5_13
  3. Active Integrity Constraints: from Theory to Implementation. 2015. L.Cruz-Filipe; M. Franz; A. Hakhverdyan; M. Ludovico; I. Nunes; P. Schneider-Kamp.
    10.1007/978-3-319-52758-1_22
  4. repAIrC: A Tool for Ensuring Data Consistency. 2015. Cruz-Filipe, Luís; Franz, Michael; Hakhverdyan, Artavazd; Ludovico, Marta; Nunes, Isabel; Schneider-Kamp, Peter. http://dx.doi.org/10.5220/0005586400170026.
    10.5220/0005586400170026
  5. Design Patterns for Description-Logic Programs. 2015. L. Cruz-Filipe, G. Gaspar and I. Nunes.
    10.1007/978-3-662-46549-3_13
  6. Information Flow within Relational Multi-context Systems. 2014. Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000354879800008&KeyUID=WOS:000354879800008.
    10.1007/978-3-319-13704-9_8
  7. A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications. 2013. Nunes, Isabel; Luís, Filipe. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000332185600029&KeyUID=WOS:000332185600029.
    10.1109/ICSTW.2013.28
  8. Computing Repairs from Active Integrity Constraints. 2013. Cruz-Filipe, Luís; Gaspar, Graça; Engrácia, Patrícia; Nunes, Isabel. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000332185400028&KeyUID=WOS:000332185400028.
    10.1109/TASE.2013.32
  9. Description Logics, Rules and Multi-context Systems. 2013. Cruz-Filipe, Luís; Henriques, Rita; Nunes, Isabel. http://dx.doi.org/10.1007/978-3-642-45221-5_18.
    10.1007/978-3-642-45221-5_18
  10. Patterns for Interfacing between Logic Programs and Multiple Ontologies. 2013. Cruz-Filipe, Luís; Nunes, Isabel; Gaspar, Graça. http://dx.doi.org/10.5220/0004544100580069.
    10.5220/0004544100580069
  11. Testing Java implementations of algebraic specifications. 2013. Nunes, Isabel; Luís, Filipe. http://dx.doi.org/10.4204/EPTCS.111.4.
    10.4204/EPTCS.111.4
  12. Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. 2009. Nunes, Isabel; Lopes, Antónia; Vasconcelos, Vasco Thudichum. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000273623300009&KeyUID=WOS:000273623300009.
    10.1007/978-3-642-04694-0_9
  13. Checking the Conformance of Java Classes Against Algebraic Specifications. 2006. Nunes, Isabel; Lopes, Antónia; Vasconcelos, Vasco Thudichum; Abreu, João; Reis, Luís S.. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000243128400027&KeyUID=WOS:000243128400027.
    10.1007/11901433_27
  14. An OCL Extension for Low-Coupling Preserving Contracts. 2003. Nunes, Isabel. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000188007800026&KeyUID=WOS:000188007800026.
    10.1007/978-3-540-45221-8_26
  15. Polymorphism in Object-Oriented Contract Verification. 2003. Nunes, Isabel. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000187617100088&KeyUID=WOS:000187617100088.