Scholarly Index
R. J. R. Back
Åbo Akademi University; 1,744 total citations; 52 total publications; best world rank #349
Åbo Akademi University
1,744Total citations
52Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 349 | FI 1 | 95.81 |
| Formal Methods in Verification | Lifetime | 638 | FI 4 | 94.69 |