default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZohar Manna
Person information
- affiliation: Stanford University, USA
- award (2016): Herbrand Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2010
[c130]Zohar Manna, Amir Pnueli:
Temporal Verification of Reactive Systems: Response. Essays in Memory of Amir Pnueli 2010: 279-361- [e1]Zohar Manna, Doron A. Peled:
Time for Verification, Essays in Memory of Amir Pnueli. Lecture Notes in Computer Science 6200, Springer 2010, ISBN 978-3-642-13753-2 [contents]
2000 – 2009
- 2008
- [j50]Aaron R. Bradley, Zohar Manna:
Property-directed incremental invariant generation. Formal Aspects Comput. 20(4-5): 379-405 (2008) - [j49]Matteo Slanina, Henny B. Sipma, Zohar Manna:
Deductive verification of alternating systems. Formal Aspects Comput. 20(4-5): 507-560 (2008) - [j48]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constructing invariants for hybrid systems. Formal Methods Syst. Des. 32(1): 25-55 (2008) - [c129]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 - 2007
- [b4]Aaron R. Bradley, Zohar Manna:
The calculus of computation - decision procedures with applications to verification. Springer 2007, pp. I-XV, 1-366 - [c128]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 - [c127]Aaron R. Bradley, Zohar Manna:
Checking Safety by Inductive Generalization of Counterexamples to Induction. FMCAD 2007: 173-180 - [c126]César Sánchez, Henny B. Sipma, Zohar Manna:
Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 - [c125]Zohar Manna, Henny B. Sipma, Ting Zhang:
Verifying Balanced Trees. LFCS 2007: 363-378 - 2006
- [j47]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006) - [c124]César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill:
Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 - [c123]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551 - [c122]Aaron R. Bradley, Zohar Manna:
Verification Constraint Problems with Strengthening. ICTAC 2006: 35-49 - [c121]Matteo Slanina, Henny B. Sipma, Zohar Manna:
Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256 - [c120]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 - [c119]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 - [c118]Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna:
Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125 - [c117]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
What's Decidable About Arrays? VMCAI 2006: 427-442 - 2005
- [c116]Aaron R. Bradley, Zohar Manna:
Termination and Invariance Analysis of Loops. ATVA 2005: 2 - [c115]Ting Zhang, Henny B. Sipma, Zohar Manna:
The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148 - [c114]César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna:
Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 - [c113]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Linear Ranking with Reachability. CAV 2005: 491-504 - [c112]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502 - [c111]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 - [c110]César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 - [c109]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237 - [c108]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
The Polyranking Principle. ICALP 2005: 1349-1361 - [c107]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 - [c106]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41 - [c105]Aaron R. Bradley, Zohar Manna, Henny B. Sipma:
Termination of Polynomial Programs. VMCAI 2005: 113-129 - 2004
- [c104]Ting Zhang, Henny B. Sipma, Zohar Manna:
Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167 - [c103]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554 - [c102]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329 - [c101]Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna:
Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68 - [c100]Ting Zhang, Henny B. Sipma, Zohar Manna:
Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336 - 2003
- [c99]Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701 - [c98]César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna:
Event Correlation: Language and Semantics. EMSOFT 2003: 323-339 - 2002
- [c97]Zohar Manna, Calogero G. Zarba:
Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST 2002: 381-422 - 2001
- [j46]Nikolaj S. 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
- [j45]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. Acta Informatica 36(11): 837-912 (2000) - [j44]Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma:
The 'Cash-Point' Service: A Verification Case Study Using STeP. Formal Aspects Comput. 12(4): 218-219 (2000) - [j43]Nikolaj S. 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 Syst. Des. 16(3): 227-270 (2000) - [c96]Zohar Manna, Henny Sipma:
Alternating the Temporal Picture for Safety. ICALP 2000: 429-450
1990 – 1999
- 1999
- [j42]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. Formal Methods Syst. Des. 15(1): 49-74 (1999) - [c95]Zohar Manna, Henny Sipma:
Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999: 25-41 - [c94]Zohar Manna:
Visual Verification of Temporal Properties. TIME 1999: 6 - 1998
- [c93]Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe:
Visual Abstractions for Temporal Verification. AMAST 1998: 28-41 - [c92]Zohar Manna, Henny Sipma:
Deductive Verification of Hybrid Systems Using STeP. HSCC 1998: 305-318 - [c91]Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe:
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. Tool Support for System Specification, Development and Verification 1998: 174-188 - 1997
- [j41]Nikolaj S. Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Intermediate Assertions. Theor. Comput. Sci. 173(1): 49-87 (1997) - [c90]Zohar Manna:
Verification of Progress Properties. APPIA-GULP-PRODE 1997: 345-346 - [c89]Nikolaj S. Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43 - [c88]Bernd Finkbeiner, Zohar Manna, Henny Sipma:
Deductive Verification of Modular Systems. COMPOS 1997: 239-275 - [c87]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 - [c86]Luca de Alfaro, Arjun Kapur, Zohar Manna:
Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification. STACS 1997: 153-164 - [c85]Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe:
Visual Verification of Reactive Systems. TACAS 1997: 334-350 - 1996
- [c84]Anca Browne, Zohar Manna, Henny Sipma:
Hierarchical Verification Using Verification Diagrams. ASIAN 1996: 276-286 - [c83]Henny Sipma, Tomás E. Uribe, Zohar Manna:
Deductive Model Checking. CAV 1996: 208-219 - [c82]Luca de Alfaro, Zohar Manna:
Temporal Verification by Diagram Transformations. CAV 1996: 288-299 - [c81]Nikolaj S. 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 - [c80]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. European Educational Forum: School on Embedded Systems 1996: 4-73 - 1995
- [b3]Zohar Manna, Amir Pnueli:
Temporal verification of reactive systems - safety. Springer 1995, ISBN 978-0-387-94459-3, pp. I-XV, 1-512 - [c79]Luca de Alfaro, Zohar Manna:
Verification in Continuous Time by Discrete Reasoning. AMAST 1995: 292-306 - [c78]Nikolaj S. Bjørner, Anca Browne, Zohar Manna:
Automatic Generation of Invariants and Assertions. CP 1995: 589-623 - [c77]Anca Browne, Zohar Manna, Henny Sipma:
Generalized Temporal Verification Diagrams. FSTTCS 1995: 484-498 - [c76]Yonit Kesten, Zohar Manna, Amir Pnueli:
Verifying Clocked Transition Systems. Hybrid Systems 1995: 13-40 - [c75]Zohar Manna, Nikolaj S. 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 - [c74]Zohar Manna, Massimo Paltrinieri, Richard J. Waldinger:
A Temporal Plan Theory. WOCFAI 1995: 253-261 - [p5]Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe:
Differential BDDs. Computer Science Today 1995: 218-233 - 1994
- [j40]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Timed Transition Systems. Inf. Comput. 112(2): 273-337 (1994) - [c73]Anuchit Anuchitanukul, Zohar Manna:
Realizability and Synthesis of Reactive Modules. CAV 1994: 156-168 - [c72]Zohar Manna:
Beyond Model Checking. CAV 1994: 220-221 - [c71]Arjun Kapur, Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Prooving Safety Properties of Hybrid Systems. FTRTFT 1994: 431-454 - [c70]Henny Sipma, Zohar Manna:
Specification and Verification of Controlled Systems. FTRTFT 1994: 641-659 - [c69]Hugh McGuire, Zohar Manna, Richard J. Waldinger:
Annotation-Based Deduction in Temporal Logic. ICTL 1994: 430-444 - [c68]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Compositional Verification of Real-Time Systems. LICS 1994: 458-465 - [c67]Zohar Manna, Amir Pnueli:
Temporal Verification Diagrams. TACS 1994: 726-765 - 1993
- [b2]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, ISBN 978-0-201-54886-0, pp. I-XIV, 1-717 - [j39]Zohar Manna, Amir Pnueli:
Models for Reactivity. Acta Informatica 30(7): 609-678 (1993) - [c66]Yonit Kesten, Zohar Manna, Hugh McGuire, Amir Pnueli:
A Decision Algorithm for Full Propositional Temporal Logic. CAV 1993: 97-109 - [c65]Yonit Kesten, Zohar Manna, Amir Pnueli:
Temporal Verification of Simulation and Refinement. REX School/Symposium 1993: 273-346 - [p4]Zohar Manna, Amir Pnueli:
Verification of parameterized programs. Specification and validation methods 1993: 167-230 - 1992
- [b1]Zohar Manna, Amir Pnueli:
The temporal logic of reactive and concurrent systems - specification. Springer 1992, ISBN 978-3-540-97664-6, pp. I-XIV, 1-427 - [j38]Zohar Manna, Richard J. Waldinger:
Fundamentals of Deductive Program Synthesis. IEEE Trans. Software Eng. 18(8): 674-704 (1992) - [c64]Zohar Manna, Richard J. Waldinger:
The Special-Relation Rules are Incomplete. CADE 1992: 492-506 - [c63]Zohar Manna, Amir Pnueli:
Verifying Hybrid Systems. Hybrid Systems 1992: 4-35 - [c62]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Towards Refining Temporal Specifications into Hybrid Systems. Hybrid Systems 1992: 60-76 - [c61]Edward Y. Chang, Zohar Manna, Amir Pnueli:
Characterization of Temporal Property Classes. ICALP 1992: 474-486 - [c60]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
What Good Are Digital Clocks? ICALP 1992: 545-558 - [c59]Zohar Manna, Amir Pnueli:
Time for Concurrency. 25th Anniversary of INRIA 1992: 129-153 - [c58]Zohar Manna, Amir Pnueli:
A Temporal Proof Methodology for Reactive Systems. NATO ASI PDC 1992: 287-323 - 1991
- [j37]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. Theor. Comput. Sci. 83(1): 91-130 (1991) - [c57]Zohar Manna, Mark E. Stickel, Richard Waldinger:
Monotonicity Properties in Automated Deduction. Artificial and Mathematical Theory of Computation 1991: 261-280 - [c56]Zohar Manna, Amir Pnueli:
On the Faithfulness of Formal Models. MFCS 1991: 28-42 - [c55]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Temporal Proof Methodologies for Real-time Systems. POPL 1991: 353-366 - [c54]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
Timed Transition Systems. REX Workshop 1991: 226-251 - [c53]Oded Maler, Zohar Manna, Amir Pnueli:
From Timed to Hybrid Systems. REX Workshop 1991: 447-484 - 1990
- [j36]Martín Abadi, Zohar Manna:
Nonclausal Deduction in First-Order Temporal Logic. J. ACM 37(2): 279-317 (1990) - [c52]Thomas A. Henzinger, Zohar Manna, Amir Pnueli:
An interleaving model for real-time. Jerusalem Conference on Information Technology 1990: 717-730 - [c51]Zohar Manna, Amir Pnueli:
A temporal proof methodology for reactive systems. Jerusalem Conference on Information Technology 1990: 757-773 - [c50]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties. PODC 1990: 377-410
1980 – 1989
- 1989
- [j35]Martín Abadi, Zohar Manna:
Temporal Logic Programming. J. Symb. Comput. 8(3): 277-295 (1989) - [c49]Zohar Manna, Amir Pnueli:
Completing the Temporal Picture. ICALP 1989: 534-558 - 1988
- [c48]Zohar Manna, Amir Pnueli:
The anchored version of the temporal framework. REX Workshop 1988: 201-284 - 1987
- [j34]Zohar Manna, Richard J. Waldinger:
How to Clear a Block: A Theory of Plans. J. Autom. Reason. 3(4): 343-377 (1987) - [j33]Zohar Manna, Richard J. Waldinger:
The Origin of a Binary-Search Paradigm. Sci. Comput. Program. 9(1): 37-83 (1987) - [c47]Zohar Manna, Richard J. Waldinger:
The Deductive Synthesis of Imperative LISP Programs. AAAI 1987: 155-160 - [c46]Zohar Manna, Amir Pnueli:
A Hierarchy of Temporal Properties (Abstract). PODC 1987: 205 - [c45]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs By Forall-Automata. POPL 1987: 1-12 - [c44]Martín Abadi, Zohar Manna:
Temporal Logic Programming. SLP 1987: 4-16 - [c43]Zohar Manna, Amir Pnueli:
Specification and Verification of Concurrent Programs by forall-Automata. Temporal Logic in Specification 1987: 124-164 - 1986
- [j32]Zohar Manna, Richard J. Waldinger:
Special relations in automated deduction. J. ACM 33(1): 1-59 (1986) - [j31]Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
Tablog: Functional and Relational Programming in One Framework. IEEE Softw. 3(1): 75-76 (1986) - [c42]Martín Abadi, Zohar Manna:
Modal Theorem Proving. CADE 1986: 172-189 - [c41]Zohar Manna, Richard J. Waldinger:
How to Clear a Block: Plan Formation in Situational Logic. CADE 1986: 622-640 - [c40]Bengt Jonsson, Zohar Manna, Richard J. Waldinger:
Towards Deductive Synthesis of Dataflow Networks. LICS 1986: 26-37 - [c39]Martín Abadi, Zohar Manna:
A Timely Resolution. LICS 1986: 176-186 - [p3]Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
TABLOG: A New Approach To Logic Programming. Logic Programming: Functions, Relations, and Equations 1986: 365-394 - 1985
- [c38]Zohar Manna, Richard J. Waldinger:
Deduction with Relation Matching. FSTTCS 1985: 212-224 - [c37]Zohar Manna, Richard J. Waldinger:
Special Relations in Automated Deduction. ICALP 1985: 413-423 - [c36]Zohar Manna, Richard J. Waldinger:
The Origin of the Binary-Search Paradigm. IJCAI 1985: 222-224 - [c35]Martín Abadi, Zohar Manna:
Nonclausal Temporal Deduction. Logic of Programs 1985: 1-15 - 1984
- [j30]Zohar Manna, Amir Pnueli:
Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Programs. Sci. Comput. Program. 4(3): 257-289 (1984) - [j29]Zohar Manna, Pierre Wolper:
Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. Program. Lang. Syst. 6(1): 68-93 (1984) - [c34]Yonathan Malachi, Zohar Manna, Richard J. Waldinger:
TABLOG: The Deductive-Tableau Programming Language. LISP and Functional Programming 1984: 323-330 - 1983
- [j28]Mordechai Ben-Ari, Amir Pnueli, Zohar Manna:
The Temporal Logic of Branching Time. Acta Informatica 20: 207-226 (1983) - [c33]Joseph Y. Halpern, Zohar Manna, Ben C. Moszkowski:
A Hardware Semantics Based on Temporal Intervals. ICALP 1983: 278-291 - [c32]Zohar Manna, Amir Pnueli:
Proving Precedence Properties: The Temporal Way. ICALP 1983: 491-512 - [c31]Ben C. Moszkowski, Zohar Manna:
Reasoning in Interval Temporal Logic. Logic of Programs 1983: 371-382 - [c30]Zohar Manna, Amir Pnueli:
How to Cook a Temporal Proof System for Your Pet Language. POPL 1983: 141-154 - 1981
- [j27]Zohar Manna, Richard J. Waldinger:
Problematic Features of Programming Languages: A Situational-Calculus Approach. Acta Informatica 16: 371-426 (1981) - [j26]Zohar Manna, Richard J. Waldinger:
Deductive Synthesis of the Unification Algorithm. Sci. Comput. Program. 1(1-2): 5-48 (1981) - [j25]Nachum Dershowitz, Zohar Manna:
Inference Rules for Program Annotation. IEEE Trans. Software Eng. 7(2): 207-222 (1981) - [c29]Zohar Manna, Amir Pnueli:
Verification of Concurrent Programs: Temporal Proof Principles. Logic of Programs 1981: 200-252 - [c28]Zohar Manna, Pierre Wolper:
Synthesis of Communicating Processes from Temporal Logic Specifications. Logic of Programs 1981: 253-281 - [c27]Mordechai Ben-Ari, Zohar Manna, Amir Pnueli:
The Temporal Logic of Branching Time. POPL 1981: 164-176 - 1980
- [j24]Zohar Manna, Richard J. Waldinger:
A Deductive Approach to Program Synthesis. ACM Trans. Program. Lang. Syst. 2(1): 90-121 (1980) - [c26]Zohar Manna:
Logics of Programs. IFIP Congress 1980: 41-51 - [c25]Zohar Manna, Amir Pnueli:
Synchronous Schemes and Their Decision Problems. POPL 1980: 62-67
1970 – 1979
- 1979
- [j23]Nachum Dershowitz, Zohar Manna:
Proving Termination with Multiset Orderings. Commun. ACM 22(8): 465-476 (1979) - [j22]Zohar Manna, Richard J. Waldinger:
Synthesis: Dreams - Programs. IEEE Trans. Software Eng. 5(4): 294-328 (1979) - [c24]Nachum Dershowitz, Zohar Manna:
Proving termination with Multiset Orderings. ICALP 1979: 188-202 - [c23]Zohar Manna, Amir Pnueli:
The Modal Logic of Programs. ICALP 1979: 385-409 - [c22]Zohar Manna, Richard Waldinger:
A Deductive Approach to Program Synthesis. IJCAI 1979: 542-551 - 1978
- [j21]Zohar Manna, Richard J. Waldinger:
Is "Sometime" Sometimes Better Than "Always"? (Intermittent Assertions in Proving Program Correctness). Commun. ACM 21(2): 159-172 (1978) - [j20]Zohar Manna, Adi Shamir:
The Convergence of Functions to Fixedpoints of Recursive Definitions. Theor. Comput. Sci. 6: 109-141 (1978) - [j19]Zohar Manna, Richard J. Waldinger:
The Logic of Computer Programming. IEEE Trans. Software Eng. 4(3): 199-229 (1978) - [c21]Zohar Manna, Richard Waldinger:
DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer. AFIPS National Computer Conference 1978: 683-690 - [c20]Nachum Dershowitz, Zohar Manna:
Inference Rules for Program Annotation. ICSE 1978: 158-167 - [c19]Zohar Manna, Richard J. Waldinger:
The Synthesis of Structure Changing Programs. ICSE 1978: 175-187 - 1977
- [j18]Zohar Manna, Adi Shamir:
The Optimal Approach to Recursive Programs. Commun. ACM 20(11): 824-831 (1977) - [j17]Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: Automatic Program Modification. IEEE Trans. Software Eng. 3(6): 377-385 (1977) - [c18]Zohar Manna, Richard J. Waldinger:
The Automatic Synthesis of Systems of Recursive Programs. IJCAI 1977: 405-411 - [c17]Nachum Dershowitz, Zohar Manna:
The Evolution of Programs: A System for Automatic Program Modification. POPL 1977: 144-154 - [c16]Zohar Manna, Richard Waldinger:
The automatic synthesis of recursive programs. Artificial Intelligence and Programming Languages 1977: 29-36 - 1976
- [j16]Shmuel Katz, Zohar Manna:
Logical Analysis of Programs. Commun. ACM 19(4): 188-206 (1976) - [j15]Ashok K. Chandra, Zohar Manna:
On the Power of Programming Features. Comput. Lang. 1(3): 219-232 (1976) - [j14]Zohar Manna, Adi Shamir:
The Theoretical Aspects of the Optimal Fixed Point. SIAM J. Comput. 5(3): 414-426 (1976) - [c15]Zohar Manna, Richard J. Waldinger:
Is 'Sometime' Sometimes Better Than 'Always'? Intermittent Assertions in Proving Program Correctness. ICSE 1976: 32-39 - 1975
- [j13]Shmuel Katz, Zohar Manna:
A Closer Look at Termination. Acta Informatica 5: 333-352 (1975) - [j12]Zohar Manna, Richard J. Waldinger:
Knowledge and Reasoning in Program Synthesis. Artif. Intell. 6(2): 175-208 (1975) - [j11]Edward A. Ashcroft, Zohar Manna:
Translating Program Schemas to While-Schemas. SIAM J. Comput. 4(2): 125-146 (1975) - [c14]Richard J. Waldinger, Zohar Manna:
Knowledge and Reasoning in Program Synthesis. IJCAI 1975: 288-295 - [c13]Shmuel Katz, Zohar Manna:
Towards automatic debugging of programs. Reliable Software 1975: 143-155 - [c12]Zohar Manna, Adi Shamir:
The Optimal Fixedpoint of Recursive Programs. STOC 1975: 194-206 - 1974
- [j10]Zohar Manna, Amir Pnueli:
Axiomatic Approach to Total Correctness of Programs. Acta Informatica 3: 243-263 (1974) - [c11]Zohar Manna:
Knowledge and Reasoning in Program Synthesis. Programming Methodology 1974: 236-277 - 1973
- [j9]Zohar Manna, Stephen Nes, Jean Vuillemin:
Inductive Methods for Proving Properties of Programs. Commun. ACM 16(8): 491-502 (1973) - [j8]Edward A. Ashcroft, Zohar Manna, Amir Pnueli:
Decidable Properties of Monadic Functional Schemas. J. ACM 20(3): 489-499 (1973) - [c10]Shmuel Katz, Zohar Manna:
A Heuristic Approach to Program Verification. IJCAI 1973: 500-512 - 1972
- [j7]Zohar Manna, Jean Vuillemin:
Fix Point Approach to the Theory of Computation. Commun. ACM 15(7): 528-536 (1972) - [c9]Zohar Manna:
Computation of recursive programs: theory vs practice. AFIPS Spring Joint Computing Conference 1972: 219-223 - [c8]Zohar Manna, Jean Vuillemin:
Fixpoint Approach to the Theory of Computation. ICALP 1972: 273-291 - [c7]Zohar Manna, Stephen Nes, Jean Vuillemin:
Inductive methods for proving properties of programs. Proving Assertions About Programs 1972: 27-50 - [c6]Jean-Marie Cadiou, Zohar Manna:
Recursive definitions of partial functions and their computations. Proving Assertions About Programs 1972: 58-65 - [c5]Ashok K. Chandra, Zohar Manna:
Program Schemas with Equality. STOC 1972: 52-64 - 1971
- [j6]Zohar Manna, Richard J. Waldinger:
Toward Automatic Program Synthesis. Commun. ACM 14(3): 151-165 (1971) - [j5]Zohar Manna:
Mathematical Theory of Partial Correctness. J. Comput. Syst. Sci. 5(3): 239-253 (1971) - [c4]Edward A. Ashcroft, Zohar Manna:
The Translation of 'Go To' Programs to 'While' Programs. IFIP Congress (1) 1971: 250-255 - [p2]Zohar Manna:
Mathematical theory of partial correctness. Symposium on Semantics of Algorithmic Languages 1971: 252-269 - [p1]Zohar Manna, Richard J. Waldinger:
Towards automatic program synthesis. Symposium on Semantics of Algorithmic Languages 1971: 270-310 - 1970
- [j4]Zohar Manna:
The Correctness of Nondeterministic Programs. Artif. Intell. 1(1/2): 1-26 (1970) - [j3]Zohar Manna, Amir Pnueli:
Formalization of Properties of Functional Programs. J. ACM 17(3): 555-569 (1970) - [c3]Zohar Manna:
Termination of programs represented as interpreted graphs. AFIPS Spring Joint Computing Conference 1970: 83-89 - [c2]Zohar Manna:
Second-Order Mathematical Theory of Computation. STOC 1970: 158-168
1960 – 1969
- 1969
- [j2]Zohar Manna:
Properties of Programs and the First-Order Predicate Calculus. J. ACM 16(2): 244-255 (1969) - [j1]Zohar Manna:
The Correctness of Programs. J. Comput. Syst. Sci. 3(2): 119-127 (1969) - [c1]Zohar Manna, Amir Pnueli:
Formalization of Properties of Recursively Defined Functions. STOC 1969: 201-210
Coauthor Index
Henny B. Sipma
aka: Henny Sipma
aka: Henny Sipma
[j49] [j48] [c129] [c128] [c126] [c125] [j47] [c124] [c123] [c121] [c120] [c119] [c118] [c117] [c115] [c114] [c113] [c112] [c111] [c110] [c109] [c108] [c107] [c106] [c105] [c104] [c103] [c102] [c101] [c100] [c99] [c98] [j46] [j44] [j43] [c96] [j42] [c95] [c93] [c92] [c91] [c89] [c88] [c87] [c85] [c84] [c83] [c81] [c77] [c75] [c70]
Richard J. Waldinger
aka: Richard Waldinger
aka: Richard Waldinger
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
