Scholarly Index
Arthur Oliveira Vale
Yale University; 20 total citations; 4 total publications; best world rank #355
Yale University
20Total citations
4Total publications
3H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 355 | US 67 | 63.72 |
| Formal Methods in Verification | 2021-2025 | 680 | US 142 | 61.34 |