Naomi Lindenstrauss

17 papers A* 1B 2C 1Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	What is the satisfiability threshold of random balanced Boolean expressions? Random Struct. Algorithms Naomi Lindenstrauss, Michel Talagrand
2004	—	`ch.`	Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2001	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000	J	`jnl`	A General Framework for Automatic Termination Analysis of Logic Programs CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000	J	`jnl`	Abstract and-parallel Machines. Comput. Artif. Intell. Naomi Lindenstrauss, Nachum Dershowitz
2000	J	`jnl`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999	—	`conf`	Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Verification of Logic Programs@ICLP Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997	—	`conf`	Abstract And-Parallel Machines. Euro-Par Nachum Dershowitz, Naomi Lindenstrauss
1997	B	`conf`	Automatic Termination Analysis of Logic Programs. ICLP Naomi Lindenstrauss, Yehoshua Sagiv
1997	A*	`conf`	TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997	C	`conf`	Unfolding the Mystery of LOPSTR Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1995	—	`ed.`	Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings CTRS Nachum Dershowitz, Naomi Lindenstrauss
1990	—	`conf`	A parallel implementation of equational programming. Jerusalem Conference on Information Technology Nachum Dershowitz, Naomi Lindenstrauss
1990	—	`conf`	An Abstract Concurrent Machine for Rewriting. ALP Nachum Dershowitz, Naomi Lindenstrauss
1990	—	`—`	Search strategies for solutions to goals of horn clause programs and rewrite programs (אסטרטגיות לחפוש פתרונות למטרות של תכניות משפטי הורן ותכניות שכתוב). Naomi Lindenstrauss
1989	—	`conf`	A Parallel Implementation of Rewriting and Narrowing. RTA Naomi Lindenstrauss
1989	B	`conf`	Average Time Analyses Related to Logic Programming. ICLP Nachum Dershowitz, Naomi Lindenstrauss