- Reconciling communication delays and
negation, Cruz-Filipe, L., Gaspar, G., Nunes,
I. (2022). Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science+Business Media, p. 151-169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13572 LNCS).
- Can You Answer While You Wait?, Cruz-Filipe, L., Gaspar, G., Nunes, I. (2022). In: Varzinczak, I. (eds) Foundations of Information and Knowledge Systems. FoIKS 2022. Lecture Notes in Computer Science. Springer, Cham. https://doi.org/10.1007/978-3-031-11321-5_7
PDF
- Hypothetical answers to continuous queries over data streams,
L. Cruz-Filipe, G.Gaspar, and I. Nunes,
Proceedings of AAAI, pages 2798-2805, 2020.
PDF
- Hypothetical answers to continuous queries over data streams,
L. Cruz-Filipe, G.Gaspar, and I. Nunes,
in arXiv:1905.09610. May 2019.
- 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
- From Description-Logic Programs to Multi-Context Systems,
L. Cruz-Filipe, G.Gaspar, and I. Nunes,
in Journal of Logical and Algebraic Methods in
Programming, volume 88, pages 26-44, Elsevier, April 2017.
DOI: 10.1016/j.jlamp.2017.01.005
- Active Integrity Constraints for Multi-Context Systems,
L. Cruz-Filipe, I. Nunes, G.Gaspar and P. Schneider-Kamp,
in 20th International Conference on Knowledge Engineering and
Knowledge Management, EKAW 2016, LNAI 10024:98-112, Springer, November 2016.
DOI: 10.1007/978-3-319-49004-5_7
- Active Integrity Constraints: from Theory to Implementation,
L. Cruz-Filipe, M. Franz, A. Hakhverdyan, M. Ludovico, I. Nunes and P. Schneider-Kamp,
to appear in A. Fred, J. Dietz, D. Aveiro, K. Liu and J. Filipe
(eds.), Knowledge Discovery, Knowledge Engineering and Knowledge
Management (IC3K2015), CCIS 631:399-420. Springer.
DOI 10.1007/978-3-319-52758-1_22, 2016.
- Integrity Constraints for General-Purpose Knowledge Bases,
L. Cruz-Filipe, I. Nunes and P. Schneider-Kamp,
in M. Gyssens and G. Simari (eds.), Foundations of Information and Knowledge Systems – 9th International Symposium, FoIKS 2016, LNCS 9616:235-254. Springer, March 2016.
DOI 10.1007/978-3-319-30024-5_13
- repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints,
L. Cruz-Filipe, M. Franz, A. Hakhverdyan, M. Ludovico, I. Nunes and P. Schneider-Kamp,
in A. Fred, J. Dietz, D. Aveiro, K. Liu and J. Filipe (eds.), Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015), volume 3, pages 17-26. SCITEPRESS, November 2015.
DOI 10.5220/0005586400170026
- Design Patterns for Description-Logic Programs,
L. Cruz-Filipe, G. Gaspar and I. Nunes, in A. Fred, J. Dietz, K. Liu and J. Filipe
(eds.), Knowledge Discovery, Knowledge Engineering and Knowledge Management,
CCIS 454, pages 199-214, Springer, 2015. ISBN: 978-3-662-46548-6. DOI: 10.1007/978-3-662-46549-3_13
- Information Flow within Relational Multi-context Systems,
L. Cruz-Filipe, G. Gaspar and I. Nunes. in K. Janowicz,
S. Schlobach, P. Lambrix and
E. Hyvönen (eds.), Knowledge Engineering and Knowledge Management —
19th International
Conference, EKAW 2014, LNAI 8876, pages 97-108, Springer, November 2014. DOI 10.1007/978-3-319-13704-9_8
- 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
PDF
- Computing Repairs from Active Integrity Constraints,
L. Cruz-Filipe, P. Engrácia, G. Gaspar and I. Nunes. In H. Wang and R. Banach (eds.), 2013 International
Symposium on Theoretical Aspects of Software Engineering (TASE
2013), pages 183-190, IEEE, July 2013. DOI 10.1109/TASE.2013.32
- Patterns for Interfacing between Logic Programs and Multiple Ontologies,
L. Cruz-Filipe, G. Gaspar and I. Nunes. In Proceedings of the International Conference on
Knowledge Engineering and Ontology Development 2013, pages
58-69. © SCITEPRESS. DOI: 10.5220/0004544100580069
- Tighter integration in dl-programs, L. Cruz-Filipe, P. Engr·cia, G. Gaspar, R. Henriques,
I. Nunes and D. Santos.
In J. Cachopo, B. Sousa Santos (eds.) INForum 2013, Atas do 5º Simpósio de Informática, pages 457-468, Évora, Portugal, 2013.
pdf
- Viewing dl-programs as multi-context systems,
L. Cruz-Filipe, R. Henriques and I. Nunes. DI/FCUL Technical Report, 2013;05, April 2013. http://hdl.handle.net/10455/6895
- 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,
PDF
- Testing Java implementations of algebraic specifications,
I. Nunes and F. Luís. In Alexander K. Petrenko and Holger Schlingloff: Proceedings Eighth Workshop on
Model-Based Testing (MBT 2013), Rome, Italy, 17th March 2013, Electronic Proceedings in Theoretical
Computer Science 111, 2013, pp. 35-50. DOI: 10.4204/EPTCS.111. ISSN: 2075-2180
PDF
- Patterns for Programming in the Semantic Web,
L. Cruz-Filipe, I. Nunes and G. Gaspar. DI/FCUL Technical Report, 2012;06, October 2012. http://hdl.handle.net/10455/6889
- Achieving tightness in dl-programs,
L. Cruz-Filipe, P. Engrácia, G. Gaspar and I. Nunes. DI/FCUL Technical Report, 2012;03, July 2012. http://hdl.handle.net/10455/6872
- A fault-location technique for Java implementations of algebraic specifications,
I. Nunes and F. Luís. DI/FCUL Technical Report, 2012;02, June 2012. http://hdl.handle.net/10455/6809
- 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.
- Monitoring Java Code Using ConGu,
Vasco T. Vasconcelos, Isabel Nunes,
Antónia Lopes. Presented at WADT 2008, Italy, June 2008.
PDF
- Runtime Checking Java Code Using ConGu,
V.T.Vasconcelos, I.Nunes, A.Lopes, N.Ramiro, and P.Crispim, in International Workshop on
Advanced Software Development Tools and Techniques (WASDeTT), Paphos, Cyprus, June 2008.
PDF
- A Perspective on Automated Assessment,
Pedro Duarte, Isabel Nunes, João Pedro Neto, Teresa Chambel, Carlos Pereira dos Santos,
presented at 2nd JEM workshop, Lisbon, February 2007.
PDF
- Runtime Monitoring of Java Code Using ConGu,
Vasco T. Vasconcelos, Isabel Nunes,
Antónia Lopes, and Luís S. Reis. May 2007.
PDF
- Congu, Checking Java Classes Against Property-Driven Algebraic
Specifications,
João Abreu, Alexandre Caldeira, Antónia Lopes, Isabel Nunes, Luís S. Reis and
Vasco Vasconcelos. DI/FCUL TR 07-7, March 2007.
PDF
- Enhancing Modularity and Feedback in Computer Aided Assessment
, Pedro Duarte, Isabel Nunes, João Pedro Neto, Teresa Chambel, 15th
International Conference on
Computing (CIC 2006), 240-246, IEEE Computer Society.
- Checking the Conformance of Java Classes Against Algebraic Specifications
, Isabel Nunes, Antónia Lopes,
Vasco Vasconcelos, João Abreu and Luís S. Reis, in Z. Liu and J. He (Eds.),
ICFEM 2006, LNCS 4260, pp. 494-513, Springer 2006.
- Guiding Specification and OO implementation of Data Types,
Isabel Nunes and Antónia Lopes and Vasco Vasconcelos. March 2006.
PDF
- CATS - Computer Assessable Task System
, Pedro Duarte, Isabel Nunes, João Pedro Neto, Teresa Chambel,
WebALT'2006 -
First Web Advanced Learning Technologies Conference and Exhibition,
Technical University of Eindhoven, The Netherlands, January 5-6, 2006.
- Testing Implementations of Algebraic Specifications with
Design-By-Contract Tools, Isabel Nunes, Antónia Lopes,
Vasco Vasconcelos, João Abreu and Luís S. Reis. DI/FCUL TR 05-22, December 2005.
PDF
- Method redefinition - ensuring alternative behaviours,
I. Nunes, Information Processing Letters, Elsevier, Vol 92/6 pp 279-285,
2004.
- An OCL Extension for Low-coupling Preserving Contracts,
I. Nunes, in Proc. Sixth Int. Conf. on the Unified Modeling Language (UML
2003), P.Stevens, J.Whittle, G.Booch (eds), Lecture Notes in Computer
Science 2863, pp. 310-324, Springer 2003.
- Polymorphism in Object-Oriented Contract Verification,
I. Nunes, in Proc. Int. Conf. Software Engineering Research and Practice
(SERP'03), Ban Al-Ani, H.R.Arabnia,et al (eds), pp.575-581, CSREA Press 2003, ISBN 1-932415-20-3. -
PDF.
- Design by Contract Using Meta-Assertions,
I. Nunes, Technical Report DI/FCUL, TR-02-7. Dept. of Computer Science,
Lisbon University, July 2002. Abstract ,
PDF.
- Contract Guided System Development, I.
Nunes and V. Vasconcelos, Presented at the ECOOP'02 Sixth Workshop on
Pedagogies and Tools for Learning Object-Oriented Concepts. April 2002 - Abstract ,
PDF
- Context-parameterized Coordination Model and
Semantics for Behavioural Programs, I.Nunes, in Proc. Int.
Conf. Parallel and Distributed Processing Techniques and Applications,
H.R.Arabnia, F.Arbab et al (eds),pp. 1229-1235, CSREA Press 2001 -
PDF
- A Modal Logic of Durative Actions,
I.Nunes, J.Fiadeiro and W.Turski, in H.Barringer et al (eds),
Advances in Temporal Logic, pp. 299-317, Kluwer Academic Publishers,
2000.- PS
- Semantics of Behavioural Programs, I.Nunes,
PhD Thesis, University of Lisbon, March 1998 (in portuguese) Abstract (in english)
- Coordinating Durative Actions, I.Nunes,
J.Fiadeiro and W.Turski, in Proc. COORDINATION'97, D.Garlan and D.Le
M_tayer (eds), Lecture Notes in Computer Science 1282, pp. 115-130,
Springer-Verlag 1997 - PS
- Generalising Transition Systems for Durative
Actions, I.Nunes and J.Fiadeiro, in Proc. 2nd MODELAGE
Workshop, J.Fiadeiro e P-Y.Schobbens (eds), DI-FCUL, pp. 181-194, 1996 Abstract