Scholar
Ruize Tang
Google Scholar ID: OxT8IT0AAAAJ
Ph.D. student, Nanjing University
concurrent systems
distributed systems
model checking
Follow
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
Nanjing University
Co-author 2
Xiaoxing Ma
Professor of Computer Science and Technology, Nanjing University
Co-author 4
Tianyin Xu
University of Illinois at Urbana-Champaign
Co-author 6
Hengfeng Wei
Hunan University
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up