???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.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
Maria Isabel Gama Nunes

Nomes de citação

  • Nunes, Isabel

Identificadores de autor

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

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Francês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B1) Utilizador independente (B1)
Formação
Grau Classificação
1998
Concluído
 Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Semântica de Programas Comportamentais" (TESE/DISSERTAÇÃO)
 Aprovado com distinção e louvor
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
1998/06/16 - Atual Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2020/09/28 - Atual 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
Produções

Publicações

Artigo em revista
  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

Outros

Outra produção
  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.