Zohar Manna

Computational Theory and Mathematics · 1971–2006

A researcher in the Science corpus: 5 papers; trusts 5 researchers and is trusted by 24 researchers here, as inferred from the citation graph.

Subfields

Whom Zohar Manna trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. C. Green
  2. James R. Slagle
  3. Herbert A. Simon
  4. Richard J. Waldinger
  5. Clark W. Barrett
  6. Alexander Schrijver

Who trusts Zohar Manna overall

  1. Hossein Hajipour
  2. Augustus Odena
  3. R. Fikes
  4. Sumit Gulwani
  5. Jiawei Liu
  6. Shuyin Ouyang
  7. Mateusz Malinowski
  8. Ashwin K. Vijayakumar
  9. Chun Xia
  10. Oleksandr Polozov

Papers from Zohar Manna's perspective

Ordered by how strongly the researchers Zohar Manna trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Application of Theorem Proving to Problem Solving
  2. Experiments with a deductive question-answering program
  3. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  4. The Temporal Rover and the ATG Rover (SPIN)
  5. Automatic discovery of linear restraints among variables of a program
  6. Rule-Based Runtime Verification (International Conference on Verification, Model Checking and Abstract Interpretation)
  7. A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY
  8. Theory of linear and integer programming
  9. Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  10. Analogical problem solving

Their papers