Scholarly Index
Siyuan Liu
KTH Royal Institute of Technology; 295 total citations; 41 total publications; best world rank #92
KTH Royal Institute of Technology
295Total citations
41Total publications
8H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 194 | SE 5 | 84.37 |
| Petri Nets in System Modeling | 2021-2025 | 92 | SE 2 | 78.48 |