The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Naomi Lindenstrauss: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nachum Dershowitz, Naomi Lindenstrauss
    An Abstract Concurrent Machine for Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:318-331 [Conf]
  2. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    TermiLog: A System for Checking Termination of Queries to Logic Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:444-447 [Conf]
  3. Nachum Dershowitz, Naomi Lindenstrauss
    Abstract And-Parallel Machines. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:1221-1225 [Conf]
  4. Nachum Dershowitz, Naomi Lindenstrauss
    Average Time Analyses Related to Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:369-381 [Conf]
  5. Naomi Lindenstrauss, Yehoshua Sagiv
    Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:63-77 [Conf]
  6. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:453-498 [Conf]
  7. Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Unfolding the Mystery of Mergesort. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:206-225 [Conf]
  8. Naomi Lindenstrauss
    A Parallel Implementation of Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP]
    RTA, 1989, pp:569-573 [Conf]
  9. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    A General Framework for Automatic Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2001, v:12, n:1/2, pp:117-156 [Journal]
  10. Naomi Lindenstrauss, Nachum Dershowitz
    Abstract and-parallel Machines. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2000, v:19, n:5, pp:- [Journal]
  11. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Automatic Termination Analysis of Programs Containing Arithmetic Predicates [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  12. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    A General Framework for Automatic Termination Analysis of Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  13. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
    Automatic Termination Analysis of Programs Containing Arithmetic Predicates. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:1, pp:- [Journal]

Search in 0.307secs, Finished in 0.308secs
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