( en | de | ru )

 

Disambiguation of "Manna, Zohar"

Author of the publication

copydeleteadd this publication to your clipboard
Non-linear loop invariant generation using Gröbner bases.

, , and . POPL, page 318-329. ACM, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zohar Efroni

Carlo Manna

Zohar Jacob

Enzo Manna

Stefano Manna

 

Other publications of authors with the same name

Mathematical Theory of Computation. McGraw-Hill Computer Science Series McGraw-Hill Kogakusha, Tokyo, (1974)On the Faithfulness of Formal Models., and . MFCS, volume 520 of Lecture Notes in Computer Science, page 28-42. Springer, (1991)Program Schemas with Equality, and . STOC, page 52-64. ACM, (1972)Second-Order Mathematical Theory of Computation. STOC, page 158-168. ACM, (1970)Synchronous Schemes and Their Decision Problems., and . POPL, page 62-67. ACM Press, (1980)The Temporal Logic of Branching Time., , and . POPL, page 164-176. ACM Press, (1981)The Optimal Approach to Recursive Programs., and . Commun. ACM, 20 (11): 824-831 (1977)Logical Analysis of Programs., and . Commun. ACM, 19 (4): 188-206 (1976)Deductive Model Checking., , and . Formal Methods Syst. Des., 15 (1): 49-74 (1999)Prooving Safety Properties of Hybrid Systems., , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 431-454. Springer, (1994)