Scholarly Index
Manuel Clavel
Madrid Institute for Advanced Studies; 1,937 total citations; 58 total publications; best world rank #798
Madrid Institute for Advanced Studies
1,937Total citations
58Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 798 | ES 9 | 93.66 |
| Logic, programming, and type systems | Lifetime | 844 | ES 11 | 91.53 |
| Model-Driven Software Engineering Techniques | Lifetime | 992 | ES 41 | 87.06 |