Scholarly Index
Zohar Manna
Stanford University; 7,812 total citations; 131 total publications; best world rank #14
Stanford University
7,812Total citations
131Total publications
44H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 14 | US 9 | 99.50 |
| Formal Methods in Verification | Lifetime | 26 | US 14 | 99.46 |
| Logic, Reasoning, and Knowledge | Lifetime | 101 | US 39 | 98.24 |
| Computability, Logic, AI Algorithms | Lifetime | 120 | US 75 | 96.16 |
| Software Testing and Debugging Techniques | Lifetime | 282 | US 133 | 97.36 |
| Model-Driven Software Engineering Techniques | Lifetime | 328 | US 69 | 94.66 |