Zohar Manna
About
Zohar Manna has authored 86 papers that have received a total of 3.8k indexed citations.
This includes 70 papers in Computational Theory and Mathematics, 68 papers in Artificial Intelligence and 26 papers in Software. The topics of these papers are Logic, programming, and type systems (65 papers), Formal Methods in Verification (52 papers) and Logic, Reasoning, and Knowledge (22 papers). Zohar Manna is often cited by papers focused on Logic, programming, and type systems (65 papers), Formal Methods in Verification (52 papers) and Logic, Reasoning, and Knowledge (22 papers) and collaborates with scholars based in United States, Israel and France. Zohar Manna's co-authors include Amir Pnueli, Richard Waldinger, Henny B. Sipma, Nachum Dershowitz and Aaron R. Bradley and has published in prestigious journals such as Communications of the ACM, Artificial Intelligence and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Peter E. Murray are about Top fields papers by Lygia da Veiga Pereira are about Top journals papers by O.S. Heavens are published in Top fields papers by Peter J. Deuss are about Top fields papers by George Pickering are about Top authors papers by Benjamin Butz are co-authored with Top authors papers by F. P. Bierlein are co-authored with Top journals papers by Hongmei Zhu are published in