Quantitative robustness analysis of quantum programs SH Hung, K Hietala, S Zhu, M Ying, M Hicks, X Wu Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 40 | 2019 |
Computational complexity of atomic chemical reaction networks D Doty, S Zhu Natural Computing 17 (4), 677-691, 2018 | 7 | 2018 |
On the principles of differentiable quantum programming languages S Zhu, SH Hung, S Chakrabarti, X Wu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 6 | 2020 |
Applications of Graph Theory and Logic in Computer Science S Zhu University of Maryland, College Park, 2023 | | 2023 |
, and Their CSP’s W Gasarch, M Laskowski, S Zhu International Conference on Theory and Applications of Models of Computation …, 2022 | | 2022 |