1. Research
  2. Publications

Publications

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Mingsheng Ying  [Clear All Filters]
2021
Y. Peng, Ying, M., and Wu, X., “Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra”, 2021.
2018
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
2008
J. Chen and Ying, M., “Ancilla-Assisted Discrimination of Quantum Gates”, 2008.
J. Chen, Duan, R., Ji, Z., Ying, M., and Yu, J., “Existence of Universal Entangler”, Journal of Mathematical Physics, vol. 49, no. 1, p. 012103, 2008.
2007
Z. Ji, Chen, J., Wei, Z., and Ying, M., “The LU-LC conjecture is false”, 2007.