Scholarly Index
Sergio Antoy
Portland State University; 1,043 total citations; 60 total publications; best world rank #629
Portland State University
1,043Total citations
60Total publications
15H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 837 | US 291 | 93.37 |
| Logic, programming, and type systems | Lifetime | 629 | US 220 | 93.33 |