Scholarly Index
Amal Ahmed
Northeastern University; 1,931 total citations; 79 total publications; best world rank #47
Northeastern University
1,931Total citations
79Total publications
27H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 140 | US 62 | 97.91 |
| Security and Verification in Computing | Lifetime | 246 | US 139 | 96.36 |
| Formal Methods in Verification | Lifetime | 547 | US 206 | 95.25 |
| Logic, programming, and type systems | 2021-2025 | 47 | US 10 | 89.97 |
| Formal Methods in Verification | 2021-2025 | 264 | US 59 | 79.57 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 204 | US 22 | 77.99 |