dblp.uni-trier.dewww.uni-trier.de

Zohar Manna Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)