Zohar Manna - Concepedia

Author

Zohar Manna

Stanford University

Also Known As

Manna, Zohar, Manna,Zohar, Z Manna, Z. Manna, ZOHAR MANNA, Zohar Manna

307

Publications

21.3K

Citations

H-Index

Concepts

All Affiliations

Stanford University Weizmann Institute of Science SRI International Menlo School

About

Zohar Manna is an author at Stanford University specializing in formal methods, engineering, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	39	69	6.3K
2	Language Studies	6	6	433
3	Management	1	1	40
4	Behavioral Sciences	1	1	84
5	Communication	1	1	28

Zohar Manna

Publications

7.7K

Citations

H-Index

Page 1

	Year	Citations
A Deductive Approach to Program Synthesis Zohar Manna, Richard Waldinger ACM Transactions on Programming Languages and Systems Formal SpecificationEngineeringAutomated ReasoningProgram AnalysisDeductive Approach	1980	574
Proving termination with multiset orderings Nachum Dershowitz, Zohar Manna Communications of the ACM Program CheckingEngineeringMultiset OrderingsCombinatorial DesignComputational Complexity	1979	532
Synthesis of Communicating Processes from Temporal Logic Specifications Zohar Manna, Pierre Wolper ACM Transactions on Programming Languages and Systems	1984	497
The temporal logic of branching time Mordechai Ben‐Ari, Amir Pnueli, Zohar Manna Acta Informatica EngineeringAutomated ReasoningFormal MethodsComputer ScienceTemporal Logic	1983	371
Toward automatic program synthesis Zohar Manna, Richard Waldinger Communications of the ACM Elementary OutlineEngineeringInduction RuleVerificationSoftware Engineering	1971	293
LOLA: Runtime Monitoring of Synchronous Systems Ben D'Angelo, S. Sankaranarayanan, César Sánchez, EngineeringComputer ArchitectureEmbedded SystemsSoftware AnalysisFormal Verification	2005	280
Non-linear loop invariant generation using Gröbner bases Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna Mathematical ProgrammingEngineeringVerificationInvariant GenerationComputational Complexity	2004	250
How to cook a temporal proof system for your pet language Zohar Manna, Amir Pnueli Petri NetEngineeringVerificationConcurrent SystemSemantics	1983	219
Completing the temporal picture Zohar Manna, Amir Pnueli Theoretical Computer Science Spatialtemporal ReasoningTemporal DynamicTemporal PictureTemporal LogicComputer Vision	1991	217
The temporal logic of branching time Mordechai Ben‐Ari, Zohar Manna, Amir Pnueli Decision ProcedureFormal SpecificationEngineeringDeductive DatabaseAutomated Reasoning	1981	215

Page 1