Naomi Lindenstrauss

Publication Activity (10 Years)

Years Active: 1989-2022
Publications (10 Years): 1

Top Topics

Boolean Expressions

Top Venues

Random Struct. Algorithms

Publications

Naomi Lindenstrauss, Michel Talagrand
What is the satisfiability threshold of random balanced Boolean expressions? Random Struct. Algorithms 61 (3) (2022)
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12 (1/2) (2001)
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR (2000)
Naomi Lindenstrauss, Nachum Dershowitz
Abstract and-parallel Machines. Comput. Artif. Intell. 19 (5) (2000)
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
A General Framework for Automatic Termination Analysis of Logic Programs CoRR (2000)
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electron. Notes Theor. Comput. Sci. 30 (1) (1999)
Nachum Dershowitz, Naomi Lindenstrauss
Abstract And-Parallel Machines. Euro-Par (1997)
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV (1997)
Naomi Lindenstrauss, Yehoshua Sagiv
Automatic Termination Analysis of Logic Programs. ICLP (1997)
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
. LOPSTR (1997)
Nachum Dershowitz, Naomi Lindenstrauss
A parallel implementation of equational programming. Jerusalem Conference on Information Technology (1990)
Nachum Dershowitz, Naomi Lindenstrauss
An Abstract Concurrent Machine for Rewriting. ALP (1990)
Nachum Dershowitz, Naomi Lindenstrauss
Average Time Analyses Related to Logic Programming. ICLP (1989)
Naomi Lindenstrauss
A Parallel Implementation of Rewriting and Narrowing. RTA (1989)