1. Research
  2. Publications

Publications

Export 5 results:
Author [ Title(Desc)] Type Year
Filters: Author is Mingsheng Ying  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.
E
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.
L
Z. Ji, Chen, J., Wei, Z., and Ying, M., “The LU-LC conjecture is false”, 2007.
Q
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.