Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruoxi Zhang
conf.researchr.org general profile
POPL 2025 profile
Registered user since Thu 2 Jan 2025
Name:
Ruoxi Zhang
Country:
Canada
Affiliation:
University of Waterloo
Contributions
2025
VMCAI
Author of Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications within the VMCAI 2025-track
Share
x
Mon 6 Jan 22:43