Scholarly Index
Joseph Sifakis
University of Chicago; 8,395 total citations; 132 total publications; best world rank #69
University of Chicago
8,395Total citations
132Total publications
39H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 69 | US 42 | 99.00 |
| Embedded Systems Design Techniques | Lifetime | 121 | US 71 | 99.01 |
| Real-Time Systems Scheduling | Lifetime | 86 | US 42 | 98.24 |
| Petri Nets in System Modeling | Lifetime | 212 | US 61 | 95.58 |
| Model-Driven Software Engineering Techniques | Lifetime | 461 | US 99 | 93.05 |
| Logic, programming, and type systems | Lifetime | 651 | US 227 | 93.18 |
| Advanced Software Engineering Methodologies | Lifetime | 945 | US 224 | 92.98 |
| Formal Methods in Verification | 2021-2025 | 414 | US 89 | 72.09 |
| Advanced Software Engineering Methodologies | 2021-2025 | 816 | US 63 | 38.98 |