Lee Naish

Cited by

	All	Since 2017
Citations	3124	527
h-index	30	9
i10-index	57	9

120

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202229 58 53 65 68 106 71 96 86 107 85 61 101 102 84 84 66 69 47 82 72 62 101 72 64 69 62 105 97 91 68 120 86 117 101 91 98 34

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

James ThomRMIT UniversityVerified email at rmit.edu.au
Harald SøndergaardComputing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
B PopeThe University of MelbourneVerified email at unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityVerified email at anu.edu.au
Justin ZobelComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Philip DartSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Doug PalmerCSIROVerified email at csiro.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
NeelofarMonash University, Melbourne, AustraliaVerified email at monash.edu
Tal MoranIDC HerzliyaVerified email at idc.ac.il
John ShepherdComputer Science and Engineering (CSE), UNSWVerified email at cse.unsw.edu.au
Isaac BalbinAssociate Professor of Database Systems, RMIT UniversityVerified email at rmit.edu.au
Graeme PortUniversity of MelbourneVerified email at unimelb.edu.au
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Graeme GangeMonash UniversityVerified email at monash.edu
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Peter SchachteSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Prof R KotagiriProfessor, Computing and Information Systems, The University of Melbourne 1980-2020Verified email at unimelb.edu.au

Lee Naish

Computing and Information Systems, University of Melbourne

Verified email at unimelb.edu.au - Homepage

Computing systems Declarative programming languages debugging set similarity voting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	489	2011
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	332	1986
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	332	1986
A declarative debugging scheme L Naish Department of Computer Science, University of Melbourne, 1995	158	1995
Automating control for logic programs L Naish The Journal of Logic Programming 2 (3), 167-183, 1985	105	1985
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	102	1986
Parallelizing nu-prolog L Naish Logic Programming, Proceedings of the Fifth International Conference and …, 1988	92	1988
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991	74	1991
Assumption Grammars for Processing Natural Language. V Dahl, P Tarau, R Li ICLP, 256-270, 1997	69	1997
Declarative diagnosis of missing answers L Naish New Generation Computing 10 (3), 255-285, 1992	69	1992
Most specific logic programs K Marriott, L Naish, JL Lassez Annals of mathematics and artificial intelligence 1 (1), 303-338, 1990	69	1990
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982	65	1982
Higher-order logic programming in Prolog L Naish Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996	62	1996
Types and the intended meaning of logic programs L Naish Typed in Logic Programming, 189-216, 1992	61	1992
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999	59	1999
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	56	1984
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	56	1984
Practical aspects of declarative debugging in Haskell 98 B Pope, L Naish Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	52	2003
Practical aspects of declarative debugging in Haskell 98 B Pope, L Naish Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003	52	2003
The NU-Prolog Debugging Environment. L Naish, PW Dart, J Zobel ICLP, 521-536, 1989	51	1989

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors