Scholarly Index
Osman Hasan
National University of Sciences and Technology; 3,029 total citations; 229 total publications; best world rank #504
National University of Sciences and Technology
3,029Total citations
229Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 504 | PK 1 | 95.53 |
| Radiation Effects in Electronics | Lifetime | 584 | PK 1 | 94.14 |
| Low-power high-performance VLSI design | 2021-2025 | 825 | PK 3 | 63.91 |
| Formal Methods in Verification | 2021-2025 | 993 | PK 1 | 52.03 |
| Logic, programming, and type systems | 2021-2025 | 810 | PK 1 | 38.48 |