Scholarly Index
Radhia Cousot
École Normale Supérieure; 13,265 total citations; 88 total publications; best world rank #135
École Normale Supérieure
13,265Total citations
88Total publications
32H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 151 | BI 1 | 98.22 |
| Logic, programming, and type systems | Lifetime | 135 | BI 1 | 98.00 |
| Software Testing and Debugging Techniques | Lifetime | 414 | BI 1 | 96.27 |
| Security and Verification in Computing | Lifetime | 526 | BI 1 | 93.06 |