Página Pessoal

Maria Isabel Gama Nunes

Contactos

Departamento de Informática

Sala/Gabinete 6.3.17
Ext. Principal 26317
Telefone Direto 217500602
Email minunes@ciencias.ulisboa.pt
Página Pessoal

Carreira Docente Universitário
Categoria Professor Auxiliar

Indicadores

ResearcherID
Orcid

Interesses Científicos

Sistemas multi-contexto; Web semântica; Desenvolvimento de Software Orientado a Objetos; Especificação e verificação de programas


Scientific Interests

Multi-context Systems; Semantic Web; Object Oriented Software Development; Program specification and verification


Publicações selecionadas
  • Description logics, rules and multi-context systems, L. Cruz-Filipe, R. Henriques and I. Nunes, in K. McMillan, A. Middeldorp, and A. Voronkov (eds.), Logic for Programming, Artificial Intelligence, and Reasoning, 19th International Conference, LPAR-19, LNCS 8312, pages 243-257, Springer, December 2013. DOI 10.1007/978-3-642-45221-5_18
  • From Description-Logic Programs to Multi-Context Systems, L. Cruz-Filipe, G. Gaspar and I. Nunes. Journal of Logical and Algebraic Methods in Programming, 88:26-44. Elsevier, April 2017. DOI 10.1016/j.jlamp.2017.01.005
  • Bridging the Gap between Algebraic Specification and Object-oriented Generic Programming, Isabel Nunes, Antónia Lopes, and Vasco T. Vasconcelos. In Proceedings of the 9th International Workshop of Runtime Verification, volume 5779 of LNCS, pages 115-131. Springer, 2009.
  • Active integrity constraints for general-purpose knowledge bases, L. Cruz-Filipe, G.Gaspar, I. Nunes, and P. Schneider-Kamp in Annals of Mathematics and Artificial Intelligence, pages 1-34, Springer, 2018. https://doi.org/10.1007/s10472-018-9577-y http://rdcu.be/IZMO.
  • A 5-step hunt for faults in Java implementations of algebraic specifications, I. Nunes and F. Luís. Proceedings of 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2013), pages 168-177, print ISBN 978-1-4799-1324-4

Ver todas as Publicações