Ruize Tang
Scholar

Ruize Tang

Google Scholar ID: OxT8IT0AAAAJ
Ph.D. student, Nanjing University
concurrent systemsdistributed systemsmodel checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
19
 
H-index
2
 
i10-index
1
 
Publications
6
 
Co-authors
9
list available
Contact
No contact links provided.
Publications
1 items
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
2025
Cited
0
Resume (English only)
Co-authors
9 total
Yu Huang
Yu Huang
Nanjing University
Co-author 2
Co-author 2
Xiaoxing Ma
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Co-author 4
Co-author 4
Tianyin Xu
Tianyin Xu
University of Illinois at Urbana-Champaign
Co-author 6
Co-author 6
Hengfeng Wei
Hengfeng Wei
Hunan University
Co-author 8
Co-author 8