Scholarly Index
Karl Crary
Carnegie Mellon University; 3,358 total citations; 85 total publications; best world rank #108
Carnegie Mellon University
3,358Total citations
85Total publications
27H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 108 | US 51 | 98.24 |
| Formal Methods in Verification | Lifetime | 380 | US 155 | 96.32 |
| Security and Verification in Computing | Lifetime | 274 | US 153 | 96.06 |
| Model-Driven Software Engineering Techniques | Lifetime | 998 | US 200 | 86.98 |