Scholarly Index
Nikolaj Bjørner
Microsoft (United States); 2,965 total citations; 101 total publications; best world rank #203
Microsoft (United States)
2,965Total citations
101Total publications
29H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 203 | US 95 | 97.78 |
| Software Testing and Debugging Techniques | Lifetime | 362 | US 159 | 96.69 |
| Logic, programming, and type systems | Lifetime | 352 | US 133 | 95.80 |
| Model-Driven Software Engineering Techniques | Lifetime | 788 | US 156 | 89.36 |
| Web Application Security Vulnerabilities | Lifetime | 393 | US 130 | 68.78 |