Lee Naish - Google Scholar

Cited by

	All	Since 2015
Citations	3599	688
h-index	33	10
i10-index	63	12

160

120

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202026 64 55 71 65 97 69 100 89 103 80 66 114 106 100 99 90 91 62 116 80 92 132 112 118 107 112 152 159 106 105 154 110 138 112 69

Co-authors

James ThomRMIT UniversityVerified email at rmit.edu.au
B PopeThe University of MelbourneVerified email at unimelb.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
Justin ZobelComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Vanessa TeagueComputing 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 BlomThe 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	346	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	337	2006
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	328	1986
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	328	1986
Hybrid probabilistic programs A Dekhtyar, VS Subrahmanian The Journal of Logic Programming 43 (3), 187-250, 2000	165	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
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	94	1986
Parallelizing nu-prolog L Naish Logic Programming, Proceedings of the Fifth International Conference and …, 1988	93	1988
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	90*	1997
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991	72	1991
Most specific logic programs K Marriott, L Naish, JL Lassez Annals of mathematics and artificial intelligence 1 (1-4), 303-338, 1990	69	1990
Assumption Grammars for Processing Natural Language. V Dahl, P Tarau, R Li ICLP, 256-270, 1997	68	1997
Declarative diagnosis of missing answers L Naish New Generation Computing 10 (3), 255-285, 1992	67	1992
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982	67	1982
Non-Failure Analysis for Logic Programs. SK Debray, P López-García, MV Hermenegildo ICLP 97, 48-62, 1997	65	1997
Higher-order logic programming in Prolog L Naish Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996	60	1996
Types and the intended meaning of logic programs L Naish Typed in Logic Programming, 189-216, 1992	59	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	56	1999
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	55	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