dblp.uni-trier.dewww.uni-trier.de

Lee Naish Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
41EEVanessa Teague, Kim Ramchen, Lee Naish: Coercion-Resistant Tallying for STV Voting. EVT 2008
2007
40EELee Naish: Resource-Oriented Deadlock Analysis. ICLP 2007: 302-316
39EELee Naish: Declarative Diagnosis of Floundering CoRR abs/0711.0048: (2007)
2006
38EELee Naish: A three-valued semantics for logic programmers. TPLP 6(5): 509-538 (2006)
2005
37EELee Naish: A three-valued semantics for logic programmers CoRR abs/cs/0508004: (2005)
2003
36EEBernard Pope, Lee Naish: A Program Transformation for Debugging Haskell 98. ACSC 2003: 227-236
35EELee Naish: Approximating the Success Set of Logic Programs Using Constrained Regular Types. ACSC 2003: 61-67
34EEBernard Pope, Lee Naish: Practical aspects of declarative debugging in Haskell 98. PPDP 2003: 230-240
2002
33EELinda Stern, Lee Naish: Visual representations for recursive algorithms. SIGCSE 2002: 196-200
32EEBernard 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
30EELee Naish: A Three-Valued Declarative Debugging Scheme. ACSC 2000: 166-173
29EELee 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
27EELee 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
18EELee 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
10EELee 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
8EEKotagiri 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
5EEJames 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)

Coauthor Index

1Isaac Balbin [8] [11]
2Philip W. Dart [8] [11] [16]
3Manuel V. Hermenegildo [31]
4Jean-Louis Lassez [13] [17]
5Kim Marriott [13] [17]
6Doug Palmer [20]
7Bernard Pope [32] [34] [36]
8Graeme S. Port [8] [11]
9Kotagiri Ramamohanarao [5] [8] [9] [11] [12]
10Kim Ramchen [41]
11John Shepherd [8] [11]
12Leon Sterling [27] [28] [31]
13Linda Stern [33]
14Vanessa Teague [41]
15James A. Thom [5] [8] [9] [11] [12]
16Justin Zobel [8] [11] [16]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)