Lee Naish Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish, Hua Jie Lee, Kotagiri Ramamohanarao: Spectral Debugging with Weights and Incremental Ranking. APSEC 2009: 168-175
2008
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVanessa Teague, Kim Ramchen, Lee Naish: Coercion-Resistant Tallying for STV Voting. EVT 2008
2007
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Resource-Oriented Deadlock Analysis. ICLP 2007: 302-316
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Declarative Diagnosis of Floundering CoRR abs/0711.0048: (2007)
2006
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A three-valued semantics for logic programmers. TPLP 6(5): 509-538 (2006)
2005
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A three-valued semantics for logic programmers CoRR abs/cs/0508004: (2005)
2003
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Pope, Lee Naish: A Program Transformation for Debugging Haskell 98. ACSC 2003: 227-236
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Approximating the Success Set of Logic Programs Using Constrained Regular Types. ACSC 2003: 61-67
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Pope, Lee Naish: Practical aspects of declarative debugging in Haskell 98. PPDP 2003: 230-240
2002
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Stern, Lee Naish: Visual representations for recursive algorithms. SIGCSE 2002: 196-200
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernard Pope, Lee Naish: Specialisation of Higher-Order Functions for Debugging. Electr. Notes Theor. Comput. Sci. 64: (2002)
2001
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon 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
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A Three-Valued Declarative Debugging Scheme. ACSC 2000: 166-173
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A Three-Valued Semantic for Horn Clause Programs. ACSC 2000: 174-180
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish, Leon Sterling: Stepwise Enhancement and Higher-Order Programming in Prolog. Journal of Functional and Logic Programming 2000(4): (2000)
1999
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLinda Stern, Harald Søndergaard, Lee Naish: A strategy for managing content complexity in algorithm animation. ITiCSE 1999: 127-130
1997
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish, Leon Sterling: A Higher Order Reconstruction of Stepwise Enhancement. LOPSTR 1997: 245-262
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A Three-Valued Declarative Debugging Scheme. LPE 1997: 1-12
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A Declarative Debugging Scheme. Journal of Functional and Logic Programming 1997(3): (1997)
1996
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: A Declarative View of Modes. JICSLP 1996: 185-199
1992
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Declarative Debugging of Lazy Functional Programs. LPE 1992: 29-34
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Types and the Intended Meaning of Logic Programs. Types in Logic Programming 1992: 189-216
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Declarative Diagnosis of Missing Answers. New Generation Comput. 10(3): 255-286 (1992)
1991
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Palmer, Lee Naish: NUA-Prolog: An Extension to the WAM for Parallel Andorra. ICLP 1991: 429-442
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Verification of Logic Programs and Imperative Programs. ICLP Workshop on Construction of Logic Programs 1991: 143-164
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Adding equations to NU-Prolog. PLILP 1991: 15-26
1990
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. Ann. Math. Artif. Intell. 1: (1990)
1989
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish, Philip W. Dart, Justin Zobel: The NU-Prolog Debugging Environment. ICLP 1989: 521-536
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Proving Properties of Committed Choice Logic Programs. J. Log. Program. 7(1): 63-84 (1989)
1988
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Parallelizing NU-Prolog. ICLP/SLP 1988: 1546-1564
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Lee Naish, Jean-Louis Lassez: Most Specific Logic Programs. ICLP/SLP 1988: 909-923
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Thom, Kotagiri Ramamohanarao, Lee Naish: A Superjoin Algorithm for Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 519-543
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKotagiri 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Specification = Program + Types. FSTTCS 1987: 326-339
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish, James A. Thom, Kotagiri Ramamohanarao: Concurrent Database Updates in PROLOG. ICLP 1987: 178-195
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKotagiri 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
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Negation and Control in Prolog Springer 1986
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Negation and Quantifiers in NU-Prolog. ICLP 1986: 624-634
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames A. Thom, Kotagiri Ramamohanarao, Lee Naish: A Superjoin Algorithm for Deductive Databases. VLDB 1986: 189-196
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Prolog Control Rules. IJCAI 1985: 720-722
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: All Solutions Predicates in Prolog. SLP 1985: 73-77
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee Naish: Automating Control for Logic Programs. J. Log. Program. 2(3): 167-183 (1985)
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLee 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 [32]
4Jean-Louis Lassez [13] [17]
5Hua Jie Lee [43]
6Kim Marriott [13] [17]
7Doug Palmer [20]
8Bernard Pope [33] [35] [37]
9Graeme S. Port [8] [11]
10Kotagiri Ramamohanarao [5] [8] [9] [11] [12] [43]
11Kim Ramchen [42]
12John Shepherd [8] [11]
13Harald Søndergaard [28]
14Leon Sterling [27] [29] [32]
15Linda Stern [28] [34]
16Vanessa Teague [42]
17James A. Thom [5] [8] [9] [11] [12]
18Justin Zobel [8] [11] [16]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)