| 2011 |
|---|
| 46 | A model for spectra-based software diagnosis. Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao. ACM Trans. Softw. Eng. Methodol. (20): 11 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 45 | Statements versus Predicates in Spectral Bug Localization. Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao. APSEC 2010, 375-384. Web SearchBibTeXDownload |
| 44 | Effective Software Bug Localization Using Spectral Frequency Weighting Function. Hua Jie Lee, Lee Naish, Kotagiri Ramamohanarao. COMPSAC 2010, 218-227. Web SearchBibTeXDownload |
| 2009 |
|---|
| 43 | Spectral Debugging with Weights and Incremental Ranking. Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao. APSEC 2009, 168-175. Web SearchBibTeXDownload |
| 42 | Shuffle-sum: coercion-resistant verifiable tallying for STV voting. Josh Benaloh, Tal Moran, Lee Naish, Kim Ramchen, Vanessa Teague. IEEE Transactions on Information Forensics and Security (4): 685-698 (2009). Web SearchBibTeXDownload |
| 2008 |
|---|
| 41 | Coercion-Resistant Tallying for STV Voting. Vanessa Teague, Kim Ramchen, Lee Naish. EVT 2008. Web SearchBibTeXDownload |
| 2007 |
|---|
| 40 | Declarative Diagnosis of Floundering. Lee Naish. CoRR (abs/0711.0048) (2007). Web SearchBibTeXDownload |
| 39 | Resource-Oriented Deadlock Analysis. Lee Naish. ICLP 2007, 302-316. Web SearchBibTeXDownload |
| 2006 |
|---|
| 38 | A three-valued semantics for logic programmers. Lee Naish. TPLP (6): 509-538 (2006). Web SearchBibTeXDownload |
| 2005 |
|---|
| 37 | A three-valued semantics for logic programmers. Lee Naish. CoRR (abs/cs/0508004) (2005). Web SearchBibTeXDownload |
| 2003 |
|---|
| 36 | A Program Transformation for Debugging Haskell 98. Bernard Pope, Lee Naish. ACSC 2003, 227-236. Web SearchBibTeXDownload |
| 35 | Approximating the Success Set of Logic Programs Using Constrained Regular Types. Lee Naish. ACSC 2003, 61-67. Web SearchBibTeXDownload |
| 34 | Practical aspects of declarative debugging in Haskell 98. Bernard Pope, Lee Naish. PPDP 2003, 230-240. Web SearchBibTeXDownload |
| 2002 |
|---|
| 33 | Specialisation of Higher-Order Functions for Debugging. Bernard Pope, Lee Naish. Electr. Notes Theor. Comput. Sci. (64): 277-291 (2002). Web SearchBibTeXDownload |
| 32 | Visual representations for recursive algorithms. Linda Stern, Lee Naish. SIGCSE 2002, 196-200. Web SearchBibTeXDownload |
| 2001 |
|---|
| 31 | Guest editor's introduction Special issue on Logic Programming and the Internet. Leon Sterling, Lee Naish, Manuel V. Hermenegildo. TPLP (1): 249-250 (2001). Web SearchBibTeXDownload |
| 2000 |
|---|
| 30 | A Three-Valued Declarative Debugging Scheme. Lee Naish. ACSC 2000, 166-173. Web SearchBibTeXDownload |
| 29 | A Three-Valued Semantic for Horn Clause Programs. Lee Naish. ACSC 2000, 174-180. Web SearchBibTeXDownload |
| 28 | Stepwise Enhancement and Higher-Order Programming in Prolog. Lee Naish, Leon Sterling. Journal of Functional and Logic Programming (2000) (2000). Web SearchBibTeX |
| 1999 |
|---|
| 27 | A strategy for managing content complexity in algorithm animation. Linda Stern, Harald Søndergaard, Lee Naish. ITiCSE 1999, 127-130. Web SearchBibTeXDownload |
| 1997 |
|---|
| 26 | A Declarative Debugging Scheme. Lee Naish. Journal of Functional and Logic Programming (1997) (1997). Web SearchBibTeX |
| 25 | A Higher Order Reconstruction of Stepwise Enhancement. Lee Naish, Leon Sterling. LOPSTR 1997, 245-262. Web SearchBibTeXDownload |
| 24 | A Three-Valued Declarative Debugging Scheme. Lee Naish. LPE 1997, 1-12. Web SearchBibTeX |
| 1996 |
|---|
| 23 | A Declarative View of Modes. Lee Naish. JICSLP 1996, 185-199. Web SearchBibTeX |
| 1992 |
|---|
| 22 | Declarative Debugging of Lazy Functional Programs. Lee Naish. LPE 1992, 29-34. Web SearchBibTeX |
| 21 | Declarative Diagnosis of Missing Answers. Lee Naish. New Generation Comput. (10): 255-286 (1992). Web SearchBibTeXDownload |
| 20 | Types and the Intended Meaning of Logic Programs. Lee Naish. Types in Logic Programming 1992, 189-216. Web SearchBibTeX |
| 1991 |
|---|
| 19 | NUA-Prolog: An Extension to the WAM for Parallel Andorra. Doug Palmer, Lee Naish. ICLP 1991, 429-442. Web SearchBibTeX |
| 18 | Verification of Logic Programs and Imperative Programs. Lee Naish. ICLP Workshop on Construction of Logic Programs 1991, 143-164. Web SearchBibTeX |
| 17 | Adding equations to NU-Prolog. Lee Naish. PLILP 1991, 15-26. Web SearchBibTeXDownload |
| 1990 |
|---|
| 16 | Most Specific Logic Programs. Kim Marriott, Lee Naish, Jean-Louis Lassez. Ann. Math. Artif. Intell. (1): 303-338 (1990). Web SearchBibTeXDownload |
| 1989 |
|---|
| 15 | The NU-Prolog Debugging Environment. Lee Naish, Philip W. Dart, Justin Zobel. ICLP 1989, 521-536. Cited by 24Web SearchBibTeX |
| 14 | Proving Properties of Committed Choice Logic Programs. Lee Naish. J. Log. Program. (7): 63-84 (1989). Web SearchBibTeXDownload |
| 1988 |
|---|
| 13 | A Superjoin Algorithm for Deductive Databases. James A. Thom, Kotagiri Ramamohanarao, Lee Naish. Foundations of Deductive Databases and Logic Programming. 1988, 519-543. Web SearchBibTeX |
| 12 | Most Specific Logic Programs. Kim Marriott, Lee Naish, Jean-Louis Lassez. ICLP/SLP 1988, 909-923. Web SearchBibTeX |
| 11 | Parallelizing NU-Prolog. Lee Naish. ICLP/SLP 1988, 1546-1564. Web SearchBibTeX |
| 10 | The NU-Prolog Deductive Database System. Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart. Prolog and Databases 1988, 212-250. Cited by 16Web SearchBibTeX |
| 1987 |
|---|
| 9 | Specification = Program + Types. Lee Naish. FSTTCS 1987, 326-339. Web SearchBibTeXDownload |
| 8 | Concurrent Database Updates in PROLOG. Lee Naish, James A. Thom, Kotagiri Ramamohanarao. ICLP 1987, 178-195. Web SearchBibTeX |
| 7 | The NU-Prolog Deductive Database System. Kotagiri Ramamohanarao, John Shepherd, Isaac Balbin, Graeme S. Port, Lee Naish, James A. Thom, Justin Zobel, Philip W. Dart. IEEE Data Eng. Bull. (10): 10-19 (1987). Cited by 16Web SearchBibTeXDownload |
| 1986 |
|---|
| 6 | Negation and Quantifiers in NU-Prolog. Lee Naish. ICLP 1986, 624-634. Web SearchBibTeXDownload |
| 5 | A Superjoin Algorithm for Deductive Databases. James A. Thom, Kotagiri Ramamohanarao, Lee Naish. VLDB 1986, 189-196. Web SearchBibTeX |
| 1985 |
|---|
| 4 | Prolog Control Rules. Lee Naish. IJCAI 1985, 720-722. Web SearchBibTeX |
| 3 | Automating Control for Logic Programs. Lee Naish. J. Log. Program. (2): 167-183 (1985). Web SearchBibTeXDownload |
| 2 | All Solutions Predicates in Prolog. Lee Naish. SLP 1985, 73-77. Web SearchBibTeX |
| 1984 |
|---|
| 1 | Heterogeneous SLD Resolution. Lee Naish. J. Log. Program. (1): 297-303 (1984). Web SearchBibTeXDownload |
