- 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
Maria Isabel Gama Nunes
Contactos
Departamento de InformáticaSala/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
ResearcherIDOrcid
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