Scholarly Index
Jonathan Julián Huerta y Munive
Czech Technical University in Prague; 36 total citations; 9 total publications; best world rank #544
Czech Technical University in Prague
36Total citations
9Total publications
4H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 544 | CZ 4 | 66.06 |
| Logic, programming, and type systems | 2021-2025 | 599 | CZ 5 | 50.41 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 887 | CZ 15 | 42.03 |