Zohar Manna

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1971
Publication period end
1979
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.

Manna, Zohar, Vuillemin, Jean (1972): Fix Point Approach to the Theory of Computation. In Communications of the ACM, 15 (7) pp. 528-536.

Manna, Zohar, Waldinger, Richard J. (1971): Toward Automatic Program Synthesis. In Communications of the ACM, 14 (3) pp. 151-165.