Naomi Lindenstrauss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1989–1997
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | CAV | TermiLog: A System for Checking Termination of Queries to Logic Programs. | Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |
| 1997 | EuroPar | Abstract And-Parallel Machines. | Nachum Dershowitz, Naomi Lindenstrauss |
| 1997 | ICLP | Automatic Termination Analysis of Logic Programs. | Naomi Lindenstrauss, Yehoshua Sagiv |
| 1997 | LOPSTR | Unfolding the Mystery of | Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik |
| 1989 | ICLP | Average Time Analyses Related to Logic Programming. | Nachum Dershowitz, Naomi Lindenstrauss |