×

zbMATH — the first resource for mathematics

Manna, Zohar

Compute Distance To:
Author ID: manna.zohar Recent zbMATH articles by "Manna, Zohar"
Published as: Manna, Zohar; Manna, Z.
Homepage: http://theory.stanford.edu/~zm/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 125 Publications since 1969, including 10 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

109 Publications have been cited 1,519 times in 1,159 Documents Cited by Year
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
182
1991
Mathematical theory of computation. Zbl 0353.68066
Manna, Zohar
172
1974
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
133
1979
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
44
1983
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
41
2010
Synthesis of communicating processes from temporal logic specifications. Zbl 0522.68030
Manna, Zohar; Wolper, Pierre
37
1984
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
37
2005
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
34
1980
The calculus of computation. Decision procedures with applications to verification. Zbl 1126.03001
Bradley, Aaron R.; Manna, Zohar
33
2007
What’s decidable about arrays? Zbl 1176.68116
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
33
2006
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
32
2004
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
25
1973
The correctness of programs. Zbl 0285.68011
Manna, Z.
25
1969
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
22
1991
The anchored version of the temporal framework. (Tutorial). Zbl 0683.68031
Manna, Z.; Pnueli, A.
22
1989
Adequate proof principles for invariance and liveness properties of concurrent programs. Zbl 0542.68014
Manna, Zohar; Pnueli, Amir
20
1984
Temporal logic programming. Zbl 0691.03015
Abadi, Martín; Manna, Zohar
19
1989
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
Logical analysis of programs. Zbl 0353.68016
Katz, Shmuel; Manna, Zohar
16
1976
Fixpoint approach to the theory of computation. Zbl 0245.68011
Manna, Zohar; Vuillemin, Jean
16
1972
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
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
14
2008
Special relations in automated deduction. Zbl 0637.68103
Manna, Zohar; Waldinger, Richard
14
1986
Synthesis of communicating processes from temporal logic specifications. Zbl 0487.68027
Manna, Zohar; Wolper, Pierre
14
1982
Formalization of properties of parallel programs. Zbl 0263.68016
Ashcroft, E.; Manna, Z.
14
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
The logical basis for computer programming. Vol. I: Deductive reasoning. Zbl 0572.68008
Manna, Zohar; Waldinger, Richard
13
1985
Temporal proof methodologies for timed transition systems. Zbl 0820.68085
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir
13
1994
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
2005
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
2005
Toward automatic programm synthesis. Zbl 0214.43006
Manna, Z.; Waldinger, R. J.
13
1971
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
12
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
11
2004
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
11
2006
Property-directed incremental invariant generation. Zbl 1149.68402
Bradley, Aaron R.; Manna, Zohar
11
2008
Nonclausal deduction in first-order temporal logic. Zbl 0696.68096
Abadi, Martín; Manna, Zohar
11
1990
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
11
1983
Models for reactivity. Zbl 0790.68041
Manna, Zohar; Pnueli, Amir
11
1993
Termination analysis of integer linear loops. Zbl 1134.68343
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
10
2005
Verification of concurrent programs: temporal proof principles. Zbl 0481.68019
Manna, Zohar; Pnueli, Amir
10
1982
Mathematical theory of partial correctness. Zbl 0215.55905
Manna, Z.
10
1971
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
Synthesis: dreams \(\Rightarrow\) programs. Zbl 0416.68013
Manna, Zohar; Waldinger, Richard
9
1979
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
9
1983
Properties of programs and partial function logic. Zbl 0221.68016
Manna, Zohar; McCarthy, John
9
1969
Deductive synthesis of the unification algorithm. Zbl 0472.68054
Manna, Zohar; Waldinger, Richard
8
1981
Modal theorem proving. Zbl 0626.68065
Abadi, Martin; Manna, Zohar
8
1986
Automatic generation of invariants and intermediate assertions. Zbl 0902.68120
Bjørner, Nikolaj; Browne, Anca; Manna, Zohar
8
1997
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
8
1974
Temporal verification diagrams. Zbl 0942.03527
Manna, Zohar; Pnueli, Amir
7
1994
Generalized temporal verification diagrams. Zbl 1354.68171
Browne, I. A.; Manna, Z.; Sipma, H. B.
7
1995
Knowledge and reasoning in program synthesis. Zbl 0303.68012
Manna, Zohar; Waldinger, Richard
6
1975
Combining decision procedures. Zbl 1274.68078
Manna, Zohar; Zarba, Calogero G.
6
2003
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
6
1989
The polyranking principle. Zbl 1081.68568
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
6
2005
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
5
1979
Proving termination with multiset orderings. Zbl 0404.68022
Dershowitz, Nachum; Manna, Zohar
5
1979
Decision procedures for recursive data structures with integer constraints. Zbl 1126.68585
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
5
2004
Decision procedures for term algebras with integer constraints. Zbl 1103.68080
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
5
2006
Translating program schemas to while schemas. Zbl 0271.68014
Ashcroft, Edward; Manna, Zohar
5
1975
Nonclausal temporal deduction. Zbl 0567.03004
Abadi, Martin; Manna, Zohar
4
1985
The logical basis for computer programming. Volume II: Deductive systems. Zbl 0698.68001
Manna, Zohar; Waldinger, Richard
4
1990
The decidability of the first-order theory of Knuth-Bendix order. Zbl 1135.03323
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
4
2005
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
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
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
Mathematical theory of computation. Zbl 0408.68022
Manna, Zohar
3
1978
A deductive approach to program synthesis. Zbl 0427.68023
Manna, Zohar; Waldinger, Richard
3
1979
Lectures on the logic of computer programming. Zbl 0439.68023
Manna, Zohar
3
1980
Verification constraint problems with strengthening. Zbl 1168.68421
Bradley, Aaron R.; Manna, Zohar
3
2006
Proving precedence properties: The temporal way. Zbl 0528.68008
Manna, Zohar; Pnueli, Amir
3
1983
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
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
Term algebras with length function and bounded quantifier alternation. Zbl 1099.68737
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
2
2004
Verifying balanced trees. Zbl 1132.68351
Manna, Zohar; Sipma, Henny B.; Zhang, Ting
2
2007
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
How to clear a block: a theory of plans. Zbl 0641.68149
Manna, Zohar; Waldinger, Richard
2
1987
Reasoning in interval temporal logic. Zbl 0542.68022
Moszkowski, Ben; Manna, Zohar
2
1984
Program schemas with equality. Zbl 0356.68016
Chandra, Ashok K.; Manna, Zohar
2
1972
Formalization of properties of recursively defined functions. Zbl 1283.03073
Manna, Zohar; Pnueli, Amir
2
1969
Characterization of temporal property classes. Zbl 1425.68252
Chang, Edward; Manna, Zohar; Pnueli, Amir
1
1992
Monotonicity properties in automated deduction. Zbl 0755.68123
Manna, Zohar; Stickel, Mark E.; Waldinger, Richard
1
1991
On the faithfulness of formal models. Zbl 0776.68041
Manna, Zohar; Pnueli, Amir
1
1991
Annotation-based deduction in temporal logic. Zbl 0949.03506
McGuire, H.; Manna, Z.; Waldinger, R.
1
1994
The evolution of programs: automatic program modification. Zbl 0361.68024
Dershowitz, Nachum; Manna, Zohar
1
1977
The optimal fixed point of recursive programs. Zbl 0365.68013
Manna, Zohar; Shamir, Adi
1
1975
Studies in automatic programming logic. With contributions by Shmuel Katz and Karl Levitt. Zbl 0378.68006
Manna, Zohar; Waldinger, Richard
1
1977
The logic of computer programming. Zbl 0381.68021
Manna, Zohar; Waldinger, Richard
1
1978
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
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
Temporal verification of reactive systems: response. Zbl 1288.68169
Manna, Zohar; Pnueli, Amir
41
2010
Time for verification. Essays in memory of Amir Pnueli. Zbl 1194.68054
Manna, Zohar; Peled, Doron A.
1
2010
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
14
2008
Property-directed incremental invariant generation. Zbl 1149.68402
Bradley, Aaron R.; Manna, Zohar
11
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
33
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.
33
2006
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
11
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
37
2005
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
2005
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
13
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.
6
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
32
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
12
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
11
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.
6
2003
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
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
13
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
1
1992
The temporal logic of reactive and concurrent systems. Specification. Zbl 0753.68003
Manna, Zohar; Pnueli, Amir
182
1991
Completing the temporal picture. Zbl 0795.68133
Manna, Zohar; Pnueli, Amir
22
1991
Monotonicity properties in automated deduction. Zbl 0755.68123
Manna, Zohar; Stickel, Mark E.; Waldinger, Richard
1
1991
On the faithfulness of formal models. Zbl 0776.68041
Manna, Zohar; Pnueli, Amir
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
19
1989
Completing the temporal picture. Zbl 0703.68075
Manna, Zohar; Pnueli, Amir
6
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
13
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
37
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
2
1984
The temporal logic of branching time. Zbl 0533.68036
Ben-Ari, Mordechai; Pnueli, Amir; Manna, Zohar
44
1983
Verification of concurrent programs: A temporal proof system. Zbl 0507.68005
Manna, Zohar; Pnueli, Amir
11
1983
A hardware semantics based on temporal intervals. Zbl 0534.68025
Halpern, Joseph; Manna, Zohar; Moszkowski, Ben
9
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
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
A deductive approach to program synthesis. Zbl 0468.68009
Manna, Zohar; Waldinger, Richard
34
1980
Lectures on the logic of computer programming. Zbl 0439.68023
Manna, Zohar
3
1980
Proving termination with multiset orderings. Zbl 0431.68016
Dershowitz, Nachum; Manna, Zohar
133
1979
Synthesis: dreams \(\Rightarrow\) programs. Zbl 0416.68013
Manna, Zohar; Waldinger, Richard
9
1979
The modal logic of programs. Zbl 0404.68011
Manna, Zohar; Pnueli, Amir
5
1979
Proving termination with multiset orderings. Zbl 0404.68022
Dershowitz, Nachum; Manna, Zohar
5
1979
A deductive approach to program synthesis. Zbl 0427.68023
Manna, Zohar; Waldinger, Richard
3
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
172
1974
Axiomatic approach to total correctness of programs. Zbl 0263.68009
Manna, Zohar; Pnueli, Amir
8
1974
Inductive methods for proving properties of programs. Zbl 0278.68019
Manna, Zohar; Ness, Stephen; Vuillemin, Jean
25
1973
Decidable properties of monadic functional schemas. Zbl 0289.68036
Ashcroft, Edward; Manna, Zohar; Pnueli, Amir
18
1973
Fixpoint approach to the theory of computation. Zbl 0279.68021
Manna, Zohar; Vuillemin, Jean
1
1973
Fixpoint approach to the theory of computation. Zbl 0245.68011
Manna, Zohar; Vuillemin, Jean
16
1972
Program schemas with equality. Zbl 0356.68016
Chandra, Ashok K.; Manna, Zohar
2
1972
Formalization of properties of parallel programs. Zbl 0263.68016
Ashcroft, E.; Manna, Z.
14
1971
...and 9 more Documents
all top 5

Cited by 1,633 Authors

21 Pnueli, Amir
16 Vardi, Moshe Y.
15 Manna, Zohar
14 Dershowitz, Nachum
12 Duan, Zhenhua
11 Kupferman, Orna
10 Bonacina, Maria Paola
9 Kapur, Deepak
8 Peled, Doron A.
7 Dixon, Clare
7 Hesselink, Wim H.
7 Katz, Shmuel
7 Mili, Ali
7 Zhan, Naijun
6 Blanchette, Jasmin Christian
6 Clarke, Edmund Melson jun.
6 Danicic, Sebastian
6 Harel, David
6 Henzinger, Thomas A.
6 Laurence, Michael R.
6 Meseguer Guaita, José
6 Plaisted, David Alan
6 Ringeissen, Christophe
6 Sankaranarayanan, Sriram
6 Tian, Cong
6 Zhang, Nan
5 Basin, David A.
5 Bergstra, Jan A.
5 Bjørner, Nikolaj S.
5 Courcelle, Bruno
5 Ghilardi, Silvio
5 Goubault, Eric
5 Iosif, Radu
5 Kröning, Daniel
5 Larsen, Kim Guldstrand
5 Ma, Qian
5 Metcalfe, George
5 Middeldorp, Aart
5 Rabinovich, Alexander
5 Rybakov, Vladimir Vladimirovich
5 Rybalchenko, Andrey
5 Sain, Ildikó
5 Schmidt-Schauß, Manfred
5 Sipma, Henny B.
5 Tinelli, Cesare
5 Zuck, Lenore D.
4 Alur, Rajeev
4 Baader, Franz
4 Barrett, Clark W.
4 Chatterjee, Krishnendu
4 Chen, Tsong Yueh
4 Cook, Byron
4 Cousot, Patrick
4 Echenim, Mnacho
4 Faella, Marco
4 Friedman, Emily P.
4 Gallier, Jean H.
4 Gaubert, Stéphane
4 Gawlitza, Thomas Martin
4 Halpern, Joseph Yehuda
4 Hansen, Michael Reichhardt
4 Hustadt, Ullrich
4 Kesten, Yonit
4 Lassez, Jean-Louis
4 L’vov, M. S.
4 Moore, J Strother
4 Moszkowski, Ben C.
4 Otto, Friedrich
4 Paulson, Lawrence Charles
4 Platzer, André
4 Raskin, Jean-François
4 Rodríguez-Carbonell, Enric
4 Rubio, Albert
4 Sharygina, Natasha
4 Stachniak, Zbigniew
4 Valencia, Frank D.
4 Wirsing, Martin
4 Xia, Bican
4 Zhao, Hengjun
3 Aceto, Luca
3 Adjé, Assalé
3 Alberti, Francesco
3 Amato, Gianluca
3 Apt, Krzysztof Rafal
3 Bachmair, Leo
3 Bagnara, Roberto
3 Ben-Amram, Amir M.
3 Bianco, Alessandro
3 Biermann, Alan W.
3 Böhme, Sascha
3 Bouissou, Olivier
3 Brockschmidt, Marc
3 Broy, Manfred
3 Chapoutot, Alexandre
3 Chocron, Paula
3 Cropper, Andrew
3 Dang, Thao
3 de Alfaro, Luca
3 de Guzmán, Inmaculada Pérez
3 Dekhtyar, Michael I.
...and 1,533 more Authors
all top 5

Cited in 129 Serials

191 Theoretical Computer Science
59 Formal Aspects of Computing
56 Journal of Automated Reasoning
54 Acta Informatica
52 Formal Methods in System Design
50 Journal of Symbolic Computation
46 Journal of Computer and System Sciences
39 Information and Computation
32 Information Processing Letters
22 Annals of Mathematics and Artificial Intelligence
20 Artificial Intelligence
18 Distributed Computing
14 Cybernetics
13 Science of Computer Programming
12 RAIRO, Informatique Théorique
12 Annals of Pure and Applied Logic
12 Journal of Applied Non-Classical Logics
9 The Journal of Logic and Algebraic Programming
9 Journal of Logical and Algebraic Methods in Programming
8 Journal of Computer Science and Technology
7 Information Sciences
7 MSCS. Mathematical Structures in Computer Science
7 Cybernetics and Systems Analysis
7 Logical Methods in Computer Science
6 Mathematical Systems Theory
6 Studia Logica
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 Applicable Algebra in Engineering, Communication and Computing
6 ACM Transactions on Computational Logic
5 New Generation Computing
5 International Journal of Foundations of Computer Science
5 Discrete Event Dynamic Systems
5 Journal of Systems Science and Complexity
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 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 Notre Dame Journal of Formal Logic
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 29 more Serials

Citations by Year

Wikidata Timeline

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