Scholarly Index
Stefan Mitsch
Carnegie Mellon University; 874 total citations; 62 total publications; best world rank #640
Carnegie Mellon University
874Total citations
62Total publications
14H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 640 | US 134 | 62.75 |
| Logic, programming, and type systems | 2021-2025 | 689 | US 130 | 45.00 |