Scholarly Index
Lars Lindemann
University of Southern California; 3,614 total citations; 134 total publications; best world rank #18
University of Southern California
3,614Total citations
134Total publications
34H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 403 | US 162 | 96.15 |
| Formal Methods in Verification | 2021-2025 | 18 | US 5 | 97.24 |
| Real-Time Systems Scheduling | 2021-2025 | 302 | US 47 | 65.63 |
| Petri Nets in System Modeling | 2021-2025 | 176 | US 12 | 67.13 |
| Safety Systems Engineering in Autonomy | 2021-2025 | 260 | US 34 | 54.39 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 896 | US 110 | 41.70 |