Lee Naish

Publication Activity (10 Years)

Years Active: 1984-2018
Publications (10 Years): 6

Top Topics

Complex Data Types

Program Understanding

Fault Localization

Automatic Analysis

Top Venues

Softw. Pract. Exp.

Theory Pract. Log. Program.

Publications

Neelofar, Lee Naish, Kotagiri Ramamohanarao
Spectral-based fault localization using hyperbolic function. Softw. Pract. Exp. 48 (3) (2018)
Neelofar, Lee Naish, Jason Lee, Kotagiri Ramamohanarao
Improving spectral-based fault localization using static analysis. Softw. Pract. Exp. 47 (11) (2017)
Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
An analysis of New South Wales electronic vote counting. ACSW (2017)
Lee Naish, Peter Schachte, Aleck M. MacNally
Adtpp: lightweight efficient safe polymorphic algebraic data types for C. Softw. Pract. Exp. 46 (12) (2016)
Lee Naish
Similarity to a single set. PeerJ Prepr. 4 (2016)
Andrew Conway, Michelle L. Blom, Lee Naish, Vanessa Teague
An analysis of New South Wales electronic vote counting. CoRR (2016)
Lee Naish
Sharing analysis in the Pawns compiler. PeerJ Prepr. 3 (2015)
Lee Naish, Neelofar, Kotagiri Ramamohanarao
Multiple Bug Spectral Fault Localization Using Genetic Programming. ASWEC (2015)
Lee Naish
Sharing analysis in the Pawns compiler. PeerJ Comput. Sci. 1 (2015)
Lee Naish
Transforming floundering into success. Theory Pract. Log. Program. 14 (2) (2014)
Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard
Four-Valued Reasoning and Cyclic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (7) (2014)
Lee Naish, Harald Søndergaard
Truth versus information in logic programming. Theory Pract. Log. Program. 14 (6) (2014)
Lee Naish, Harald Søndergaard
Truth versus information in logic programming CoRR (2013)
Lee Naish, Hua Jie Lee
Duals in Spectral Fault Localization. Australian Software Engineering Conference (2013)
Lee Naish, Harald Søndergaard, Benjamin Horsfall
Logic Programming: From Underspecification to Undefinedness. CATS (2012)
Lee Naish
Transforming floundering into success CoRR (2012)
Stephen P. Smith, Reeva Lederman, Paul Monagle, Basil Alzougool, Lee Naish, Suelette Dreyfus
Individually tailored client-focused reports for ubiquitous devices: An experimental analysis. ACIS (2012)
Lee Naish
Declarative Diagnosis of Floundering in Prolog. ACSC (2012)
Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
Spectral debugging: How much better can we do? ACSC (2012)
Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
A model for spectra-based software diagnosis. ACM Trans. Softw. Eng. Methodol. 20 (3) (2011)
Hua Jie Lee, Lee Naish, Kotagiri Ramamohanarao
Effective Software Bug Localization Using Spectral Frequency Weighting Function. COMPSAC (2010)
Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
Statements versus Predicates in Spectral Bug Localization. APSEC (2010)
Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague
Shuffle-sum: coercion-resistant verifiable tallying for STV voting. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao
Spectral Debugging with Weights and Incremental Ranking. APSEC (2009)
Vanessa Teague, Kim Ramchen, Lee Naish
Coercion-Resistant Tallying for STV Voting. EVT (2008)
Lee Naish
Probabilistic Declarative Debugging. J. Funct. Log. Program. 2008 (2008)
Lee Naish
Resource-Oriented Deadlock Analysis. ICLP (2007)
Lee Naish
Declarative Diagnosis of Floundering CoRR (2007)
Lee Naish
A three-valued semantics for logic programmers. Theory Pract. Log. Program. 6 (5) (2006)
Lee Naish
A three-valued semantics for logic programmers CoRR (2005)
Lee Naish
Approximating the Success Set of Logic Programs Using Constrained Regular Types. ACSC (2003)
Bernard J. Pope, Lee Naish
Practical aspects of declarative debugging in Haskell 98. PPDP (2003)
Bernard J. Pope, Lee Naish
A Program Transformation for Debugging Haskell 98. ACSC (2003)
Bernard J. Pope, Lee Naish
Specialisation of Higher-Order Functions for Debugging. Electron. Notes Theor. Comput. Sci. 64 (2002)
Linda Stern, Lee Naish
Visual representations for recursive algorithms. SIGCSE (2002)
Leon Sterling, Lee Naish, Manuel V. Hermenegildo
Guest editor's introduction Special issue on Logic Programming and the Internet. Theory Pract. Log. Program. 1 (3) (2001)
Lee Naish
A Three-Valued Declarative Debugging Scheme. ACSC (2000)
Lee Naish
A Three-Valued Semantic for Horn Clause Programs. ACSC (2000)
Lee Naish, Leon Sterling
Stepwise Enhancement and Higher-Order Programming in Prolog. J. Funct. Log. Program. 2000 (4) (2000)
Linda Stern, Harald Søndergaard, Lee Naish
A strategy for managing content complexity in algorithm animation. ITiCSE (1999)
Lee Naish, Leon Sterling
A Higher Order Reconstruction of Stepwise Enhancement. LOPSTR (1997)
Lee Naish
A Declarative Debugging Scheme. J. Funct. Log. Program. 1997 (3) (1997)
Lee Naish
A Three-Valued Declarative Debugging Scheme. LPE (1997)
Lee Naish
A Declarative View of Modes. JICSLP (1996)
Lee Naish
Declarative Diagnosis of Missing Answers. New Gener. Comput. 10 (3) (1992)
Lee Naish
Declarative Debugging of Lazy Functional Programs. LPE (1992)
Lee Naish
Adding equations to NU-Prolog. PLILP (1991)
Doug Palmer, Lee Naish
NUA-Prolog: An Extension to the WAM for Parallel Andorra. ICLP (1991)
Lee Naish
Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs (1991)
Kim Marriott, Lee Naish, Jean-Louis Lassez
Most Specific Logic Programs. Ann. Math. Artif. Intell. 1 (1990)
Lee Naish
Proving Properties of Committed Choice Logic Programs. J. Log. Program. 7 (1) (1989)
Lee Naish, Philip W. Dart, Justin Zobel
The NU-Prolog Debugging Environment. ICLP (1989)
Lee Naish
Parallelizing NU-Prolog. ICLP/SLP (1988)
Kim Marriott, Lee Naish, Jean-Louis Lassez
Most Specific Logic Programs. ICLP/SLP (1988)
Lee Naish
Specification = Program + Types. FSTTCS (1987)
Lee Naish, James A. Thom, Kotagiri Ramamohanarao
Concurrent Database Updates in PROLOG. ICLP (1987)
Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart
The NU-Prolog Deductive Database System. IEEE Data Eng. Bull. 10 (4) (1987)
James A. Thom, Kotagiri Ramamohanarao, Lee Naish
A Superjoin Algorithm for Deductive Databases. VLDB (1986)
Lee Naish
Negation and Quantifiers in NU-Prolog. ICLP (1986)
Lee Naish
All Solutions Predicates in Prolog. SLP (1985)
Lee Naish
Automating Control for Logic Programs. J. Log. Program. 2 (3) (1985)
Lee Naish
Prolog Control Rules. IJCAI (1985)
Lee Naish
Heterogeneous SLD Resolution. J. Log. Program. 1 (4) (1984)