Zohar Manna

	2010
176		Zohar Manna, Doron Peled: Time for Verification, Essays in Memory of Amir Pnueli Springer 2010
175		Zohar Manna, Amir Pnueli: Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli 2010: 279-361
	2008
174		César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619
173		Aaron R. Bradley, Zohar Manna: Property-directed incremental invariant generation. Formal Asp. Comput. 20(4-5): 379-405 (2008)
172		Matteo Slanina, Henny B. Sipma, Zohar Manna: Deductive verification of alternating systems. Formal Asp. Comput. 20(4-5): 507-560 (2008)
171		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constructing invariants for hybrid systems. Formal Methods in System Design 32(1): 25-55 (2008)
	2007
170		Aaron R. Bradley, Zohar Manna: The calculus of computation - decision procedures with applications to verification. Springer 2007: I-XV, 1-366
169		César Sánchez, Henny B. Sipma, Zohar Manna: A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169
168		Aaron R. Bradley, Zohar Manna: Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD 2007: 173-180
167		César Sánchez, Henny B. Sipma, Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8
166		Zohar Manna, Henny B. Sipma, Ting Zhang: Verifying Balanced Trees. LFCS 2007: 363-378
	2006
165		César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill: Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20
164		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551
163		Matteo Slanina, Henny B. Sipma, Zohar Manna: Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256
162		Aaron R. Bradley, Zohar Manna: Verification Constraint Problems with Strengthening. ICTAC 2006: 35-49
161		César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill: On efficient distributed deadlock avoidance for real-time and embedded systems. IPDPS 2006
160		César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna: Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125
159		Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125
158		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: What's Decidable About Arrays? VMCAI 2006: 427-442
157		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006)
	2005
156		Aaron R. Bradley, Zohar Manna: Termination and Invariance Analysis of Loops. ATVA 2005: 2
155		Ting Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148
154		César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378
153		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Linear Ranking with Reachability. CAV 2005: 491-504
152		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502
151		César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173
150		César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532
149		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237
148		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: The Polyranking Principle. ICALP 2005: 1349-1361
147		Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna: LOLA: Runtime Monitoring of Synchronous Systems. TIME 2005: 166-174
146		Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination of Polynomial Programs. VMCAI 2005: 113-129
145		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41
	2004
144		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554
143		Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167
142		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329
141		Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68
140		Ting Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336
	2003
139		César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339
138		Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701
	2002
137		Zohar Manna, Calogero G. Zarba: Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002: 381-422
	2001
136		Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253(1): 27-60 (2001)
	2000
135		Zohar Manna, Henny Sipma: Alternating the Temporal Picture for Safety. ICALP 2000: 429-450
134		Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. Acta Inf. 36(11): 837-912 (2000)
133		Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma: The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12(4): 218-219 (2000)
132		Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16(3): 227-270 (2000)
	1999
131		Zohar Manna, Henny Sipma: Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999: 25-41
130		Zohar Manna: Visual Verification of Temporal Properties. TIME 1999: 6
129		Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. Formal Methods in System Design 15(1): 49-74 (1999)
	1998
128		Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe: Visual Abstractions for Temporal Verification. AMAST 1998: 28-41
127		Zohar Manna, Henny Sipma: Deductive Verification of Hybrid Systems Using STeP. HSCC 1998: 305-318
	1997
126		Zohar Manna: Verification of Progress Properties. APPIA-GULP-PRODE 1997: 345-346
125		Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43
124		Bernd Finkbeiner, Zohar Manna, Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997: 239-275
123		Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe: Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292
122		Luca de Alfaro, Arjun Kapur, Zohar Manna: Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164
121		Luca de Alfaro, Zohar Manna: Visual Verification of Reactive Systems. TACAS 1997: 334-350
120		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997)
	1996
119		Anca Browne, Zohar Manna, Henny Sipma: Hierarchical Verification Using Verification Diagrams. ASIAN 1996: 276-286
118		Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. CAV 1996: 208-219
117		Luca de Alfaro, Zohar Manna: Temporal Verification by Diagram Transformations. CAV 1996: 288-299
116		Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996: 415-418
115		Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996: 4-73
	1995
114		Zohar Manna, Amir Pnueli: Temporal verification of reactive systems - safety. Springer 1995: I-XV, 1-512
113		Luca de Alfaro, Zohar Manna: Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306
112		Nikolaj Bjørner, Anca Browne, Zohar Manna: Automatic Generation of Invariants and Assertions. CP 1995: 589-623
111		Anca Browne, Zohar Manna, Henny Sipma: Generalized Temporal Verification Diagrams. FSTTCS 1995: 484-498
110		Yonit Kesten, Zohar Manna, Amir Pnueli: Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40
109		Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe: STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794
108		Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger: A Temporal Plan Theory. WOCFAI 1995: 253-261
107		Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe: Differential BDDs. Computer Science Today 1995: 218-233
	1994
106		Anuchit Anuchitanukul, Zohar Manna: Realizability and Synthesis of Reactive Modules. CAV 1994: 156-168
105		Zohar Manna: Beyond Model Checking. CAV 1994: 220-221
104		Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454
103		Henny Sipma, Zohar Manna: Specification and Verification of Controlled Systems. FTRTFT 1994: 641-659
102		Hugh McGuire, Zohar Manna, Richard J. Waldinger: Annotation-Based Deduction in Temporal Logic. ICTL 1994: 430-444
101		Edward Y. Chang, Zohar Manna, Amir Pnueli: Compositional Verification of Real-Time Systems LICS 1994: 458-465
100		Zohar Manna, Amir Pnueli: Temporal Verification Diagrams. TACS 1994: 726-765
99		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Temporal Proof Methodologies for Timed Transition Systems Inf. Comput. 112(2): 273-337 (1994)
	1993
98		Zohar Manna, Richard J. Waldinger: The deductive foundations of computer programming - a one-volume version of "The logical basis for computer programming". Addison-Wesley 1993: I-XIV, 1-717
97		Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli: A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109
96		Yonit Kesten, Zohar Manna, Amir Pnueli: Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346
95		Zohar Manna, Amir Pnueli: Models for Reactivity. Acta Inf. 30(7): 609-678 (1993)
	1992
94		Zohar Manna, Amir Pnueli: The temporal logic of reactive and concurrent systems - specification. Springer 1992: I-XIV, 1-427
93		Zohar Manna, Amir Pnueli: Time for Concurrency. 25th Anniversary of INRIA 1992: 129-153
92		Zohar Manna, Richard J. Waldinger: The Special-Relation Rules are Incomplete. CADE 1992: 492-506
91		Zohar Manna, Amir Pnueli: Verifying Hybrid Systems. Hybrid Systems 1992: 4-35
90		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76
89		Edward Y. Chang, Zohar Manna, Amir Pnueli: Characterization of Temporal Property Classes. ICALP 1992: 474-486
88		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: What Good Are Digital Clocks? ICALP 1992: 545-558
87		Zohar Manna, Richard J. Waldinger: Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18(8): 674-704 (1992)
	1991
86		Zohar Manna, Amir Pnueli: On the Faithfulness of Formal Models. MFCS 1991: 28-42
85		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366
84		Thomas A. Henzinger, Zohar Manna, Amir Pnueli: Timed Transition Systems. REX Workshop 1991: 226-251
83		Oded Maler, Zohar Manna, Amir Pnueli: From Timed to Hybrid Systems. REX Workshop 1991: 447-484
82		Zohar Manna, Amir Pnueli: Completing the Temporal Picture. Theor. Comput. Sci. 83(1): 91-130 (1991)
	1990
81		Zohar Manna, Amir Pnueli: A Hierarchy of Temporal Properties. PODC 1990: 377-410
80		Martín Abadi, Zohar Manna: Nonclausal Deduction in First-Order Temporal Logic J. ACM 37(2): 279-317 (1990)
	1989
79		Zohar Manna, Amir Pnueli: Completing the Temporal Picture. ICALP 1989: 534-558
78		Martín Abadi, Zohar Manna: Temporal Logic Programming. J. Symb. Comput. 8(3): 277-295 (1989)
	1988
77		Zohar Manna, Amir Pnueli: The anchored version of the temporal framework. REX Workshop 1988: 201-284
	1987
76		Zohar Manna, Richard J. Waldinger: The Deductive Synthesis of Imperative LISP Programs. AAAI 1987: 155-160
75		Zohar Manna, Amir Pnueli: A Hierarchy of Temporal Properties (Abstract). PODC 1987: 205
74		Zohar Manna, Amir Pnueli: Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987: 1-12
73		Martín Abadi, Zohar Manna: Temporal Logic Programming. SLP 1987: 4-16
72		Zohar Manna, Amir Pnueli: Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification 1987: 124-164
71		Zohar Manna, Richard J. Waldinger: How to Clear a Block: A Theory of Plans. J. Autom. Reasoning 3(4): 343-377 (1987)
70		Zohar Manna, Richard J. Waldinger: The Origin of a Binary-Search Paradigm. Sci. Comput. Program. 9(1): 37-83 (1987)
	1986
69		Martín Abadi, Zohar Manna: Modal Theorem Proving. CADE 1986: 172-189
68		Zohar Manna, Richard J. Waldinger: How to Clear a Block: Plan Formation in Situational Logic. CADE 1986: 622-640
67		Martín Abadi, Zohar Manna: A Timely Resolution LICS 1986: 176-186
66		Bengt Jonsson, Zohar Manna, Richard J. Waldinger: Towards Deductive Synthesis of Dataflow Networks LICS 1986: 26-37
65		Yonathan Malachi, Zohar Manna, Richard J. Waldinger: TABLOG: A New Approach To Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 365-394
64		Yonathan Malachi, Zohar Manna, Richard J. Waldinger: Tablog: Functional and Relational Programming in One Framework. IEEE Software 3(1): 75-76 (1986)
63		Zohar Manna, Richard J. Waldinger: Special relations in automated deduction. J. ACM 33(1): 1-59 (1986)
	1985
62		Zohar Manna, Richard J. Waldinger: Deduction with Relation Matching. FSTTCS 1985: 212-224
61		Zohar Manna, Richard J. Waldinger: Special Relations in Automated Deduction. ICALP 1985: 413-423
60		Zohar Manna, Richard J. Waldinger: The Origin of the Binary-Search Paradigm. IJCAI 1985: 222-224
59		Martín Abadi, Zohar Manna: Nonclausal Temporal Deduction. Logic of Programs 1985: 1-15
	1984
58		Yonathan Malachi, Zohar Manna, Richard J. Waldinger: TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming 1984: 323-330
57		Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93 (1984)
56		Zohar Manna, Amir Pnueli: Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. Sci. Comput. Program. 4(3): 257-289 (1984)
	1983
55		Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski: A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291
54		Zohar Manna, Amir Pnueli: Proving Precedence Properties: The Temporal Way. ICALP 1983: 491-512
53		Ben C. Moszkowski, Zohar Manna: Reasoning in Interval Temporal Logic. Logic of Programs 1983: 371-382
52		Zohar Manna, Amir Pnueli: How to Cook a Temporal Proof System for Your Pet Language. POPL 1983: 141-154
51		Mordechai Ben-Ari, Amir Pnueli, Zohar Manna: The Temporal Logic of Branching Time. Acta Inf. 20: 207-226 (1983)
	1981
50		Zohar Manna, Amir Pnueli: Verification of Concurrent Programs: Temporal Proof Principles. Logic of Programs 1981: 200-252
49		Zohar Manna, Pierre Wolper: Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs 1981: 253-281
48		Mordechai Ben-Ari, Zohar Manna, Amir Pnueli: The Temporal Logic of Branching Time. POPL 1981: 164-176
47		Zohar Manna, Richard J. Waldinger: Problematic Features of Programming Languages: A Situational-Calculus Approach. Acta Inf. 16: 371-426 (1981)
46		Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. IEEE Trans. Software Eng. 7(2): 207-222 (1981)
45		Zohar Manna, Richard J. Waldinger: Deductive Synthesis of the Unification Algorithm. Sci. Comput. Program. 1(1-2): 5-48 (1981)
	1980
44		Zohar Manna: Logics of Programs. IFIP Congress 1980: 41-51
43		Zohar Manna, Amir Pnueli: Synchronous Schemes and Their Decision Problems. POPL 1980: 62-67
42		Zohar Manna, Richard J. Waldinger: A Deductive Approach to Program Synthesis. ACM Trans. Program. Lang. Syst. 2(1): 90-121 (1980)
	1979
41		Nachum Dershowitz, Zohar Manna: Proving termination with Multiset Orderings. ICALP 1979: 188-202
40		Zohar Manna, Amir Pnueli: The Modal Logic of Programs. ICALP 1979: 385-409
39		Nachum Dershowitz, Zohar Manna: Proving Termination with Multiset Orderings. Commun. ACM 22(8): 465-476 (1979)
38		Zohar Manna, Richard J. Waldinger: Synthesis: Dreams - Programs. IEEE Trans. Software Eng. 5(4): 294-328 (1979)
	1978
37		Nachum Dershowitz, Zohar Manna: Inference Rules for Program Annotation. ICSE 1978: 158-167
36		Zohar Manna, Richard J. Waldinger: The Synthesis of Structure Changing Programs. ICSE 1978: 175-187
35		Zohar Manna, Richard J. Waldinger: Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness). Commun. ACM 21(2): 159-172 (1978)
34		Zohar Manna, Richard J. Waldinger: The Logic of Computer Programming. IEEE Trans. Software Eng. 4(3): 199-229 (1978)
33		Zohar Manna, Adi Shamir: The Convergence of Functions to Fixedpoints of Recursive Definitions. Theor. Comput. Sci. 6: 109-141 (1978)
	1977
32		Zohar Manna, Richard J. Waldinger: The Automatic Synthesis of Systems of Recursive Programs. IJCAI 1977: 405-411
31		Nachum Dershowitz, Zohar Manna: The Evolution of Programs: A System for Automatic Program Modification. POPL 1977: 144-154
30		Zohar Manna, Adi Shamir: The Optimal Approach to Recursive Programs. Commun. ACM 20(11): 824-831 (1977)
29		Nachum Dershowitz, Zohar Manna: The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. 3(6): 377-385 (1977)
	1976
28		Zohar Manna, Richard J. Waldinger: Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. ICSE 1976: 32-39
27		Shmuel Katz, Zohar Manna: Logical Analysis of Programs. Commun. ACM 19(4): 188-206 (1976)
26		Ashok K. Chandra, Zohar Manna: On the Power of Programming Features. Comput. Lang. 1(3): 219-232 (1976)
25		Zohar Manna, Adi Shamir: The Theoretical Aspects of the Optimal Fixed Point. SIAM J. Comput. 5(3): 414-426 (1976)
	1975
24		Richard J. Waldinger, Zohar Manna: Knowledge and Reasoning in Program Synthesis. IJCAI 1975: 288-295
23		Zohar Manna, Adi Shamir: The Optimal Fixedpoint of Recursive Programs STOC 1975: 194-206
22		Shmuel Katz, Zohar Manna: A Closer Look at Termination. Acta Inf. 5: 333-352 (1975)
21		Zohar Manna, Richard J. Waldinger: Knowledge and Reasoning in Program Synthesis. Artif. Intell. 6(2): 175-208 (1975)
20		Edward A. Ashcroft, Zohar Manna: Translating Program Schemas to While-Schemas. SIAM J. Comput. 4(2): 125-146 (1975)
	1974
19		Zohar Manna: Knowledge and Reasoning in Program Synthesis. Programming Methodology 1974: 236-277
18		Zohar Manna, Amir Pnueli: Axiomatic Approach to Total Correctness of Programs. Acta Inf. 3: 243-263 (1974)
	1973
17		Shmuel Katz, Zohar Manna: A Heuristic Approach to Program Verification. IJCAI 1973: 500-512
16		Zohar Manna, Stephen Nes, Jean Vuillemin: Inductive Methods for Proving Properties of Programs. Commun. ACM 16(8): 491-502 (1973)
15		Edward A. Ashcroft, Zohar Manna, Amir Pnueli: Decidable Properties of Monadic Functional Schemas. J. ACM 20(3): 489-499 (1973)
	1972
14		Zohar Manna, Jean Vuillemin: Fixpoint Approach to the Theory of Computation. ICALP 1972: 273-291
13		Ashok K. Chandra, Zohar Manna: Program Schemas with Equality STOC 1972: 52-64
12		Zohar Manna, Jean Vuillemin: Fix Point Approach to the Theory of Computation. Commun. ACM 15(7): 528-536 (1972)
	1971
11		Edward A. Ashcroft, Zohar Manna: The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) 1971: 250-255
10		Zohar Manna: Mathematical theory of partial correctness. Symposium on Semantics of Algorithmic Languages 1971: 252-269
9		Zohar Manna, Richard J. Waldinger: Towards automatic program synthesis. Symposium on Semantics of Algorithmic Languages 1971: 270-310
8		Zohar Manna, Richard J. Waldinger: Toward Automatic Program Synthesis. Commun. ACM 14(3): 151-165 (1971)
7		Zohar Manna: Mathematical Theory of Partial Correctness. J. Comput. Syst. Sci. 5(3): 239-253 (1971)
	1970
6		Zohar Manna: Second-Order Mathematical Theory of Computation STOC 1970: 158-168
5		Zohar Manna: The Correctness of Nondeterministic Programs. Artif. Intell. 1(1/2): 1-26 (1970)
4		Zohar Manna, Amir Pnueli: Formalization of Properties of Functional Programs. J. ACM 17(3): 555-569 (1970)
	1969
3		Zohar Manna, Amir Pnueli: Formalization of Properties of Recursively Defined Functions STOC 1969: 201-210
2		Zohar Manna: Properties of Programs and the First-Order Predicate Calculus. J. ACM 16(2): 244-255 (1969)
1		Zohar Manna: The Correctness of Programs. J. Comput. Syst. Sci. 3(2): 119-127 (1969)

Coauthor Index

1	Martín Abadi	[59] [67] [69] [73] [78] [80]
2	Luca de Alfaro	[109] [113] [117] [121] [122]
3	Anuchit Anuchitanukul	[106] [107]
4	Edward A. Ashcroft	[11] [15] [20]
5	Mordechai Ben-Ari	[48] [51]
6	Nikolaj Bjørner	[109] [112] [116] [120] [125] [132] [136]
7	Aaron R. Bradley	[146] [148] [152] [153] [156] [158] [162] [168] [170] [173]
8	Anca Browne (I. A. Draghicescu)	[109] [111] [112] [116] [119] [120] [128] [132] [133]
9	Ashok K. Chandra	[13] [26]
10	Edward Y. Chang	[89] [101] [109] [116]
11	Michael Colón	[109] [116] [123] [132] [159]
12	Ben D'Angelo	[147]
13	Nachum Dershowitz	[29] [31] [37] [39] [41] [46]
14	Harish Devarajan	[109]
15	David L. Dill	[139]
16	Bernd Finkbeiner	[123] [124] [132] [133] [147]
17	Christopher D. Gill	[151] [160] [161] [165]
18	Joseph Y. Halpern	[55]
19	Thomas A. Henzinger	[84] [85] [88] [90] [99] [104]
20	Bengt Jonsson	[66]
21	Arjun Kapur	[104] [109] [116] [122]
22	Shmuel Katz	[17] [22] [27]
23	Yonit Kesten	[96] [97] [110] [115] [134]
24	Jaejin Lee	[109]
25	Yonathan Malachi	[58] [64] [65]
26	Oded Maler	[83]
27	Hugh McGuire	[97] [102]
28	Sandeep Mehrotra	[147]
29	Ben C. Moszkowski	[53] [55]
30	Stephen Nes	[16]
31	Massimo Paltrinieri	[108]
32	Doron Peled	[176]
33	Amir Pnueli	[3] [4] [15] [18] [40] [43] [48] [50] [51] [52] [54] [56] [72] [74] [75] [77] [79] [81] [82] [83] [84] [85] [86] [88] [89] [90] [91] [93] [94] [95] [96] [97] [99] [100] [101] [104] [110] [114] [115] [134] [175]
34	Will Robinson	[147]
35	César Sánchez	[139] [147] [150] [151] [154] [160] [161] [165] [167] [169] [174]
36	Sriram Sankaranarayanan	[138] [139] [141] [142] [144] [145] [147] [159] [164] [171]
37	Adi Shamir	[23] [25] [30] [33]
38	Henny B. Sipma (Henny Sipma)	[103] [109] [111] [116] [118] [119] [123] [124] [125] [127] [128] [129] [131] [132] [133] [135] [136] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [157] [158] [159] [160] [161] [163] [164] [165] [166] [167] [169] [171] [172] [174]
39	Matteo Slanina	[150] [154] [163] [172] [174]
40	Venkita Subramonian	[151] [161]
41	Tomás E. Uribe	[107] [109] [116] [118] [123] [125] [128] [129] [132] [136]
42	Jean Vuillemin	[12] [14] [16]
43	Richard J. Waldinger	[8] [9] [21] [24] [28] [32] [34] [35] [36] [38] [42] [45] [47] [58] [60] [61] [62] [63] [64] [65] [66] [68] [70] [71] [76] [87] [92] [98] [102] [108]
44	Pierre Wolper	[49] [57]
45	Calogero G. Zarba	[137]
46	Ting Zhang	[139] [140] [143] [149] [155] [157] [166]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page