Lee Naish

Citado por

	Total	Desde 2019
Citas	3459	552
Índice h	33	9
Índice i10	57	8

120

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202438 70 60 79 77 114 74 100 93 103 67 63 111 81 89 84 66 76 55 87 89 66 112 78 77 64 60 112 105 97 65 116 83 108 104 102 91 108 110 37

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Harald SøndergaardComputing and Information Systems, The University of MelbourneDirección de correo verificada de unimelb.edu.au
Bernard PopeThe University of MelbourneDirección de correo verificada de unimelb.edu.au
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityDirección de correo verificada de anu.edu.au
Justin ZobelComputing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
Philip DartSchool of Computing and Information Systems, The University of MelbourneDirección de correo verificada de unimelb.edu.au
Kim MarriottProfessor, Monash UniversityDirección de correo verificada de monash.edu
NeelofarMonash University, Melbourne, AustraliaDirección de correo verificada de monash.edu
Leon SterlingUniversity of Melbourne & Swinburne University of TechnologyDirección de correo verificada de swin.edu.au
Tal MoranIDC HerzliyaDirección de correo verificada de idc.ac.il
Doug PalmerCSIRODirección de correo verificada de csiro.au
John ShepherdComputer Science and Engineering (CSE), UNSWDirección de correo verificada de cse.unsw.edu.au
Isaac BalbinAssociate Professor of Database Systems, RMIT UniversityDirección de correo verificada de rmit.edu.au
Graeme PortUniversity of MelbourneDirección de correo verificada de unimelb.edu.au
Michelle BlomSchool of Computing and Information Systems, The University of MelbourneDirección de correo verificada de unimelb.edu.au
Graeme GangeMonash UniversityDirección de correo verificada de monash.edu
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Dirección de correo verificada de upm.es
Peter SchachteSchool of Computing and Information Systems, University of MelbourneDirección de correo verificada de unimelb.edu.au
Prof R KotagiriRetired Professor,Dirección de correo verificada de acm.org

Seguir

Lee Naish

Computing and Information Systems, University of Melbourne

No hay ninguna dirección de correo electrónico verificada. - Página principal

Computing systems Declarative programming languages debugging set similarity voting


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	627	2011
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	360	1986
Negation and control in Prolog L Naish Springer Science & Business Media, 1986	360	1986
A three-valued declarative debugging scheme L Naish Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat …, 2000	185	2000
Automatic termination analysis of logic programs N Linderistrauss, Y Sagiv	125	1997
Automating control for logic programs L Naish The Journal of Logic Programming 2 (3), 167-183, 1985	112	1985
Negation and quantifiers in NU-Prolog L Naish International Conference on Logic Programming, 624-634, 1986	97	1986
Parallelizing nu-prolog L Naish Proc. of Logic Programming, 1546-1564, 1988	96	1988
Adding equations to NU-Prolog L Naish International Symposium on Programming Language Implementation and Logic …, 1991	75	1991
An introduction to MU-Prolog L Naish Department of Computer Science, Univ., 1982	74	1982
Declarative diagnosis of missing answers L Naish New Generation Computing 10, 255-285, 1992	69	1992
Higher-order logic programming in Prolog L Naish Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996	65	1996
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	63	1984
MU-Prolog 3.1 db Reference Manual L Naish Melbourne University Press, 1984	63	1984
Types and the intended meaning of logic programs L Naish Typed in Logic Programming, 189-216, 1992	62	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	60	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	54	2009
The NU-Prolog Debugging Environment. L Naish, PW Dart, J Zobel ICLP, 521-536, 1989	54	1989
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
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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores