Scholarly Index
Leonardo de Moura
Microsoft (United States); 3,705 total citations; 50 total publications; best world rank #305
Microsoft (United States)
3,705Total citations
50Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 305 | US 124 | 96.89 |
| Logic, programming, and type systems | Lifetime | 392 | US 150 | 95.49 |
| Software Testing and Debugging Techniques | Lifetime | 902 | US 314 | 92.91 |
| Logic, programming, and type systems | 2021-2025 | 340 | US 65 | 64.41 |