Scholarly Index
E. M. Clarke
Carnegie Mellon University; 21,780 total citations; 80 total publications; best world rank #59
Carnegie Mellon University
21,780Total citations
80Total publications
39H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 59 | US 35 | 99.11 |
| VLSI and Analog Circuit Testing | Lifetime | 202 | US 107 | 97.96 |
| Software Testing and Debugging Techniques | Lifetime | 194 | US 94 | 98.13 |
| Radiation Effects in Electronics | Lifetime | 408 | US 199 | 95.39 |
| Embedded Systems Design Techniques | Lifetime | 797 | US 363 | 95.44 |
| Software Reliability and Analysis Research | Lifetime | 822 | US 248 | 93.64 |
| Logic, programming, and type systems | Lifetime | 584 | US 212 | 93.68 |
| Model-Driven Software Engineering Techniques | Lifetime | 581 | US 117 | 91.78 |