Scholarly Index
Robert L. Constable
Cornell University; 2,131 total citations; 136 total publications; best world rank #121
Cornell University
2,131Total citations
136Total publications
27H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 155 | US 69 | 97.60 |
| Computability, Logic, AI Algorithms | Lifetime | 121 | US 76 | 96.13 |
| Formal Methods in Verification | Lifetime | 665 | US 240 | 94.51 |
| Logic, Reasoning, and Knowledge | Lifetime | 711 | US 202 | 92.14 |
| semigroups and automata theory | Lifetime | 562 | US 182 | 91.15 |