Scholarly Index
Carlos Olarte
Université Sorbonne Paris Nord; 335 total citations; 56 total publications; best world rank #590
Université Sorbonne Paris Nord
335Total citations
56Total publications
11H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 590 | FR 27 | 64.35 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 730 | FR 31 | 48.37 |
| Logic, programming, and type systems | 2021-2025 | 626 | FR 42 | 48.91 |