1. Research
  2. Publications

Publications

Export 5 results:
Author Title [ Type(Desc)] Year
Filters: Author is Mingsheng Ying  [Clear All Filters]
Journal Article
Y. Peng, Ying, M., and Wu, X., “Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra”, 2021.
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.
Z. Ji, Chen, J., Wei, Z., and Ying, M., “The LU-LC conjecture is false”, 2007.
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.