Scholarly Index
Mads Dam
KTH Royal Institute of Technology; 1,383 total citations; 77 total publications; best world rank #292
KTH Royal Institute of Technology
1,383Total citations
77Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Security and Verification in Computing | Lifetime | 292 | SE 2 | 95.81 |
| Formal Methods in Verification | Lifetime | 851 | SE 25 | 93.27 |
| Logic, programming, and type systems | Lifetime | 612 | SE 14 | 93.45 |