Scholarly Index
Scott A. Smolka
Stony Brook University; 3,816 total citations; 171 total publications; best world rank #221
Stony Brook University
3,816Total citations
171Total publications
29H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 221 | US 101 | 97.63 |
| Distributed systems and fault tolerance | Lifetime | 947 | US 515 | 94.37 |
| Petri Nets in System Modeling | Lifetime | 378 | US 89 | 93.30 |
| Logic, programming, and type systems | Lifetime | 994 | US 335 | 90.43 |