Scholarly Index
Armando Solar-Lezama
Massachusetts Institute of Technology; 6,620 total citations; 139 total publications; best world rank #271
Massachusetts Institute of Technology
6,620Total citations
139Total publications
41H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Parallel Computing and Optimization Techniques | Lifetime | 707 | US 428 | 97.47 |
| Formal Methods in Verification | Lifetime | 318 | US 130 | 96.80 |
| Software Engineering Research | Lifetime | 446 | US 150 | 97.39 |
| Software Testing and Debugging Techniques | Lifetime | 345 | US 154 | 96.81 |
| Logic, programming, and type systems | Lifetime | 271 | US 102 | 96.42 |
| Embedded Systems Design Techniques | Lifetime | 642 | US 293 | 96.20 |
| Security and Verification in Computing | Lifetime | 901 | US 424 | 88.93 |
| Machine Learning and Algorithms | 2021-2025 | 290 | US 83 | 63.22 |