Scholarly Index
Stavros Tripakis
Northeastern University; 4,077 total citations; 149 total publications; best world rank #72
Northeastern University
4,077Total citations
149Total publications
39H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 72 | US 43 | 98.97 |
| Embedded Systems Design Techniques | Lifetime | 125 | US 75 | 99.00 |
| Real-Time Systems Scheduling | Lifetime | 119 | US 56 | 97.90 |
| Model-Driven Software Engineering Techniques | Lifetime | 135 | US 35 | 97.07 |
| Petri Nets in System Modeling | Lifetime | 115 | US 37 | 97.05 |
| Distributed systems and fault tolerance | Lifetime | 800 | US 453 | 95.17 |
| Simulation Techniques and Applications | Lifetime | 384 | US 185 | 93.70 |
| Software Testing and Debugging Techniques | Lifetime | 686 | US 257 | 94.33 |
| Formal Methods in Verification | 2021-2025 | 851 | US 174 | 56.25 |