Scholarly Index
Frank Pfenning
Carnegie Mellon University; 7,595 total citations; 215 total publications; best world rank #15
Carnegie Mellon University
7,595Total citations
215Total publications
43H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 15 | US 10 | 99.48 |
| Logic, Reasoning, and Knowledge | Lifetime | 26 | US 10 | 99.29 |
| Formal Methods in Verification | Lifetime | 41 | US 25 | 99.32 |
| Hermeneutics and Narrative Identity | Lifetime | 129 | US 41 | 95.76 |
| Health, Medicine and Society | Lifetime | 283 | US 40 | 95.59 |
| Aging, Elder Care, and Social Issues | Lifetime | 295 | US 54 | 94.72 |
| Security and Verification in Computing | Lifetime | 472 | US 245 | 93.79 |
| Access Control and Trust | Lifetime | 959 | US 242 | 81.45 |
| Logic, programming, and type systems | 2021-2025 | 81 | US 20 | 85.66 |
| Formal Methods in Verification | 2021-2025 | 227 | US 49 | 82.08 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 230 | US 25 | 75.62 |