• 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