| Checking the conformance of Java classes against algebraic specifications I Nunes, A Lopes, V Vasconcelos, J Abreu, LS Reis Formal Methods and Software Engineering: 8th International Conference on …, 2006 | 32 | 2006 |
| Computing repairs from active integrity constraints L Cruz-Filipe, G Gaspar, P Engrácia, I Nunes 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 20 | 2013 |
| Bridging the gap between algebraic specification and object-oriented generic programming I Nunes, A Lopes, VT Vasconcelos Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009 | 18 | 2009 |
| repAIrC: A tool for ensuring data consistency by means of active integrity constraints L Cruz-Filipe, M Franz, A Hakhverdyan, M Ludovico, I Nunes, ... KMIS, 17-26, 2015 | 11 | 2015 |
| Design by contract using meta-assertions I Nunes Journal of Object Technology 1 (3), 37-56, 2002 | 10 | 2002 |
| An OCL extension for low-coupling preserving contracts I Nunes International Conference on the Unified Modeling Language, 310-324, 2003 | 9 | 2003 |
| Coordinating Durative Actions I Nunes, J Fiadeiro, W Turski COORDINATION 1282, 115-130, 1997 | 8 | 1997 |
| Hypothetical answers to continuous queries over data streams L Cruz-Filipe, I Nunes, G Gaspar Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2798-2805, 2020 | 7 | 2020 |
| Integrity constraints for general-purpose knowledge bases L Cruz-Filipe, I Nunes, P Schneider-Kamp Foundations of Information and Knowledge Systems: 9th International …, 2016 | 7 | 2016 |
| Achieving tightness in dl-programs L Cruz-Filipe, I Nunes, P Engracia, G Gaspar | 7 | 2012 |
| Testing implementations of algebraic specifications with design-by-contract tools I Nunes, A Lopes, VT Vasconcelos, J Abreu, LS Reis Department of Informatics, University of Lisbon, 2005 | 7 | 2005 |
| A modal logic of durative actions I Nunes, JL Fiadeiro, WM Turski Advances in Temporal Logic, 299-317, 2000 | 7 | 2000 |
| Patterns for interfacing between logic programs and multiple ontologies L Cruz-Filipe, I Nunes, G Gaspar International Conference on Knowledge Engineering and Ontology Development 2 …, 2013 | 6 | 2013 |
| Description logics, rules and multi-context systems IN Luís Cruz-Filipe, Rita Henriques nternational Conference on Logic for Programming Artificial Intelligence and …, 2013 | 5* | 2013 |
| Congu, Checking Java Classes Against Property-Driven Algebraic Specifications J Abreu, A Caldeira, A Lopes, I Nunes, LS Reis, V Vasconcelos DI/FCUL TR 07-7, 2007 | 5 | 2007 |
| Information flow within relational multi-context systems L Cruz-Filipe, G Gaspar, I Nunes Knowledge Engineering and Knowledge Management: 19th International …, 2014 | 4 | 2014 |
| A fault-location technique for Java implementations of algebraic specifications F Luis, I Nunes | 4 | 2012 |
| Enhancing Modularity and Feedback in Computer Aided Assessment P Duarte, I Nunes, J Pedro Neto, T Chambel 15th International Conference on Computing (CIC 2006), 240-246, 2006 | 4 | 2006 |
| Active integrity constraints for multi-context systems L Cruz-Filipe, G Gaspar, I Nunes, P Schneider-Kamp Knowledge Engineering and Knowledge Management: 20th International …, 2016 | 3 | 2016 |
| Viewing dl-programs as multi-context systems L Cruz-Filipe, R Henriques, I Nunes Technical Report 2013, 2013 | 3 | 2013 |
Luís Cruz-FilipeUniversity of Southern Denmark確認したメール アドレス: imada.sdu.dk