Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
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
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
L
Z. Ji
,
Chen, J.
,
Wei, Z.
, and
Ying, M.
,
“
The LU-LC conjecture is false
”
, 2007.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
A
J. Chen
and
Ying, M.
,
“
Ancilla-Assisted Discrimination of Quantum Gates
”
, 2008.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Y. Peng
,
Ying, M.
, and
Wu, X.
,
“
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra
”
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS