Science Explorer Back to mapMap
Discussion
Researcher · Stanford University · United States

Zohar Manna

Zohar Manna publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#66,751
of 7,710,434 ranked researchers
Rank in United States
#25,731
of 1,627,098
Works
310
Citations
22k
Citations per work
69.5
h-index
68
i10-index 186Top 0.3% in Artificial Intelligence
Zohar Manna

What does Zohar Manna research?

Zohar Manna's work is mostly in Computer Science (91%), Health Professions (2%).

Physical Sciences: 281 works · 90.8% of their workComputer Science: 281 works · 90.8% of their workArtificial Intelligence: 115 works · 37.0% of their workComputational Theory and Mathematics: 102 works · 33.0% of their workSoftware: 33 works · 10.6% of their workHardware and Architecture: 20 works · 6.3% of their workComputer Networks and Communications: 12 works · 3.9% of their workEverything else: 22 works · 7.1% of their workHealth Sciences: 7 works · 2.1% of their workHealth Professions: 7 works · 2.1% of their workGeneral Health Professions: 7 works · 2.1% of their workTHEIR WORKZohar Manna310works
Physical Sciences91%Health Sciences2%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science28190.8%
  2. Everything else227.1%
    1. Health Professions72.1%
  1. 1Artificial Intelligence37% of their works
  2. 2Computational Theory and Mathematics33% of their works
  3. 3Software11% of their works
  4. 4Hardware and Architecture6% of their works
  5. 5Computer Networks and Communications4% of their works
  6. 6General Health Professions2% of their works

Research topics

Which keywords describe Zohar Manna's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Answer Set Programming and Modal Logic.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking4493 topics
  2. Temporal Logic2612 topics
  3. Satisfiability Modulo Theories1891 topic
  4. Symbolic Model Checker1891 topic
  5. Formal Verification1881 topic
  6. Static Analysis1881 topic
  7. Answer Set Programming721 topic
  8. Modal Logic721 topic
  9. Algorithmic Information Theory371 topic
  10. Computability371 topic
  11. Domain-Specific Languages371 topic
  12. Model-Driven Engineering371 topic
  13. Automated Testing351 topic
  14. Software Fault Localization351 topic
  15. Deadlock Prevention221 topic
  16. Distributed Systems221 topic
  17. Fault Tolerance221 topic
  18. Petri Nets221 topic

Where does Zohar Manna work?

Zohar Manna's main affiliation in the publication record is Stanford University, United States.

How many publications and citations does Zohar Manna have?

OpenAlex counts 310 works and 21,536 citations for Zohar Manna, an h-index of 68, ranking #66,751 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Zohar Manna. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.