Scholarly Index
Flemming Nielson
Technical University of Denmark; 2,564 total citations; 178 total publications; best world rank #173
Technical University of Denmark
2,564Total citations
178Total publications
28H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 232 | DK 3 | 97.56 |
| Logic, programming, and type systems | Lifetime | 173 | DK 3 | 97.37 |
| Security and Verification in Computing | Lifetime | 734 | DK 4 | 90.79 |
| Logic, Reasoning, and Knowledge | Lifetime | 819 | DK 6 | 91.34 |