Heterogeneous SLD Resolution. - Lee Naish (J. Log. Program., 1984)

Prolog Control Rules. - Lee Naish (IJCAI, 1985)

All Solutions Predicates in Prolog. - Lee Naish (SLP, 1985)

Automating Control for Logic Programs. - Lee Naish (J. Log. Program., 1985)

Negation and control in PROLOG. - Lee Naish (1985)

Negation and Control in Prolog - Lee Naish (Springer, 1986)

Negation and Quantifiers in NU-Prolog. - Lee Naish (ICLP, 1986)

A Superjoin Algorithm for Deductive Databases. - James A. Thom; Kotagiri Ramamohanarao; Lee Naish (VLDB, 1986)

Specification = Program + Types. - Lee Naish (FSTTCS, 1987)

Concurrent Database Updates in PROLOG. - Lee Naish; James A. Thom; Kotagiri Ramamohanarao (ICLP, 1987)

The NU-Prolog Deductive Database System. - Kotagiri Ramamohanarao; John Shepherd 001; Isaac Balbin; Graeme S. Port; Lee Naish; James A. Thom; Justin Zobel; Philip W. Dart (IEEE Data Eng. Bull., 1987)

The NU-Prolog Deductive Database System. - Kotagiri Ramamohanarao; John Shepherd 001; Isaac Balbin; Graeme S. Port; Lee Naish; James A. Thom; Justin Zobel; Philip W. Dart (Prolog and Databases, 1988)

A Superjoin Algorithm for Deductive Databases. - James A. Thom; Kotagiri Ramamohanarao; Lee Naish (Foundations of Deductive Databases and Logic Programming., 1988)

Parallelizing NU-Prolog. - Lee Naish (ICLP/SLP, 1988)

The NU-Prolog Debugging Environment. - Lee Naish; Philip W. Dart; Justin Zobel (ICLP, 1989)

Proving Properties of Committed Choice Logic Programs. - Lee Naish (J. Log. Program., 1989)

Most Specific Logic Programs. - Kim Marriott; Lee Naish; Jean-Louis Lassez (Ann. Math. Artif. Intell., 1990)

Verification of Logic Programs and Imperative Programs. - Lee Naish (ICLP Workshop on Construction of Logic Programs, 1991)

NUA-Prolog: An Extension to the WAM for Parallel Andorra. - Doug Palmer; Lee Naish (ICLP, 1991)

Adding equations to NU-Prolog. - Lee Naish (PLILP, 1991)

Types and the Intended Meaning of Logic Programs. - Lee Naish (Types in Logic Programming, 1992)

Declarative Debugging of Lazy Functional Programs. - Lee Naish (LPE, 1992)

Declarative Diagnosis of Missing Answers. - Lee Naish (New Gener. Comput., 1992)

A Declarative View of Modes. - Lee Naish (JICSLP, 1996)

A Higher Order Reconstruction of Stepwise Enhancement. - Lee Naish; Leon Sterling (LOPSTR, 1997)

A Three-Valued Declarative Debugging Scheme. - Lee Naish (LPE, 1997)

A Declarative Debugging Scheme. - Lee Naish (J. Funct. Log. Program., 1997)

A strategy for managing content complexity in algorithm animation. - Linda Stern; Harald Søndergaard; Lee Naish (ITiCSE, 1999)

A Three-Valued Semantic for Horn Clause Programs. - Lee Naish (ACSC, 2000)

Stepwise Enhancement and Higher-Order Programming in Prolog. - Lee Naish; Leon Sterling (J. Funct. Log. Program., 2000)

Specialisation of Higher-Order Functions for Debugging. - Bernard J. Pope; Lee Naish (WFLP, 2001)

Guest editor's introduction Special issue on Logic Programming and the Internet. - Leon Sterling; Lee Naish; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2001)

Visual representations for recursive algorithms. - Linda Stern; Lee Naish (SIGCSE, 2002)

Approximating the Success Set of Logic Programs Using Constrained Regular Types. - Lee Naish (ACSC, 2003)

A Program Transformation for Debugging Haskell 98. - Bernard J. Pope; Lee Naish (ACSC, 2003)

Practical aspects of declarative debugging in Haskell 98. - Bernard J. Pope; Lee Naish (PPDP, 2003)

A three-valued semantics for logic programmers. - Lee Naish (Theory Pract. Log. Program., 2006)

Resource-Oriented Deadlock Analysis. - Lee Naish (ICLP, 2007)

Declarative Diagnosis of Floundering - Lee Naish (CoRR, 2007)

Coercion-Resistant Tallying for STV Voting. - Vanessa Teague; Kim Ramchen; Lee Naish (EVT, 2008)

Probabilistic Declarative Debugging. - Lee Naish (J. Funct. Log. Program., 2008)

Spectral Debugging with Weights and Incremental Ranking. - Lee Naish; Hua Jie Lee; Kotagiri Ramamohanarao (APSEC, 2009)

Shuffle-sum: coercion-resistant verifiable tallying for STV voting. - Josh Benaloh; Tal Moran; Lee Naish; Kim Ramchen; Vanessa Teague (IEEE Trans. Inf. Forensics Secur., 2009)

Statements versus Predicates in Spectral Bug Localization. - Lee Naish; Hua Jie Lee; Kotagiri Ramamohanarao (APSEC, 2010)

Effective Software Bug Localization Using Spectral Frequency Weighting Function. - Hua Jie Lee; Lee Naish; Kotagiri Ramamohanarao (COMPSAC, 2010)

A model for spectra-based software diagnosis. - Lee Naish; Hua Jie Lee; Kotagiri Ramamohanarao (ACM Trans. Softw. Eng. Methodol., 2011)

Individually tailored client-focused reports for ubiquitous devices: An experimental analysis. - Stephen P. Smith; Reeva Lederman; Paul Monagle; Basil Alzougool; Lee Naish; Suelette Dreyfus (ACIS, 2012)

Declarative Diagnosis of Floundering in Prolog. - Lee Naish (ACSC, 2012)

Spectral debugging: How much better can we do? - Lee Naish; Hua Jie Lee; Kotagiri Ramamohanarao (ACSC, 2012)

Logic Programming: From Underspecification to Undefinedness. - Lee Naish; Harald Søndergaard; Benjamin Horsfall (CATS, 2012)

Duals in Spectral Fault Localization. - Lee Naish; Hua Jie Lee (Australian Software Engineering Conference, 2013)

Four-Valued Reasoning and Cyclic Circuits. - Graeme Gange; Benjamin Horsfall; Lee Naish; Harald Søndergaard (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Transforming floundering into success. - Lee Naish (Theory Pract. Log. Program., 2014)

Truth versus information in logic programming. - Lee Naish; Harald Søndergaard (Theory Pract. Log. Program., 2014)

Multiple Bug Spectral Fault Localization Using Genetic Programming. - Lee Naish; Neelofar; Kotagiri Ramamohanarao (ASWEC, 2015)

Sharing analysis in the Pawns compiler. - Lee Naish (PeerJ Prepr., 2015)

Similarity to a single set. - Lee Naish (PeerJ Prepr., 2016)

Adtpp: lightweight efficient safe polymorphic algebraic data types for C. - Lee Naish; Peter Schachte; Aleck M. MacNally (Softw. Pract. Exp., 2016)

An analysis of New South Wales electronic vote counting. - Andrew Conway; Michelle L. Blom; Lee Naish; Vanessa Teague (ACSW, 2017)

Improving spectral-based fault localization using static analysis. - Neelofar; Lee Naish; Jason Lee; Kotagiri Ramamohanarao (Softw. Pract. Exp., 2017)

Spectral-based fault localization using hyperbolic function. - Neelofar; Lee Naish; Kotagiri Ramamohanarao (Softw. Pract. Exp., 2018)

A Brief Overview of the Pawns Programming Language. - Lee Naish (CoRR, 2024)