Statistics
Publications
84
Citations
7.8K
H-Index
45
Active since
1969
Affiliations
Zohar Manna is an author at Stanford University specializing in computer science, computing, and formal methods.
Publications per year
1969–2013
84
84
Proving termination with multiset orderings
Nachum Dershowitz, Zohar Manna · Communications of the ACM · 1979 · 540 citations · Full text
The temporal logic of branching time
Mordechai Ben‐Ari, Amir Pnueli, Zohar Manna · Acta Informatica · 1983 · 371 citations
Toward automatic program synthesis
Zohar Manna, Richard Waldinger · Communications of the ACM · 1971 · 297 citations · Full text
1–5 of 84