New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.PL
2012
Session Communication and Integration
Guoxin Su, Mingsheng Ying, Chengqi Zhang
cs.SE
2013
Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems
Guoxin Su, David S. Rosenblum