Author: Zohar Manna
Publication Overview
Publication period start: 1978
Number of co-authors: 6
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Dershowitz,
Nachum,
Manna,
Zohar
(1979):
Proving Termination with Multiset Orderings.
In
Communications of the ACM,
22
(8)
pp. 465-476.
Manna,
Zohar,
Waldinger,
Richard J.
(1978):
Is \"Sometime\" Sometimes Better Than \"Always\"? (Intermittent Assertions in Proving Prog.
In
Communications of the ACM,
21
(2)
pp. 159-172.
Manna,
Zohar,
Shamir,
Adi
(1977):
The Optimal Approach to Recursive Programs.
In
Communications of the ACM,
20
(11)
pp. 824-831.
Katz,
Shmuel,
Manna,
Zohar
(1976):
Logical Analysis of Programs.
In
Communications of the ACM,
19
(4)
pp. 188-206.
Manna,
Zohar,
Nes,
Stephen,
Vuillemin,
Jean
(1973):
Inductive Methods for Proving Properties of Programs.
In
Communications of the ACM,
16
(8)
pp. 491-502.