| The KR system dlv: Progress report, comparisons and benchmarks T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello KR 98, 406-417, 1998 | 271 | 1998 |
| A deductive system for non-monotonic reasoning T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello LPNMR 97, 363-374, 1997 | 256 | 1997 |
| The dlv system: Model generator and application frontends S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ... Proceedings of the 12th Workshop on Logic Programming 128137, 128-137, 1997 | 72 | 1997 |
| Modeling Java programs for diagnosis C Mateis, M Stumptner, F Wotawa ECAI, 171-175, 2000 | 70 | 2000 |
| Using database optimization techniques for nonmonotonic reasoning W Faber, N Leone, C Mateis, G Pfeifer In DDLP??? 99, Prolog Association of Japan, 1999 | 66 | 1999 |
| Model-based debugging of Java programs C Mateis, M Stumptner, D Wieland, F Wotawa arXiv preprint cs/0011027, 2000 | 52 | 2000 |
| A Value-Based Diagnosis Model for Java Programs Ѓ C Mateis, M Stumptner, F Wotawa | 42 | 2000 |
| Debugging of Java programs using a model-based approach C Mateis, M Stumptner, F Wotawa Proceedings of the Tenth International Workshop on Principles of Diagnosis, 1999 | 41 | 1999 |
| Extending Disjunctive Logic Programming by T-norms C Mateis Logic Programming and Nonmonotonic Reasoning: 5th International Conference …, 2000 | 33 | 2000 |
| Quantitative disjunctive logic programming: Semantics and computation C Mateis AI communications 13 (4), 225-248, 2000 | 24 | 2000 |
| Automatic failure explanation in CPS models E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 22 | 2019 |
| The dlv system T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, G Pfeifer, ... Workshop on Logic-Based Artificial Intelligence, Washington, DC, College …, 1999 | 20 | 1999 |
| Locating bugs in Java programs—first results of the Java diagnosis experiments project C Mateis, M Stumptner, F Wotawa Intelligent Problem Solving. Methodologies and Approaches: 13th …, 2003 | 18 | 2003 |
| Progress report on the disjunctive deductive database system dlv T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello FQAS 98, 148-163, 1998 | 17 | 1998 |
| The dlv system: Model generator and advanced frontends (system description) S Citrigno, T Eiter, W Faber, G Gottlob, C Koch, N Leone, C Mateis, ... | 15 | 1997 |
| Mining shape expressions from positive examples E Bartocci, J Deshmukh, F Gigler, C Mateis, D Ničković, X Qin IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 13 | 2020 |
| Learning and statistical model checking of system response times BK Aichernig, P Bauerstätter, E Jöbstl, S Kann, R Korošec, W Krenn, ... Software Quality Journal 27, 757-795, 2019 | 13 | 2019 |
| JADE-AI Support for Debugging Java Programs. C Mateis, M Stumptner, D Wieland, F Wotawa ictai, 62-, 2000 | 12 | 2000 |
| CPSDebug: Automatic failure explanation in CPS models E Bartocci, N Manjunath, L Mariani, C Mateis, D Ničković International Journal on Software Tools for Technology Transfer, 1-14, 2021 | 10 | 2021 |
| Shape expressions for specifying and extracting signal features D Ničković, X Qin, T Ferrère, C Mateis, J Deshmukh Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 10 | 2019 |
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
