Lee Naish

Citada per

	Totes	Des de 2020
Citacions	3599	526
Índex h	34	8
Índex i10	58	7

120

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202569 59 81 81 118 76 98 92 103 74 69 109 86 87 80 71 76 56 93 94 70 113 82 78 65 61 114 107 96 65 117 83 111 107 100 90 110 109 104 13

Accés públic

Mostra-ho tot

1 article

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Harald SøndergaardComputing and Information Systems, The University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Bernard PopeThe University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityCorreu electrònic verificat a anu.edu.au
Justin ZobelComputing and Information Systems, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Philip DartSchool of Computing and Information Systems, The University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Kim MarriottProfessor, Monash UniversityCorreu electrònic verificat a monash.edu
NeelofarMonash University, Melbourne, AustraliaCorreu electrònic verificat a monash.edu
Leon SterlingUniversity of Melbourne & Swinburne University of TechnologyCorreu electrònic verificat a swin.edu.au
Tal MoranIDC HerzliyaCorreu electrònic verificat a idc.ac.il
Doug PalmerCSIROCorreu electrònic verificat a csiro.au
John ShepherdComputer Science and Engineering (CSE), UNSWCorreu electrònic verificat a cse.unsw.edu.au
Isaac BalbinAssociate Professor of Database Systems, RMIT UniversityCorreu electrònic verificat a rmit.edu.au
Graeme PortUniversity of MelbourneCorreu electrònic verificat a unimelb.edu.au
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Graeme GangeMonash UniversityCorreu electrònic verificat a monash.edu
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Correu electrònic verificat a upm.es
Peter SchachteSchool of Computing and Information Systems, University of MelbourneCorreu electrònic verificat a unimelb.edu.au
Prof R KotagiriRetired Professor,Correu electrònic verificat a acm.org

Segueix

Lee Naish

Computing and Information Systems, University of Melbourne

No hi ha cap correu electrònic verificat - Pàgina d'inici

Computing systems Declarative programming languages debugging set similarity voting


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	681	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
Parallelizing nu-prolog L Naish Proc. of Logic Programming, 1546-1564, 1988	98	1988
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	98	1986
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982	78	1982
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991	77	1991
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
MU-PROLOG 3.0 reference manual L Naish Department of Computer Science, University of Melbourne, 1983	54	1983
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
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	50	1996

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors