Scholarly Index
Michael Codish
Ben-Gurion University of the Negev; 1,715 total citations; 85 total publications; best world rank #273
Ben-Gurion University of the Negev
1,715Total citations
85Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 304 | IL 10 | 96.90 |
| Logic, programming, and type systems | Lifetime | 273 | IL 9 | 96.42 |
| Software Testing and Debugging Techniques | Lifetime | 756 | IL 8 | 93.83 |
| Logic, Reasoning, and Knowledge | Lifetime | 776 | IL 17 | 91.63 |
| Constraint Satisfaction and Optimization | Lifetime | 580 | IL 11 | 86.31 |