Scholarly Index
A. Prasad Sistla
University of Illinois Chicago; 9,911 total citations; 87 total publications; best world rank #156
University of Illinois Chicago
9,911Total citations
87Total publications
30H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 156 | US 73 | 98.17 |
| Logic, programming, and type systems | Lifetime | 196 | US 79 | 97.26 |
| semigroups and automata theory | Lifetime | 738 | US 229 | 88.74 |
| Petri Nets in System Modeling | Lifetime | 877 | US 188 | 86.90 |