×
Compute Distance To:
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: 124 Publications since 1969, including 9 Books
1 Contribution as Editor · 2 Further Contributions
Biographic References: 3 Publications
Co-Authors: 33 Co-Authors with 114 Joint Publications
881 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

Cited by 1,768 Authors

21 Pnueli, Amir
16 Vardi, Moshe Ya’akov
15 Manna, Zohar
14 Dershowitz, Nachum
12 Duan, Zhenhua
11 Kupferman, Orna
10 Bonacina, Maria Paola
10 Kapur, Deepak
8 Peled, Doron A.
8 Zhan, Naijun
7 Blanchette, Jasmin Christian
7 Dixon, Clare
7 Henzinger, Thomas A.
7 Hesselink, Wim H.
7 Katz, Shmuel
7 Mili, Ali
6 Bjørner, Nikolaj S.
6 Clarke, Edmund Melson jun.
6 Danicic, Sebastian
6 Ghilardi, Silvio
6 Harel, David
6 Laurence, Michael R.
6 Meseguer Guaita, José
6 Plaisted, David Alan
6 Platzer, André
6 Ringeissen, Christophe
6 Rybalchenko, Andrey
6 Sankaranarayanan, Sriram
6 Tian, Cong
6 Zhang, Nan
5 Barrett, Clark W.
5 Basin, David A.
5 Bergstra, Jan A.
5 Courcelle, Bruno
5 Giesl, Jürgen
5 Goubault, Eric
5 Iosif, Radu
5 Jebelean, Tudor
5 Kröning, Daniel
5 Larsen, Kim Guldstrand
5 Ma, Qian
5 Metcalfe, George
5 Middeldorp, Aart
5 Moszkowski, Ben C.
5 Rabinovich, Alexander
5 Rybakov, Vladimir Vladimirovich
5 Sain, Ildikó
5 Schmidt-Schauß, Manfred
5 Sipma, Henny B.
5 Sofronie-Stokkermans, Viorica
5 Tinelli, Cesare
5 Zuck, Lenore D.
4 Alur, Rajeev
4 Amato, Gianluca
4 Baader, Franz
4 Böhme, Sascha
4 Chatterjee, Krishnendu
4 Chen, Tsong Yueh
4 Cook, Byron
4 Cousot, Patrick
4 Drămnesc, Isabela
4 Echenim, Mnacho
4 Faella, Marco
4 Friedman, Emily P.
4 Gallier, Jean H.
4 Gaubert, Stéphane
4 Gawlitza, Thomas Martin
4 Guelev, Dimitar P.
4 Halpern, Joseph Yehuda
4 Hansen, Michael Reichhardt
4 Hustadt, Ullrich
4 Iemhoff, Rosalie
4 Katoen, Joost-Pieter
4 Kesten, Yonit
4 Lassez, Jean-Louis
4 Lucas, Salvador
4 L’vov, M. S.
4 Montanari, Angelo
4 Moore, J Strother
4 Murano, Aniello
4 Otto, Friedrich
4 Paulson, Lawrence Charles
4 Raskin, Jean-François
4 Rodríguez-Carbonell, Enric
4 Rubio, Albert
4 Seidl, Helmut
4 Sernadas, Amilcar C.
4 Sharygina, Natasha
4 Stachniak, Zbigniew
4 Valencia, Frank D.
4 Wirsing, Martin
4 Xia, Bican
4 Yang, Zhengfeng
4 Zaffanella, Enea
4 Zhao, Hengjun
3 Aceto, Luca
3 Adjé, Assalé
3 Alberti, Francesco
3 Apt, Krzysztof Rafal
3 Bachmair, Leo
...and 1,668 more Authors
all top 5

Cited in 133 Serials

192 Theoretical Computer Science
60 Formal Aspects of Computing
56 Journal of Automated Reasoning
54 Acta Informatica
54 Formal Methods in System Design
50 Journal of Symbolic Computation
47 Journal of Computer and System Sciences
40 Information and Computation
32 Information Processing Letters
22 Artificial Intelligence
22 Annals of Mathematics and Artificial Intelligence
18 Distributed Computing
14 Cybernetics
13 Science of Computer Programming
13 Journal of Applied Non-Classical Logics
12 RAIRO, Informatique Théorique
12 Annals of Pure and Applied Logic
11 Journal of Logical and Algebraic Methods in Programming
10 Logical Methods in Computer Science
9 The Journal of Logic and Algebraic Programming
8 Journal of Computer Science and Technology
8 MSCS. Mathematical Structures in Computer Science
7 Information Sciences
7 Cybernetics and Systems Analysis
6 Mathematical Systems Theory
6 Studia Logica
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 Applicable Algebra in Engineering, Communication and Computing
6 Journal of Systems Science and Complexity
6 ACM Transactions on Computational Logic
5 New Generation Computing
5 International Journal of Foundations of Computer Science
5 Discrete Event Dynamic Systems
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 Journal of Functional Programming
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 Journal of Logic, Language and Information
3 Theory and Practice of Logic Programming
3 BIT. Nordisk Tidskrift for Informationsbehandling
3 Mathematics in Computer Science
3 Science China. Information Sciences
2 International Journal of General Systems
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 Real-Time Systems
2 International Journal of Algebra and Computation
2 Archive for Mathematical Logic
2 The Bulletin of Symbolic Logic
2 Mathematical Problems in Engineering
2 Fundamenta Informaticae
2 Computer Languages, Systems & Structures
2 Nonlinear Analysis. Hybrid Systems
2 Frontiers of Computer Science
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 Chaos, Solitons and Fractals
1 Algebra Universalis
1 Applied Mathematics and Computation
1 Automatica
1 Fuzzy Sets and Systems
1 Journal of Algebra
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 Cybernetics and Systems
1 Mathematical Social Sciences
1 SIAM Journal on Algebraic and Discrete Methods
1 Operations Research Letters
1 Acta Applicandae Mathematicae
1 Journal of Complexity
1 Algorithmica
...and 33 more Serials
all top 5

Cited in 37 Fields

1,088 Computer science (68-XX)
404 Mathematical logic and foundations (03-XX)
33 Operations research, mathematical programming (90-XX)
33 Systems theory; control (93-XX)
23 Order, lattices, ordered algebraic structures (06-XX)
21 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
13 Information and communication theory, circuits (94-XX)
12 Category theory; homological algebra (18-XX)
11 Group theory and generalizations (20-XX)
11 Numerical analysis (65-XX)
10 General algebraic systems (08-XX)
8 Combinatorics (05-XX)
6 General and overarching topics; collections (00-XX)
6 Convex and discrete geometry (52-XX)
5 Commutative algebra (13-XX)
5 Ordinary differential equations (34-XX)
5 Biology and other natural sciences (92-XX)
4 History and biography (01-XX)
4 Operator theory (47-XX)
4 Algebraic topology (55-XX)
4 Quantum theory (81-XX)
3 Number theory (11-XX)
3 Associative rings and algebras (16-XX)
3 Dynamical systems and ergodic theory (37-XX)
3 General topology (54-XX)
2 Algebraic geometry (14-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Special functions (33-XX)
2 Probability theory and stochastic processes (60-XX)
2 Statistics (62-XX)
2 Mathematics education (97-XX)
1 Field theory and polynomials (12-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)

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.