Lee Naish

Cited by

	All	Since 2016
Citations	3741	673
h-index	33	11
i10-index	64	11

180

135

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 65 51 62 66 100 78 95 92 104 76 66 114 109 101 103 87 101 58 113 86 91 141 106 123 105 112 150 163 117 101 158 111 138 119 104 43

Public access

View all

0 articles

1 article

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
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
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
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	416	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	368	2006
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
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	154	1995
Automating control for logic programs L Naish The Journal of Logic Programming 2 (3), 167-183, 1985	107	1985
Parallelizing nu-prolog L Naish Logic Programming, Proceedings of the Fifth International Conference and …, 1988	94	1988
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	94	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
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	68	1992
Non-Failure Analysis for Logic Programs. SK Debray, P López-García, MV Hermenegildo ICLP 97, 48-62, 1997	66	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	61	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