Zohar Manna | Academic Influence

Zohar Manna's AcademicInfluence.com Rankings

Zohar Manna

Computer Science

#527

World Rank

#547

Historical Rank

#289

USA Rank

Automated Reasoning

#1

World Rank

#1

Historical Rank

#1

USA Rank

Artificial Intelligence

#267

World Rank

#272

Historical Rank

#109

USA Rank

computer-science Degrees

Zohar Manna

Mathematics

#2012

World Rank

#3175

Historical Rank

#807

USA Rank

Measure Theory

#497

World Rank

#703

Historical Rank

#206

USA Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Zohar Manna's Degrees

Bachelors Mathematics Technion – Israel Institute of Technology

Similar Degrees You Can Earn

Best Online Bachelor's in Math 2025

Why Is Zohar Manna Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Zohar Manna was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Biography He was born in Haifa, Israel. He earned his Bachelor of Science and Master of Science degrees from the Technion – Israel Institute of Technology.

(See a Problem?)

Zohar Manna's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Temporal Logic of Reactive and Concurrent Systems (1991) (4001)
Temporal verification of reactive systems - safety (1995) (1270)
Temporal Verification of Reactive Systems (1995) (756)
Proving termination with multiset orderings (1979) (673)
A Deductive Approach to Program Synthesis (1979) (654)
The temporal logic of branching time (1981) (637)
Synthesis of Communicating Processes from Temporal Logic Specifications (1981) (542)
From Timed to Hybrid Systems (1991) (458)
What Good Are Digital Clocks? (1992) (322)
Verification of concurrent programs, Part I: The temporal framework (1981) (313)
A hierarchy of temporal properties (1987) (303)
What's Decidable About Arrays? (2006) (302)
Timed Transition Systems (1991) (298)
Non-linear loop invariant generation using Gröbner bases (2004) (294)
Toward automatic program synthesis (1971) (291)
Completing the Temporal Picture (1989) (270)
Temporal Logic Programming (1989) (266)
The calculus of computation - decision procedures with applications to verification (2007) (249)
LOLA: runtime monitoring of synchronous systems (2005) (242)
How to cook a temporal proof system for your pet language (1983) (239)
Introduction to mathematical theory of computation (1972) (236)
Scalable Analysis of Linear Systems Using Mathematical Programming (2005) (233)
The anchored version of the temporal framework (1988) (220)
STeP: The Stanford Temporal Prover (1995) (216)
Linear Ranking with Reachability (2005) (208)
Constructing invariants for hybrid systems (2004) (205)
Verifying Hybrid Systems (1992) (201)
Automatic Generation of Invariants and Intermediate Assertions (1997) (200)
Fundamentals of Deductive Program Synthesis (1992) (183)
Temporal proof methodologies for real-time systems (1991) (182)
A Hardware Semantics Based on Temporal Intervals (1983) (181)
The logical basis for computer programming (1985) (178)
Mathematical Theory of Computation (2003) (174)
Synthesis: Dreams - Programs (1979) (167)
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (1996) (160)
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs (1984) (160)
Verification of concurrent programs: a temporal proof system (1983) (157)
Logics of Programs (1981) (156)
Termination of Polynomial Programs (2005) (146)
Logical analysis of programs (1976) (144)
The Translation of 'Go To' Programs to 'While' Programs (1971) (135)
A hierarchy of temporal properties (invited paper, 1989) (1990) (133)
The Polyranking Principle (2005) (126)
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial (2000) (120)
Inductive methods for proving properties of programs (1972) (118)
A Decision Algorithm for Full Propositional Temporal Logic (1993) (118)
Constraint-Based Linear-Relations Analysis (2004) (116)
Knowledge and Reasoning in Program Synthesis (1974) (116)
Temporal Proof Methodologies for Timed Transition Systems (1994) (113)
Deductive Model Checking (1996) (110)
Characterization of Temporal Property Classes (1992) (110)
Verification of Concurrent Programs: Temporal Proof Principles (1981) (110)
Reasoning in Interval Temporal Logic (1983) (108)
Checking Safety by Inductive Generalization of Counterexamples to Induction (2007) (99)
Specification and verification of concurrent programs by A∀automata (1987) (98)
The Correctness of Programs (1969) (94)
The logical basis for computer programming. Volume 1: deductive reasoning (1985) (93)
Fixpoint approach to the theory of computation (1972) (90)
Termination Analysis of Integer Linear Loops (2005) (90)
Deductive verification of real-time systems using STeP (1997) (89)
Properties of Programs and the First-Order Predicate Calculus (1969) (86)
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday (2004) (85)
Inductive methods for proving properties of programs (1973) (85)
Deductive Synthesis of the Unification Algorithm (1981) (84)
Is “sometime” sometimes better than “always”?: Intermittent assertions in proving program correctness (1976) (84)
Temporal Verification Diagrams (1994) (82)
Property-directed incremental invariant generation (2008) (80)
Formalization of properties of parallel programs (1970) (78)
PROPERTIES OF PROGRAMS AND PARTIAL FUNCTION LOGIC (1969) (78)
Special relations in automated deduction (1985) (76)
Nonclausal deduction in first-order temporal logic (1990) (74)
The Modal Logic of Programs (1979) (72)
Formalization of Properties of Functional Programs (1970) (68)
Decidable Properties of Monadic Functional Schemas (1973) (66)
The Safety-Progress Classification (1993) (66)
Temporal Verification of Simulation and Refinement (1993) (66)
Combining Decision Procedures (2002) (65)
Compositional verification of real-time systems (1994) (62)
The Logic of Computer Programming (1978) (62)
Tools and rules for the practicing verifier (1990) (61)
A Heuristic Approach to Program Verification (1973) (60)
Modal Theorem Proving (1986) (59)
Generalized Temporal Verification Diagrams (1995) (56)
Clocked Transition Systems (1996) (55)
The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming" (1993) (55)
Efficient Strongly Relational Polyhedral Analysis (2006) (55)
Deductive Verification of Hybrid Systems Using STeP (1998) (53)
Proving Precedence Properties: The Temporal Way (1983) (52)
STeP: The Stanford Temporal Prover (Educational Release) User''s Manual (1995) (49)
Verifying Clocked Transition Systems (1996) (49)
Nonclausal Temporal Deduction (1985) (48)
Models for reactivity (1993) (48)
The Correctness of Nondeterministic Programs (1970) (48)
Visual Abstractions for Temporal Verification (1999) (45)
Towards Refining Temporal Specifications into Hybrid Systems (1992) (45)
Verification of clocked and hybrid systems (1996) (44)
How to clear a block: A theory of plans (1987) (40)
Axiomatic approach to total correctness of programs (1973) (39)
The Theoretical Aspects of the Optimal Fixed Point (1976) (39)
Event Correlation: Language and Semantics (2003) (38)
An interleaving model for real-time (1990) (38)
A Timely Resolution (1986) (37)
Realizability and Synthesis of Reactive Modules (1994) (36)
Decision procedures for term algebras with integer constraints (2006) (33)
Abstraction-based deductive-algorithmic verification of reactive systems (2001) (33)
Verification of Sequential Programs: Temporal Axiomatization (1982) (31)
Termination of algorithms (1968) (31)
Abstraction and Modular Verification of Infinite-State Reactive Systems (1997) (30)
Mathematical Theory of Partial Correctness (1971) (29)
Inference Rules for Program Annotation (1978) (28)
Deductive Verification of Modular Systems (1997) (28)
Petri Net Analysis Using Invariant Generation (2003) (28)
The automatic synthesis of recursive programs (1977) (27)
Towards automatic program synthesis (1971) (27)
Prooving Safety Properties of Hybrid Systems (1994) (27)
Decision Procedures for Recursive Data Structures with Integer Constraints (2004) (27)
The logical basis for computer programming: vol. 2, deductive systems (1990) (26)
TABLOG: The deductive-tableau programming language (1984) (25)
Verification in Continuous Time by Discrete Reasoning (1995) (25)
An exercise in the verification of multi-process programs (1990) (25)
Time for Verification, Essays in Memory of Amir Pnueli (2010) (25)
A temporal proof methodology for reactive systems (1990) (25)
The Evolution of Programs: Automatic Program Modification (1977) (24)
Towards automatic debugging of programs (1975) (24)
The Origin of the Binary-Search Paradigm (1985) (24)
A closer look at termination (1975) (23)
A THEORY OF PLANS (1987) (23)
Verifying Balanced Trees (2007) (23)
The optimal approach to recursive programs (1977) (22)
On the Power of Programming Features (1976) (22)
Temporal Specification and Verification of Reactive Modules (1992) (22)
On efficient distributed deadlock avoidance for real-time and embedded systems (2006) (22)
Translating Program Schemas to While-Schemas (1975) (22)
The evolution of programs: a system for automatic program modification (1977) (21)
How to Clear a Block: Plan Formation in Situational Logic (1986) (20)
Verification of parameterized programs (1995) (20)
Formalization of properties of recursively defined functions (1969) (20)
TABLOG: A New Approach To Logic Programming (1986) (19)
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems (2005) (19)
Expressive Completeness of an Event-Pattern Reactive Programming Language (2005) (19)
Program schemas with equality (1972) (18)
Efficient distributed deadlock avoidance with liveness guarantees (2006) (18)
Alternating the Temporal Picture for Safety (2000) (16)
Temporal Verification by Diagram Transformations (1996) (16)
Verification Constraint Problems with Strengthening (2006) (16)
Special Relations in Program-Synthetic Deduction, (1982) (16)
The Convergence of Functions to Fixedpoints of Recursive Definitions (1977) (16)
Term Algebras with Length Function and Bounded Quantifier Alternation (2004) (16)
On the Faithfulness of Formal Models (1991) (15)
Temporal Verification of Reactive Systems: Response (2010) (15)
Visual Verification of Reactive Systems (1997) (14)
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems (1998) (14)
Studies In Automatic Programming Logic (1977) (14)
The Decidability of the First-Order Theory of Knuth-Bendix Order (2005) (14)
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification (1997) (14)
Second-order mathematical theory of computation (1970) (14)
The Deductive Synthesis of Imperative LISP Programs (1987) (14)
Automatic Generation of Invariants and Assertions (1995) (13)
Specification and Verification of Concurrent Programs by forall-Automata (1987) (13)
Temporal Veri cation Diagrams ? (1994) (13)
Fixed Point Iteration for Computing the Time Elapse Operator (2006) (12)
THE CORRECTNESS OF NON-DETERMINISTIC PROGRAMS, (1969) (12)
Final Semantics for Event-Pattern Reactive Programs (2005) (11)
Differential BDDs (1995) (11)
Beyond Model Checking (1994) (11)
The Automatic Synthesis of Systems of Recursive Programs (1977) (11)
The Special-Relation Rules are Incomplete (1992) (11)
Temporal Veri cation of Simulation andRe nement ? (1994) (11)
The optimal fixedpoint of recursive programs (1975) (10)
Time for Concurrency (1992) (10)
Generalized Temporal Veriication Diagrams ? (1994) (10)
Verification of Concurrent Programs: Proving Eventualities by Well-Founded Ranking, (1982) (10)
Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study (2000) (9)
Specification and Verification of Controlled Systems (1994) (9)
The synthesis of structure-changing programs (1978) (9)
Verification of Parameterized Systems by Dynamic Induction on Diagrams (1999) (8)
Decision Procedures for Queues with Integer Constraints (2005) (8)
A new approach to recursive programs. (1975) (8)
Hierarchical Verification Using Verification Diagrams (1996) (8)
FORMALIZATION OF PROPERTIES OF PROGRAMS (1968) (7)
Verification of Concurrent Programs. Part II. Temporal Proof Principles. (1981) (7)
Lectures on the Logic of Computer Programming (1980) (6)
Distributed Priority Inheritance for Real-Time and Embedded Systems (2006) (6)
Problematic features of programming languages: a situational-calculus approach (1980) (5)
Deductive verification of alternating systems (2008) (5)
Polyranking for Polynomial Loops (2005) (5)
The Validity Problem of the 91-Function, (1968) (5)
Monotonicity Properties in Automated Deduction (1991) (5)
Annotation-Based Deduction in Temporal Logic (1994) (5)
Continuous Verification by Discrete Reasoning (1994) (4)
The Reaction Algebra: A Formal Language for Event Correlation (2008) (4)
Compositional Veri cation of Real-time Systems (1994) (4)
Decomposing, Transforming and Composing Diagrams: The Joys of Modular Verification (1998) (4)
Proving ATL* Properties of Infinite-State Systems (2006) (4)
Veriication of Parameterized Programs (1995) (4)
Hierarchical Veriication Using Veriication Diagrams ? (1996) (4)
Generating Efficient Distributed Deadlock Avoidance Controllers (2007) (3)
Synchronous schemes and their decision problems (1980) (3)
Controller Synthesis of Discrete Linear Plants Using Polyhedra (2007) (3)
Deduction with Relation Matching (1985) (3)
Towards Deductive Synthesis of Dataflow Networks (1986) (3)
Deductive Veri cation of Modular Systems ? (1997) (3)
A Hierarchy of Temporal Properties (Abstract). (1987) (3)
Tablog: Functional and Relational Programming in One Framework (1986) (2)
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (2007) (2)
On Program Synthesis and Program Verification (1970) (2)
Diagram-based Formalisms for the Veriication of Reactive Systems in Cade-13 Workshop on Visual Reasoning (1996) (2)
Structured programming with recursion (1978) (2)
Termination and Invariance Analysis of Loops (2005) (2)
Visual Veriication of Reactive Systems ? (1997) (2)
Integrating Tools for Practical Software Analysis (2004) (2)
Deductive Veriication of Parameterized Fault-tolerant Systems: a Case Study ? (1997) (2)
A Temporal Plan Theory (1995) (1)
Game-Theoretic Deductive Verication of a Contract-Signing Protocol (2006) (1)
Model Checking and Deduction for Innnite-state Systems (2007) (1)
Deductive Computer Programming (1988) (1)
An Integrated Approach to Intelligent Systems (2002) (1)
Visual verification of temporal properties (1999) (1)
Computation of recursive programs: theory vs practice (1972) (1)
Synthesis: Dreams → Programs (1979) (1)
On Efficient Deadlock Avoidance for Distributive Recursive Processes (1)
The ‘Cash-Point’ Service: A Verification Case Study Using STeP (2000) (1)
Visual Abstra tions for Temporal Veri ation ? (1998) (1)
Verification of Progress Properties (1997) (1)
Synthesized Structured Programming. (1980) (1)
Recent Research in Artificial Intelligence and Foundations of Programming (1978) (1)
5. Synthesis of Programs (1980) (0)
The Origin of a Binary-Search Paradigm. Revision. (1986) (0)
Algorithmic Verification of General Formulas (1995) (0)
Hardware Verification: Integrating Deductive with Algorithmic Technologies R&D Final Report DARPA Contract DABT63-96-C-0096 (0)
No . STAN-CS-78-65 1 PROVING TERMINATION WITH MULTISET ORDERINGS (1998) (0)
Invariance: Proof Methods (1995) (0)
Next Generation Software Development (2005) (0)
The Automatic Synthesis of Computer Programming. (1986) (0)
The Logical Basis . for Programming : Deductive Reasoning (0)
A DEDUCTIVE APPROACH TO AUTOMATED PLANNING S (0)
Sti$uctured Programming with Recursion (1998) (0)
Another Acknowledgements. Many Thanks To (1990) (0)
THE EVOLUTIONOF PROGRAMS: A SYSTEM FORAUTOMATICPROGRAMMODIFICATION NachumDershowitz (2012) (0)
A DEDUCTLVE APPROACH T O PROGRAM SYNTHESIS bY (1998) (0)
Temporal Verification and Development of Reactive Programs (1996) (0)
Interactive Synthesis of Computer Programs. (1987) (0)
Recent research in computer science. (1977) (0)
Thread A llocation Protocols for Distributed Real-Time and Embedded Systems (2007) (0)
Hardware Verification Integrating Deductive With Algorithmic Technologies (2002) (0)
6. Termination of Production Systems (1980) (0)
Continuous Veri cation by Discrete Reasoning (1994) (0)
A Deductive Approach to Computer Programming. (1986) (0)
Deduct ive Mode l Checking * (2005) (0)
STeP: A Tool for the Development of Provably Correct Reactive and Real-Time Systems (1999) (0)
Abstraction and Compositionality for the Verification of Infinite-State Reactive Systems (2001) (0)
Deductive Programming Synthesis (1989) (0)
Properties of Programs (1992) (0)
Open architectures for formal reasoning and deductive technologies for software development (1994) (0)
A deductive approach towards controller synthesis (1995) (0)
A Deductive Approach to the Debugging, Verification, and Modification of Programs. (1982) (0)
A Deductive Approach to Programming Methodology. (1981) (0)
4. Systematic Program Annotation (1980) (0)
DEDUCTION W ITH R ELATION M ATCHING (1985) (0)
DECIDABLE PROPERTIES OFMONADIC FUNCTIONAL SCHEMAS (1998) (0)
Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research (1996) (0)
Full A Decision Algorithm for Propositional Temporal Logic * (2005) (0)
Deductive Technologies For Software Development (0)
Diierential Bdds (1998) (0)
No . STAN-C & 80-808 Basic Research in Artificial Intelligence and Foundations of Programming (1998) (0)
A Deductive Approach towards Controller Synthesis 1 (1995) (0)
1. Partial Correctness (1980) (0)
The Logic of Computer Programming by Zohar Manna and Richard Waldinger the Logic of Computer Programming Zohar Manna (1998) (0)
Final report: Basic Research in Artificial Intelligence and Foundations of Programming (1980) (0)
3. Total Correctness (1980) (0)
Existential Invariants and Nontermination (0)
AD-A 2 6 2 848 A Temporal Proof Methodology for Reactive Systems (0)
Lemma 4 given 0 = S 0 0 S 0 #cell #nodes #time(sec) Trans. #reachable States #cell #nodes #time(sec) Trans. #reachable States (1994) (0)
Model Checking and Deduction for Verifying Innnite-state Systems (2008) (0)
THE THEORETICAL ASPECTS OF THE OPTIMAL FltiEDPOlNTm bY (1998) (0)
Modeling Real Concurrency (1992) (0)
Verify ing Clocked Transi t ion Systems* (0)
N V Reasoning in Interval Temporal Logic (0)

This paper list is powered by the following services:

Other Resources About Zohar Manna

en.wikipedia.org

What Schools Are Affiliated With Zohar Manna?

Zohar Manna is affiliated with the following schools: