A model for spectra-based software diagnosis L Naish, HJ Lee, K Ramamohanarao ACM Transactions on software engineering and methodology (TOSEM) 20 (3), 1-32, 2011 | 655 | 2011 |
Negation and control in Prolog L Naish Springer Science & Business Media, 1986 | 366 | 1986 |
A declarative debugging scheme L Naish Department of Computer Science, University of Melbourne, 1995 | 162 | 1995 |
Automatic termination analysis of logic programs N Linderistrauss, Y Sagiv | 128 | 1997 |
Automating control for logic programs L Naish The Journal of Logic Programming 2 (3), 167-183, 1985 | 112 | 1985 |
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986 | 98 | 1986 |
Parallelizing nu-prolog L Naish Proc. of Logic Programming, 1546-1564, 1988 | 97 | 1988 |
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991 | 77 | 1991 |
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982 | 77 | 1982 |
Declarative diagnosis of missing answers L Naish New Generation Computing 10, 255-285, 1992 | 71 | 1992 |
Higher-order logic programming in Prolog L Naish Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996 | 66 | 1996 |
Types and the intended meaning of logic programs L Naish Typed in Logic Programming, 189-216, 1992 | 62 | 1992 |
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984 | 62 | 1984 |
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999 | 61 | 1999 |
Shuffle-sum: coercion-resistant verifiable tallying for STV voting J Benaloh, T Moran, L Naish, K Ramchen, V Teague IEEE Transactions on Information Forensics and Security 4 (4), 685-698, 2009 | 55 | 2009 |
The NU-Prolog Debugging Environment. L Naish, PW Dart, J Zobel ICLP, 521-536, 1989 | 55 | 1989 |
Practical aspects of declarative debugging in Haskell 98 B Pope, L Naish Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 53 | 2003 |
MU-PROLOG 3.0 reference manual L Naish Department of Computer Science, University of Melbourne, 1983 | 53 | 1983 |
Coroutining and the construction of terminating logic programs L Naish Technical Report 92/5, Department of Computer Science, University of Melbourne, 1992 | 51 | 1992 |
Towards a portable lazy functional declarative debugger L Naish, T Barbour Australian Computer Science Communications 18, 401-408, 1996 | 49 | 1996 |