Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Zohar Manna

The Theoretical Aspects of the Optimal Fixedpoint

SIAM Journal on Computing
MathematicsComputer Science
1976English

Proving Termination With Multiset Orderings

Communications of the ACM
Computer Science
1979English

Visual Verification of Reactive Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Constructing Invariants for Hybrid Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Knowledge and Reasoning in Program Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1975English

Temporal Verification by Diagram Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Special Relations in Automated Deduction

English

STeP: The Stanford Temporal Prover,

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy