| 2010 | APSEC | Statements versus Predicates in Spectral Bug Localization. | Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao |
| 2010 | COMPSAC | Effective Software Bug Localization Using Spectral Frequency Weighting Function. | Hua Jie Lee, Lee Naish, Kotagiri Ramamohanarao |
| 2009 | APSEC | Spectral Debugging with Weights and Incremental Ranking. | Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao |
| 2007 | ICLP | Resource-Oriented Deadlock Analysis. | Lee Naish |
| 2003 | PPDP | Practical aspects of declarative debugging in Haskell 98. | Bernard J. Pope, Lee Naish |
| 2002 | SIGCSE | Visual representations for recursive algorithms. | Linda Stern, Lee Naish |
| 1999 | ITiCSE | A strategy for managing content complexity in algorithm animation. | Linda Stern, Harald Sndergaard, Lee Naish |
| 1997 | LOPSTR | A Higher Order Reconstruction of Stepwise Enhancement. | Lee Naish, Leon Sterling |
| 1996 | ICLP | A Declarative View of Modes. | Lee Naish |
| 1991 | ICLP | Verification of Logic Programs and Imperative Programs. | Lee Naish |
| 1991 | ICLP | NUA-Prolog: An Extension to the WAM for Parallel Andorra. | Doug Palmer, Lee Naish |
| 1989 | ICLP | The NU-Prolog Debugging Environment. | Lee Naish, Philip W. Dart, Justin Zobel |
| 1988 | ICLP | Most Specific Logic Programs. | Kim Marriott, Lee Naish, Jean-Louis Lassez |
| 1988 | ICLP | Parallelizing NU-Prolog. | Lee Naish |
| 1987 | ICLP | Concurrent Database Updates in PROLOG. | Lee Naish, James A. Thom, Kotagiri Ramamohanarao |
| 1986 | ICLP | Negation and Quantifiers in NU-Prolog. | Lee Naish |
| 1986 | VLDB | A Superjoin Algorithm for Deductive Databases. | James A. Thom, Kotagiri Ramamohanarao, Lee Naish |
| 1985 | IJCAI | Prolog Control Rules. | Lee Naish |