Scholarly Index
Magnus O. Myreen
Chalmers University of Technology; 1,968 total citations; 50 total publications; best world rank #121
Chalmers University of Technology
1,968Total citations
50Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 606 | SE 18 | 94.91 |
| Logic, programming, and type systems | Lifetime | 437 | SE 10 | 95.02 |
| Security and Verification in Computing | Lifetime | 448 | SE 4 | 94.07 |
| Logic, programming, and type systems | 2021-2025 | 121 | SE 4 | 81.14 |
| Formal Methods in Verification | 2021-2025 | 636 | SE 16 | 62.87 |