Scholarly Index
Karem A. Sakallah
University of Michigan; 6,218 total citations; 168 total publications; best world rank #83
University of Michigan
6,218Total citations
168Total publications
38H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 83 | US 50 | 98.83 |
| VLSI and Analog Circuit Testing | Lifetime | 136 | US 78 | 98.50 |
| Low-power high-performance VLSI design | Lifetime | 167 | US 97 | 98.60 |
| VLSI and FPGA Design Techniques | Lifetime | 185 | US 107 | 97.16 |
| Embedded Systems Design Techniques | Lifetime | 507 | US 239 | 96.87 |
| Constraint Satisfaction and Optimization | Lifetime | 112 | US 46 | 95.71 |
| Software Testing and Debugging Techniques | Lifetime | 461 | US 185 | 95.86 |
| Model-Driven Software Engineering Techniques | Lifetime | 488 | US 106 | 92.80 |
| Logic, programming, and type systems | Lifetime | 744 | US 255 | 92.43 |