Scholarly Index
Henrik Nilsson
Craft Engineering Associates (United States); 1,475 total citations; 145 total publications; best world rank #107
Craft Engineering Associates (United States)
1,475Total citations
145Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Modeling and Simulation Systems | Lifetime | 107 | US 30 | 91.76 |
| Formal Methods in Verification | Lifetime | 924 | US 314 | 92.78 |
| Logic, programming, and type systems | Lifetime | 911 | US 309 | 91.14 |