Naomi Lindenstrauss

According to our database, Naomi Lindenstrauss authored at least 13 papers between 1989 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

What is the satisfiability threshold of random balanced Boolean expressions?

Naomi Lindenstrauss, Michel Talagrand

Random Struct. Algorithms, 2022

2004

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2001

A General Framework for Automatic Termination Analysis of Logic Programs.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Appl. Algebra Eng. Commun. Comput., 2001

2000

Abstract and-parallel Machines.

Naomi Lindenstrauss, Nachum Dershowitz

Comput. Artif. Intell., 2000

1999

Automatic Termination Analysis of Programs Containing Arithmetic Predicates.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Workshop on Verification of Logic Programs 1999, 1999

1997

Unfolding the Mystery of <i>Mergesort</i>.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Automatic Termination Analysis of Logic Programs.

Naomi Lindenstrauss, Yehoshua Sagiv

Proceedings of the Logic Programming, 1997

TermiLog: A System for Checking Termination of Queries to Logic Programs.

Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1990

Search strategies for solutions to goals of horn clause programs and rewrite programs (אסטרטגיות לחפוש פתרונות למטרות של תכניות משפטי הורן ותכניות שכתוב).

Naomi Lindenstrauss

PhD thesis, 1990

A parallel implementation of equational programming.

Nachum Dershowitz, Naomi Lindenstrauss

Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

An Abstract Concurrent Machine for Rewriting.

Nachum Dershowitz, Naomi Lindenstrauss

Proceedings of the Algebraic and Logic Programming, 1990

1989

A Parallel Implementation of Rewriting and Narrowing.

Naomi Lindenstrauss

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

Average Time Analyses Related to Logic Programming.

Nachum Dershowitz, Naomi Lindenstrauss

Proceedings of the Logic Programming, 1989