The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lee Naish: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  35. Spectral Debugging with Weights and Incremental Ranking. [Citation Graph (, )][DBLP]


  36. Coercion-Resistant Tallying for STV Voting. [Citation Graph (, )][DBLP]


  37. A strategy for managing content complexity in algorithm animation. [Citation Graph (, )][DBLP]


  38. Declarative Diagnosis of Floundering [Citation Graph (, )][DBLP]


  39. A three-valued semantics for logic programmers [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002