Scholarly Index
Gerard J. Holzmann
California Library Association; 2,993 total citations; 104 total publications; best world rank #99
California Library Association
2,993Total citations
104Total publications
31H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 99 | US 59 | 98.67 |
| Software Testing and Debugging Techniques | Lifetime | 139 | US 68 | 98.55 |
| Software Reliability and Analysis Research | Lifetime | 210 | US 70 | 98.14 |
| Logic, programming, and type systems | Lifetime | 404 | US 156 | 95.39 |
| Real-Time Systems Scheduling | Lifetime | 848 | US 248 | 90.95 |
| Security and Verification in Computing | Lifetime | 951 | US 442 | 88.46 |