×

Manna, Zohar (b. 1939 d. 2018)

Author ID: manna.zohar Recent zbMATH articles by "Manna, Zohar"
Published as: Manna, Zohar; Manna, Z.
Further Spellings: זוהר מנה
Homepage: http://theory.stanford.edu/~zm/
External Links: MGP · Wikidata · dblp · GND · IdRef
Documents Indexed: 126 Publications since 1969, including 9 Books
1 Contribution as Editor · 2 Further Contributions
Biographic References: 3 Publications
Co-Authors: 35 Co-Authors with 116 Joint Publications
944 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

116 Publications have been cited 1,960 times in 1,496 Documents Cited by Year
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
213
1991
Mathematical theory of computation. Zbl 0353.68066
Manna, Zohar
202
1974
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
170
1979
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
58
1983
What’s decidable about arrays? Zbl 1176.68116
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
58
2006
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
49
2010
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
49
1980
The calculus of computation. Decision procedures with applications to verification. Zbl 1126.03001
Bradley, Aaron R.; Manna, Zohar
47
2007
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
45
2004
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
44
2005
Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030
Manna, Zohar; Wolper, Pierre
42
1984
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
34
1989
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
29
1991
What good are digital clocks? Zbl 1425.68255
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
29
1992
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
28
1973
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
26
1995
The correctness of programs. Zbl 0285.68011
Manna, Z.
26
1969
Temporal logic programming. Zbl 0691.03015
Abadi, Martín; Manna, Zohar
24
1989
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
23
1984
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
20
2008
Verification of concurrent programs: temporal proof principles. Zbl 0481.68019
Manna, Zohar; Pnueli, Amir
20
1982
Formalization of properties of functional programs. Zbl 0206.17503
Manna, Zohar; Pnueli, Amir
20
1970
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
19
2005
The logical basis for computer programming. Vol. I: Deductive reasoning. Zbl 0572.68008
Manna, Zohar; Waldinger, Richard
19
1985
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
18
2004
Logical analysis of programs. Zbl 0353.68016
Katz, Shmuel; Manna, Zohar
18
1976
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
18
2004
Synthesis of communicating processes from temporal logic specifications. Zbl 0487.68027
Manna, Zohar; Wolper, Pierre
18
1982
Readings in artificial intelligence. Zbl 0498.68054
18
1981
Decidable properties of monadic functional schemas. Zbl 0289.68036
Ashcroft, Edward; Manna, Zohar; Pnueli, Amir
18
1973
Toward automatic programm synthesis. Zbl 0214.43006
Manna, Z.; Waldinger, R. J.
18
1971
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
17
1983
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
17
2005
The correctness problem in computer science. Zbl 0476.68009
17
1981
Properties of programs and the first-order predicate calculus. Zbl 0198.22001
Manna, Z.
17
1969
Fixpoint approach to the theory of computation. Zbl 0245.68011
Manna, Zohar; Vuillemin, Jean
17
1972
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
16
1979
The theoretical aspects of the optimal fixedpoint. Zbl 0358.68017
Manna, Zohar; Shamir, Adi
16
1976
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
16
1993
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
16
1994
Property-directed incremental invariant generation. Zbl 1149.68402
Bradley, Aaron R.; Manna, Zohar
16
2008
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
16
1983
Special relations in automated deduction. Zbl 0637.68103
Manna, Zohar; Waldinger, Richard
15
1986
Formalization of properties of parallel programs. Zbl 0263.68016
Ashcroft, E.; Manna, Z.
15
1971
The correctness of nondeterministic programs. Zbl 0203.49402
Manna, Z.
14
1970
Is ”sometime” sometimes better than ”always”? Intermittent assertions in proving program correctness. Zbl 0367.68011
Manna, Zohar; Waldinger, Richard
13
1978
Modal theorem proving. Zbl 0626.68065
Abadi, Martin; Manna, Zohar
13
1986
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
13
2006
Termination analysis of integer linear loops. Zbl 1134.68343
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
2005
Nonclausal deduction in first-order temporal logic. Zbl 0696.68096
Abadi, Martín; Manna, Zohar
12
1990
Characterization of temporal property classes. Zbl 1425.68252
Chang, Edward; Manna, Zohar; Pnueli, Amir
12
1992
Synthesis: dreams \(\Rightarrow\) programs. Zbl 0416.68013
Manna, Zohar; Waldinger, Richard
11
1979
Reasoning in interval temporal logic. Zbl 0542.68022
Moszkowski, Ben; Manna, Zohar
11
1984
Combining decision procedures. Zbl 1274.68078
Manna, Zohar; Zarba, Calogero G.
11
2003
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
11
1969
Automatic generation of invariants and intermediate assertions. Zbl 0902.68120
Bjørner, Nikolaj; Browne, Anca; Manna, Zohar
10
1997
Mathematical theory of partial correctness. Zbl 0215.55905
Manna, Z.
10
1971
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
10
1974
The polyranking principle. Zbl 1081.68568
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
9
2005
The optimal approach to recursive programs. Zbl 0361.68022
Manna, Zohar; Shamir, Adi
9
1977
The convergence of functions to fixedpoints of recursive definitions. Zbl 0401.03016
Manna, Zohar; Shamir, Adi
9
1978
Deductive synthesis of the unification algorithm. Zbl 0472.68054
Manna, Zohar; Waldinger, Richard
9
1981
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
9
1989
Proving termination with multiset orderings. Zbl 0404.68022
Dershowitz, Nachum; Manna, Zohar
8
1979
Nonclausal temporal deduction. Zbl 0567.03004
Abadi, Martin; Manna, Zohar
8
1985
Generalized temporal verification diagrams. Zbl 1354.68171
Browne, I. A.; Manna, Z.; Sipma, H. B.
7
1995
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Knowledge and reasoning in program synthesis. Zbl 0303.68012
Manna, Zohar; Waldinger, Richard
6
1975
Decision procedures for recursive data structures with integer constraints. Zbl 1126.68585
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2004
A deductive approach to program synthesis. Zbl 0427.68023
Manna, Zohar; Waldinger, Richard
6
1979
Lectures on the logic of computer programming. Zbl 0439.68023
Manna, Zohar
5
1980
Translating program schemas to while schemas. Zbl 0271.68014
Ashcroft, Edward; Manna, Zohar
5
1975
Decision procedures for term algebras with integer constraints. Zbl 1103.68080
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
5
2006
A closer look at termination. Zbl 0304.68025
Katz, Shmuel; Manna, Zohar
4
1975
Program schemas with equality. Zbl 0356.68016
Chandra, Ashok K.; Manna, Zohar
4
1972
The logical basis for computer programming. Volume II: Deductive systems. Zbl 0698.68001
Manna, Zohar; Waldinger, Richard
4
1990
Inference rules for program annotation. Zbl 0463.68023
Dershowitz, Nachum; Manna, Zohar
4
1981
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
Proving precedence properties: The temporal way. Zbl 0528.68008
Manna, Zohar; Pnueli, Amir
4
1983
The decidability of the first-order theory of Knuth-Bendix order. Zbl 1135.03323
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
4
2005
Decidable properties of monadic functional schemas. Zbl 0306.68048
Ashcroft, E.; Manna, Z.; Pnueli, A.
3
1971
The deductive foundations of computer programming. (A 1-vol. version of ”The logical basis for computer programming”.). Zbl 0846.68013
Manna, Zohar; Waldinger, Richard
3
1993
Deductive verification of real-time systems using STeP. Zbl 0954.68084
Bjørner, N. S.; Manna, Z.; Sipma, H. B.; Uribe, T. E.
3
2001
Studies in automatic programming logic. With contributions by Shmuel Katz and Karl Levitt. Zbl 0378.68006
Manna, Zohar; Waldinger, Richard
3
1977
Mathematical theory of computation. Zbl 0408.68022
Manna, Zohar
3
1978
Alternating the temporal picture for safety. Zbl 0973.68141
Manna, Zohar; Sipma, Henny B.
3
2000
Verification constraint problems with strengthening. Zbl 1168.68421
Bradley, Aaron R.; Manna, Zohar
3
2006
Verification in continuous time by discrete reasoning. Zbl 1496.68189
de Alfaro, Luca; Manna, Zohar
3
1995
Is ”sometime” sometimes better than ”always”? Intermittent assertions in proving program correctness. Zbl 0362.68033
Manna, Zohar; Waldinger, Richard
2
1976
On the power of programming features. Zbl 0362.68041
Chandra, A. K.; Manna, Z.
2
1975
On the faithfulness of formal models. Zbl 0776.68041
Manna, Zohar; Pnueli, Amir
2
1991
Term algebras with length function and bounded quantifier alternation. Zbl 1099.68737
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
2
2004
Verification of clocked and hybrid systems. Zbl 0957.68073
Kesten, Yonit; Manna, Zohar; Pnueli, Amir
2
2000
The optimal fixed point of recursive programs. Zbl 0365.68013
Manna, Zohar; Shamir, Adi
2
1975
How to clear a block: a theory of plans. Zbl 0641.68149
Manna, Zohar; Waldinger, Richard
2
1987
Verifying balanced trees. Zbl 1132.68351
Manna, Zohar; Sipma, Henny B.; Zhang, Ting
2
2007
Time for verification. Essays in memory of Amir Pnueli. Zbl 1194.68054
2
2010
Verification of sequential programs: temporal axiomatization. Zbl 0521.68019
Manna, Zohar
2
1982
Towards automatic Program synthesis. Zbl 0221.68009
Manna, Zohar; Waldinger, Richard J.
2
1971
Formalization of properties of recursively defined functions. Zbl 1283.03073
Manna, Zohar; Pnueli, Amir
2
1969
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
49
2010
Time for verification. Essays in memory of Amir Pnueli. Zbl 1194.68054
2
2010
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
20
2008
Property-directed incremental invariant generation. Zbl 1149.68402
Bradley, Aaron R.; Manna, Zohar
16
2008
Deductive verification of alternating systems. Zbl 1152.68032
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2008
The calculus of computation. Decision procedures with applications to verification. Zbl 1126.03001
Bradley, Aaron R.; Manna, Zohar
47
2007
Verifying balanced trees. Zbl 1132.68351
Manna, Zohar; Sipma, Henny B.; Zhang, Ting
2
2007
What’s decidable about arrays? Zbl 1176.68116
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
58
2006
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
13
2006
Decision procedures for term algebras with integer constraints. Zbl 1103.68080
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
5
2006
Verification constraint problems with strengthening. Zbl 1168.68421
Bradley, Aaron R.; Manna, Zohar
3
2006
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Proving ATL* properties of infinite-state systems. Zbl 1168.68428
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2006
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
44
2005
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
19
2005
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
17
2005
Termination analysis of integer linear loops. Zbl 1134.68343
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
2005
The polyranking principle. Zbl 1081.68568
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
9
2005
The decidability of the first-order theory of Knuth-Bendix order. Zbl 1135.03323
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
4
2005
Expressive completeness of an event-pattern reactive programming language. Zbl 1169.68355
Sánchez, César; Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2005
Final semantics for event-pattern reactive programs. Zbl 1151.68378
Sánchez, César; Sipma, Henny B.; Slanina, Matteo; Manna, Zohar
1
2005
Decision procedures for queues with integer constraints. Zbl 1172.68437
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
1
2005
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
45
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
18
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
18
2004
Decision procedures for recursive data structures with integer constraints. Zbl 1126.68585
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2004
Term algebras with length function and bounded quantifier alternation. Zbl 1099.68737
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
2
2004
Combining decision procedures. Zbl 1274.68078
Manna, Zohar; Zarba, Calogero G.
11
2003
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
Mathematical theory of computation. Reprint of the 1974 original. Zbl 1053.68057
Manna, Zohar
1
2003
Deductive verification of real-time systems using STeP. Zbl 0954.68084
Bjørner, N. S.; Manna, Z.; Sipma, H. B.; Uribe, T. E.
3
2001
Alternating the temporal picture for safety. Zbl 0973.68141
Manna, Zohar; Sipma, Henny B.
3
2000
Verification of clocked and hybrid systems. Zbl 0957.68073
Kesten, Yonit; Manna, Zohar; Pnueli, Amir
2
2000
Verification of parametrized systems by dynamic induction on diagrams. Zbl 1046.68601
Manna, Zohar; Sipma, Henny B.
1
1999
Automatic generation of invariants and intermediate assertions. Zbl 0902.68120
Bjørner, Nikolaj; Browne, Anca; Manna, Zohar
10
1997
Hybrid diagrams: a deductive-algorithmic approach to hybrid system verification. Zbl 1498.68156
de Alfaro, Luca; Kapur, Arjun; Manna, Zohar
1
1997
Verification of parameterized programs. Zbl 0844.68079
Manna, Zohar; Pnueli, Amir
26
1995
Generalized temporal verification diagrams. Zbl 1354.68171
Browne, I. A.; Manna, Z.; Sipma, H. B.
7
1995
Verification in continuous time by discrete reasoning. Zbl 1496.68189
de Alfaro, Luca; Manna, Zohar
3
1995
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
16
1994
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Annotation-based deduction in temporal logic. Zbl 0949.03506
McGuire, H.; Manna, Z.; Waldinger, R.
1
1994
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
16
1993
The deductive foundations of computer programming. (A 1-vol. version of ”The logical basis for computer programming”.). Zbl 0846.68013
Manna, Zohar; Waldinger, Richard
3
1993
What good are digital clocks? Zbl 1425.68255
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
29
1992
Characterization of temporal property classes. Zbl 1425.68252
Chang, Edward; Manna, Zohar; Pnueli, Amir
12
1992
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
213
1991
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
29
1991
On the faithfulness of formal models. Zbl 0776.68041
Manna, Zohar; Pnueli, Amir
2
1991
Monotonicity properties in automated deduction. Zbl 0755.68123
Manna, Zohar; Stickel, Mark E.; Waldinger, Richard
1
1991
Nonclausal deduction in first-order temporal logic. Zbl 0696.68096
Abadi, Martín; Manna, Zohar
12
1990
The logical basis for computer programming. Volume II: Deductive systems. Zbl 0698.68001
Manna, Zohar; Waldinger, Richard
4
1990
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
34
1989
Temporal logic programming. Zbl 0691.03015
Abadi, Martín; Manna, Zohar
24
1989
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
9
1989
How to clear a block: a theory of plans. Zbl 0641.68149
Manna, Zohar; Waldinger, Richard
2
1987
Special relations in automated deduction. Zbl 0637.68103
Manna, Zohar; Waldinger, Richard
15
1986
Modal theorem proving. Zbl 0626.68065
Abadi, Martin; Manna, Zohar
13
1986
How to clear a block: Plan formation in situational logic. Zbl 0609.68063
Manna, Zohar; Waldinger, Richard
1
1986
The logical basis for computer programming. Vol. I: Deductive reasoning. Zbl 0572.68008
Manna, Zohar; Waldinger, Richard
19
1985
Nonclausal temporal deduction. Zbl 0567.03004
Abadi, Martin; Manna, Zohar
8
1985
Special relations in automated deduction. Zbl 0586.68077
Manna, Zohar; Waldinger, Richard
1
1985
Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030
Manna, Zohar; Wolper, Pierre
42
1984
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
23
1984
Reasoning in interval temporal logic. Zbl 0542.68022
Moszkowski, Ben; Manna, Zohar
11
1984
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
58
1983
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
17
1983
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
16
1983
Proving precedence properties: The temporal way. Zbl 0528.68008
Manna, Zohar; Pnueli, Amir
4
1983
Verification of concurrent programs: temporal proof principles. Zbl 0481.68019
Manna, Zohar; Pnueli, Amir
20
1982
Synthesis of communicating processes from temporal logic specifications. Zbl 0487.68027
Manna, Zohar; Wolper, Pierre
18
1982
Verification of sequential programs: temporal axiomatization. Zbl 0521.68019
Manna, Zohar
2
1982
Readings in artificial intelligence. Zbl 0498.68054
18
1981
The correctness problem in computer science. Zbl 0476.68009
17
1981
Deductive synthesis of the unification algorithm. Zbl 0472.68054
Manna, Zohar; Waldinger, Richard
9
1981
Inference rules for program annotation. Zbl 0463.68023
Dershowitz, Nachum; Manna, Zohar
4
1981
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
49
1980
Lectures on the logic of computer programming. Zbl 0439.68023
Manna, Zohar
5
1980
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
170
1979
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
16
1979
Synthesis: dreams \(\Rightarrow\) programs. Zbl 0416.68013
Manna, Zohar; Waldinger, Richard
11
1979
Proving termination with multiset orderings. Zbl 0404.68022
Dershowitz, Nachum; Manna, Zohar
8
1979
A deductive approach to program synthesis. Zbl 0427.68023
Manna, Zohar; Waldinger, Richard
6
1979
Is ”sometime” sometimes better than ”always”? Intermittent assertions in proving program correctness. Zbl 0367.68011
Manna, Zohar; Waldinger, Richard
13
1978
The convergence of functions to fixedpoints of recursive definitions. Zbl 0401.03016
Manna, Zohar; Shamir, Adi
9
1978
Mathematical theory of computation. Zbl 0408.68022
Manna, Zohar
3
1978
The logic of computer programming. Zbl 0381.68021
Manna, Zohar; Waldinger, Richard
1
1978
The optimal approach to recursive programs. Zbl 0361.68022
Manna, Zohar; Shamir, Adi
9
1977
Studies in automatic programming logic. With contributions by Shmuel Katz and Karl Levitt. Zbl 0378.68006
Manna, Zohar; Waldinger, Richard
3
1977
The evolution of programs: automatic program modification. Zbl 0361.68024
Dershowitz, Nachum; Manna, Zohar
1
1977
Logical analysis of programs. Zbl 0353.68016
Katz, Shmuel; Manna, Zohar
18
1976
The theoretical aspects of the optimal fixedpoint. Zbl 0358.68017
Manna, Zohar; Shamir, Adi
16
1976
Is ”sometime” sometimes better than ”always”? Intermittent assertions in proving program correctness. Zbl 0362.68033
Manna, Zohar; Waldinger, Richard
2
1976
Knowledge and reasoning in program synthesis. Zbl 0303.68012
Manna, Zohar; Waldinger, Richard
6
1975
Translating program schemas to while schemas. Zbl 0271.68014
Ashcroft, Edward; Manna, Zohar
5
1975
A closer look at termination. Zbl 0304.68025
Katz, Shmuel; Manna, Zohar
4
1975
On the power of programming features. Zbl 0362.68041
Chandra, A. K.; Manna, Z.
2
1975
The optimal fixed point of recursive programs. Zbl 0365.68013
Manna, Zohar; Shamir, Adi
2
1975
Mathematical theory of computation. Zbl 0353.68066
Manna, Zohar
202
1974
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
10
1974
...and 16 more Documents
all top 5

Cited by 2,095 Authors

24 Pnueli, Amir
18 Manna, Zohar
17 Dershowitz, Nachum
17 Vardi, Moshe Ya’akov
14 Duan, Zhenhua
14 Kupferman, Orna
13 Bonacina, Maria Paola
12 Ouaknine, Joel O.
11 Henzinger, Thomas A.
11 Kapur, Deepak
11 Mili, Ali
11 Peled, Doron A.
10 Worrell, James B.
9 Barrett, Clark W.
9 Clarke, Edmund Melson jun.
9 Zhan, Naijun
8 Blanchette, Jasmin Christian
8 Cimatti, Alessandro
8 Dixon, Clare
8 Ghilardi, Silvio
8 Montanari, Angelo
8 Tian, Cong
8 Zhang, Nan
7 Harel, David
7 Hesselink, Wim H.
7 Katz, Shmuel
7 Metcalfe, George
7 Platzer, André
7 Rabinovich, Alexander
7 Ringeissen, Christophe
7 Rybalchenko, Andrey
7 Sankaranarayanan, Sriram
7 Tinelli, Cesare
6 Basin, David A.
6 Bjørner, Nikolaj S.
6 Courcelle, Bruno
6 Danicic, Sebastian
6 de Alfaro, Luca
6 Finkbeiner, Bernd
6 Halpern, Joseph Yehuda
6 Iemhoff, Rosalie
6 Kesten, Yonit
6 Kovács, Laura Ildikó
6 Kröning, Daniel
6 Kuncak, Viktor
6 Larsen, Kim Guldstrand
6 Laurence, Michael R.
6 Meseguer Guaita, José
6 Middeldorp, Aart
6 Plaisted, David Alan
6 Rybakov, Vladimir Vladimirovich
6 Sain, Ildikó
6 Sofronie-Stokkermans, Viorica
6 Tonetta, Stefano
6 Zantema, Hans
5 Amato, Gianluca
5 Bergstra, Jan A.
5 Boreale, Michele
5 Cousot, Patrick
5 Faella, Marco
5 Fisher, Michael
5 Francalanza, Adrian
5 Giesl, Jürgen
5 Goubault, Eric
5 Hansen, Michael Reichhardt
5 Hierons, Robert Mark
5 Iosif, Radu
5 Jebelean, Tudor
5 Katoen, Joost-Pieter
5 Ma, Qian
5 Majumdar, Rupak
5 Moszkowski, Ben C.
5 Sánchez, César
5 Schmidt-Schauß, Manfred
5 Seidl, Helmut
5 Sernadas, Amilcar C.
5 Sipma, Henny B.
5 Yang, Zhengfeng
5 Zaffanella, Enea
5 Zuck, Lenore D.
4 Aceto, Luca
4 Alur, Rajeev
4 Baader, Franz
4 Bachmair, Leo
4 Ben-Amram, Amir M.
4 Bentkamp, Alexander
4 Böhme, Sascha
4 Cabalar, Pedro
4 Chatterjee, Krishnendu
4 Chen, Tsong Yueh
4 Cook, Byron
4 Dang, Thao
4 Dongol, Brijesh
4 Drămnesc, Isabela
4 Echenim, Mnacho
4 Emerson, Ernest Allen
4 Falcone, Yliès
4 Fariñas del Cerro, Luis
4 Ferreira, Maria C. F.
4 Fisman, Dana
...and 1,995 more Authors
all top 5

Cited in 143 Serials

215 Theoretical Computer Science
63 Formal Methods in System Design
61 Journal of Automated Reasoning
61 Formal Aspects of Computing
59 Acta Informatica
53 Journal of Computer and System Sciences
51 Journal of Symbolic Computation
48 Information and Computation
39 Information Processing Letters
31 Artificial Intelligence
22 Annals of Mathematics and Artificial Intelligence
18 Distributed Computing
14 Cybernetics
14 Journal of Applied Non-Classical Logics
14 Logical Methods in Computer Science
13 Science of Computer Programming
13 Annals of Pure and Applied Logic
13 Journal of Logical and Algebraic Methods in Programming
12 RAIRO, Informatique Théorique
11 The Journal of Logic and Algebraic Programming
11 ACM Transactions on Computational Logic
9 MSCS. Mathematical Structures in Computer Science
8 Studia Logica
8 Journal of Computer Science and Technology
7 Information Sciences
7 Cybernetics and Systems Analysis
6 Mathematical Systems Theory
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 Applicable Algebra in Engineering, Communication and Computing
6 Journal of Systems Science and Complexity
6 Theory and Practice of Logic Programming
5 New Generation Computing
5 International Journal of Foundations of Computer Science
5 Discrete Event Dynamic Systems
5 Journal of Functional Programming
4 Computers & Mathematics with Applications
4 Calcolo
4 International Journal of Computer & Information Sciences
4 The Journal of Symbolic Logic
4 Semigroup Forum
4 Synthese
4 Machine Learning
4 International Journal of Computer Mathematics
4 RAIRO. Informatique Théorique et Applications
4 Theory of Computing Systems
4 Higher-Order and Symbolic Computation
4 Sādhanā
4 Journal of Applied Logic
3 Computing
3 Journal of Philosophical Logic
3 Journal of Soviet Mathematics
3 Programming and Computer Software
3 Publications of the Research Institute for Mathematical Sciences, Kyoto University
3 International Journal of Parallel Programming
3 Real-Time Systems
3 Journal of Logic, Language and Information
3 Fundamenta Informaticae
3 BIT. Nordisk Tidskrift for Informationsbehandling
3 Mathematics in Computer Science
3 Science China. Information Sciences
3 Frontiers of Computer Science
3 Modelirovanie i Analiz Informatsionnykh Sistem
2 International Journal of General Systems
2 Fuzzy Sets and Systems
2 Journal of Algebra
2 Kybernetika
2 Notre Dame Journal of Formal Logic
2 Software. Practice & Experience
2 International Journal of Intelligent Systems
2 International Journal of Approximate Reasoning
2 International Journal of Algebra and Computation
2 Archive for Mathematical Logic
2 The Bulletin of Symbolic Logic
2 Constraints
2 Mathematical Problems in Engineering
2 Computer Languages, Systems & Structures
2 Nonlinear Analysis. Hybrid Systems
2 Computer Science Review
1 ACM Computing Surveys
1 Discrete Applied Mathematics
1 Discrete Mathematics
1 International Journal of Control
1 International Journal of Theoretical Physics
1 Journal of Mathematical Analysis and Applications
1 Physics Letters. B
1 Chaos, Solitons and Fractals
1 Algebra and Logic
1 Algebra Universalis
1 Applied Mathematics and Computation
1 Automatica
1 Journal of Pure and Applied Algebra
1 Linguistics and Philosophy
1 Mathematics and Computers in Simulation
1 Siberian Mathematical Journal
1 Theory and Decision
1 Topology and its Applications
1 Moscow University Computational Mathematics and Cybernetics
1 Advances in Applied Mathematics
1 Cybernetics and Systems
1 Systems & Control Letters
...and 43 more Serials
all top 5

Cited in 39 Fields

1,333 Computer science (68-XX)
506 Mathematical logic and foundations (03-XX)
45 Systems theory; control (93-XX)
33 Operations research, mathematical programming (90-XX)
25 Order, lattices, ordered algebraic structures (06-XX)
24 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
15 Information and communication theory, circuits (94-XX)
14 General algebraic systems (08-XX)
14 Category theory; homological algebra (18-XX)
13 Group theory and generalizations (20-XX)
11 Numerical analysis (65-XX)
10 Combinatorics (05-XX)
7 General and overarching topics; collections (00-XX)
7 Ordinary differential equations (34-XX)
6 History and biography (01-XX)
6 Commutative algebra (13-XX)
6 Convex and discrete geometry (52-XX)
6 Quantum theory (81-XX)
5 Number theory (11-XX)
5 Algebraic topology (55-XX)
5 Biology and other natural sciences (92-XX)
4 Associative rings and algebras (16-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Operator theory (47-XX)
4 General topology (54-XX)
4 Probability theory and stochastic processes (60-XX)
2 Algebraic geometry (14-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Statistics (62-XX)
2 Mathematics education (97-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Special functions (33-XX)
1 Partial differential equations (35-XX)
1 Approximations and expansions (41-XX)
1 Geometry (51-XX)
1 Manifolds and cell complexes (57-XX)
1 Mechanics of particles and systems (70-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.