Lee Naish

Cited by

	All	Since 2016
Citations	3684	649
h-index	32	11
i10-index	64	11

180

135

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 65 51 56 63 95 74 95 91 102 76 66 114 109 101 101 87 93 58 113 86 91 140 107 123 105 111 148 163 117 101 158 109 140 113 104 25

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
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
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
Leon SterlingSwinburne University of TechnologyVerified email at swin.edu.au
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu
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
neelofarThe university of MelbourneVerified email at unimelb.edu.au
Tal MoranIDC HerzliyaVerified email at idc.ac.il
Doug PalmerCSIROVerified email at csiro.au
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au
Graeme GangeMonash UniversityVerified email at monash.edu
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	406	2011
Statistical debugging: A hypothesis testing-based approach C Liu, L Fei, X Yan, J Han, SP Midkiff IEEE Transactions on software engineering 32 (10), 831-848, 2006	362	2006
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	319	1986
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	319	1986
Hybrid probabilistic programs A Dekhtyar, VS Subrahmanian The Journal of Logic Programming 43 (3), 187-250, 2000	160	2000
A declarative debugging scheme L Naish Department of Computer Science, University of Melbourne, 1995	153	1995
Automating control for logic programs L Naish The Journal of Logic Programming 2 (3), 167-183, 1985	100	1985
Parallelizing nu-prolog L Naish Logic Programming, Proceedings of the Fifth International Conference and …, 1988	93	1988
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	93	1986
A higher order rewriting logic for functional logic programming JC González-Moreno, MT Hortalá-González, M Rodrıguez-Artalejo Proc. of the Fourteenth International Conference on Logic Programming (ICLP …, 1997	91*	1997
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991	75	1991
Most specific logic programs K Marriott, L Naish, JL Lassez Annals of mathematics and artificial intelligence 1 (1), 303-338, 1990	72	1990
Declarative diagnosis of missing answers L Naish New Generation Computing 10 (3), 255-285, 1992	68	1992
Assumption Grammars for Processing Natural Language. V Dahl, P Tarau, R Li ICLP, 256-270, 1997	67	1997
Non-Failure Analysis for Logic Programs. SK Debray, P López-García, MV Hermenegildo ICLP 97, 48-62, 1997	65	1997
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982	62	1982
Higher-order logic programming in Prolog L Naish Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996	60	1996
A strategy for managing content complexity in algorithm animation L Stern, H Søndergaard, L Naish ACM SIGCSE Bulletin 31 (3), 127-130, 1999	58	1999
Types and the intended meaning of logic programs L Naish Typed in Logic Programming, 189-216, 1992	58	1992
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	54	1984

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

Upload PDF

Follow this author

Cited by

Co-authors