| 2007 | ||
|---|---|---|
| 40 | EE | Lee Naish: Resource-Oriented Deadlock Analysis. ICLP 2007: 302-316 |
| 39 | EE | Lee Naish: Declarative Diagnosis of Floundering CoRR abs/0711.0048: (2007) |
| 2006 | ||
| 38 | EE | Lee Naish: A three-valued semantics for logic programmers. TPLP 6(5): 509-538 (2006) |
| 2005 | ||
| 37 | EE | Lee Naish: A three-valued semantics for logic programmers CoRR abs/cs/0508004: (2005) |
| 2003 | ||
| 36 | EE | Bernard Pope, Lee Naish: A Program Transformation for Debugging Haskell 98. ACSC 2003: 227-236 |
| 35 | EE | Lee Naish: Approximating the Success Set of Logic Programs Using Constrained Regular Types. ACSC 2003: 61-67 |
| 34 | EE | Bernard Pope, Lee Naish: Practical aspects of declarative debugging in Haskell 98. PPDP 2003: 230-240 |
| 2002 | ||
| 33 | EE | Linda Stern, Lee Naish: Visual representations for recursive algorithms. SIGCSE 2002: 196-200 |
| 32 | EE | Bernard Pope, Lee Naish: Specialisation of Higher-Order Functions for Debugging. Electr. Notes Theor. Comput. Sci. 64: (2002) |
| 2001 | ||
| 31 | Leon Sterling, Lee Naish, Manuel V. Hermenegildo: Guest editor's introduction Special issue on Logic Programming and the Internet. TPLP 1(3): 249-250 (2001) | |
| 2000 | ||
| 30 | EE | Lee Naish: A Three-Valued Declarative Debugging Scheme. ACSC 2000: 166-173 |
| 29 | EE | Lee Naish: A Three-Valued Semantic for Horn Clause Programs. ACSC 2000: 174-180 |
| 28 | Lee Naish, Leon Sterling: Stepwise Enhancement and Higher-Order Programming in Prolog. Journal of Functional and Logic Programming 2000(4): (2000) | |
| 1997 | ||
| 27 | EE | Lee Naish, Leon Sterling: A Higher Order Reconstruction of Stepwise Enhancement. LOPSTR 1997: 245-262 |
| 26 | Lee Naish: A Three-Valued Declarative Debugging Scheme. LPE 1997: 1-12 | |
| 25 | Lee Naish: A Declarative Debugging Scheme. Journal of Functional and Logic Programming 1997(3): (1997) | |
| 1996 | ||
| 24 | Lee Naish: A Declarative View of Modes. JICSLP 1996: 185-199 | |
| 1992 | ||
| 23 | Lee Naish: Declarative Debugging of Lazy Functional Programs. LPE 1992: 29-34 | |
| 22 | Lee Naish: Types and the Intended Meaning of Logic Programs. Types in Logic Programming 1992: 189-216 | |
| 21 | Lee Naish: Declarative Diagnosis of Missing Answers. New Generation Comput. 10(3): 255-286 (1992) | |
| 1991 | ||
| 20 | Doug Palmer, Lee Naish: NUA-Prolog: An Extension to the WAM for Parallel Andorra. ICLP 1991: 429-442 | |
| 19 | Lee Naish: Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs 1991: 143-164 | |
| 18 | Lee Naish: Adding equations to NU-Prolog. PLILP 1991: 15-26 | |
| 1990 | ||
| 17 | Kim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. Ann. Math. Artif. Intell. 1: (1990) | |
| 1989 | ||
| 16 | Lee Naish, Philip W. Dart, Justin Zobel: The NU-Prolog Debugging Environment. ICLP 1989: 521-536 | |
| 15 | Lee Naish: Proving Properties of Committed Choice Logic Programs. J. Log. Program. 7(1): 63-84 (1989) | |
| 1988 | ||
| 14 | Lee Naish: Parallelizing NU-Prolog. ICLP/SLP 1988: 1546-1564 | |
| 13 | Kim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. ICLP/SLP 1988: 909-923 | |
| 12 | James A. Thom, Kotagiri Ramamohanarao, Lee Naish: A Superjoin Algorithm for Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 519-543 | |
| 11 | 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. Prolog and Databases 1988: 212-250 | |
| 1987 | ||
| 10 | Lee Naish: Specification = Program + Types. FSTTCS 1987: 326-339 | |
| 9 | Lee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. ICLP 1987: 178-195 | |
| 8 | EE | 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): 10-19 (1987) |
| 1986 | ||
| 7 | Lee Naish: Negation and Control in Prolog Springer 1986 | |
| 6 | Lee Naish: Negation and Quantifiers in NU-Prolog. ICLP 1986: 624-634 | |
| 5 | EE | James A. Thom, Kotagiri Ramamohanarao, Lee Naish: A Superjoin Algorithm for Deductive Databases. VLDB 1986: 189-196 |
| 1985 | ||
| 4 | Lee Naish: Prolog Control Rules. IJCAI 1985: 720-722 | |
| 3 | Lee Naish: All Solutions Predicates in Prolog. SLP 1985: 73-77 | |
| 2 | Lee Naish: Automating Control for Logic Programs. J. Log. Program. 2(3): 167-183 (1985) | |
| 1984 | ||
| 1 | Lee Naish: Heterogeneous SLD Resolution. J. Log. Program. 1(4): 297-303 (1984) | |
| 1 | Isaac Balbin | [8] [11] |
| 2 | Philip W. Dart | [8] [11] [16] |
| 3 | Manuel V. Hermenegildo | [31] |
| 4 | Jean-Louis Lassez | [13] [17] |
| 5 | Kim Marriott | [13] [17] |
| 6 | Doug Palmer | [20] |
| 7 | Bernard Pope | [32] [34] [36] |
| 8 | Graeme S. Port | [8] [11] |
| 9 | Kotagiri Ramamohanarao | [5] [8] [9] [11] [12] |
| 10 | John Shepherd | [8] [11] |
| 11 | Leon Sterling | [27] [28] [31] |
| 12 | Linda Stern | [33] |
| 13 | James A. Thom | [5] [8] [9] [11] [12] |
| 14 | Justin Zobel | [8] [11] [16] |
Colors in the list of coauthors