Lee Naish - RankMe

72 papers A* 2A 1B 8C 4Journal 30Unranked 22

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