| 2008 |
|---|
| 41 | EE | Vanessa Teague,
Kim Ramchen,
Lee Naish:
Coercion-Resistant Tallying for STV Voting.
EVT 2008 |
| 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) |
