468
Publications
6,762
Citations
44
h-index
159
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (412)
- Preprint (39)
- Book Chapter (12)
- Dissertation (2)
- Book (1)
Filter by Open Access Type
- Open Access (143)
- Closed Access (325)
Filter by Authors
- Rong Su (468)
- Liyong Lin (58)
- Yicheng Zhang (44)
- Yuting Zhu (30)
- Ruochen Tai (24)
Filter by Topics
- Petri Nets in System Modeling (115)
- Formal Methods in Verification (82)
- Traffic control and management (65)
- Transportation Planning and Optimization (52)
- Distributed systems and fault tolerance (44)