Skip navigation
Statistics
Help
About OPUS
How to Deposit
Managing Copyright
Browse
UTS Organisational Groups
Browse Items by:
Issue Date
Author
Title
Type
ARC/NHRMC Funded
Search OPUS
OPUS at UTS
Browsing byAuthorYu, N
Jump to:
0-9
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
or enter first few letters:
Sort by:
title
issue date
submit date
ARC/NHRMC funded
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 76
next >
Issue Date
Title
Author(s)
2022-01-01
A Probabilistic Logic for Verifying Continuous-time Markov Chains
Guan, J
;
Yu, N
2021
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
2021-06-29
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
2023-01-01
Accelerating Voting by Quantum Computation
Liu, A
;
Han, Q
;
Xia, L
;
Yu, N
2023-08-01
Almost Tight Sample Complexity Analysis of Quantum Identity Testing by Pauli Measurements
Yu, N
-
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Ying, M
;
Yu, N
;
Feng, Y
2019-06-08
An applied quantum hoare logic
Zhou, L
;
Yu, N
;
Ying, M
;
McKinley, KS
;
Fisher, K
2011-07-05
Any 2-n subspace is locally distinguishable
Yu, N
;
Duan, R
;
Ying, M
2024-01-01
Approximate Relational Reasoning for Quantum Programs
Yan, P
;
Jiang, H
;
Yu, N
2017-02-01
Bounds on the Distance Between a Unital Quantum Channel and the Convex Hull of Unitary Channels
Yu, N
;
Duan, R
;
Xu, Q
2018-06-20
Capacity approaching coding for low noise interactive quantum communication
Leung, D
;
Touchette, D
;
Nayak, A
;
Yao, P
;
Shayeghi, A
;
Yu, N
2021-08-01
Capacity Approaching Coding for Low Noise Interactive Quantum Communication Part I: Large Alphabets
Leung, D
;
Nayak, A
;
Shayeghi, A
;
Touchette, D
;
Yao, P
;
Yu, N
-
Characterization of multipartite entanglement in terms of local transformations
Qiao, Y
;
Sun, X
;
Yu, N
2022-06-01
Comments on and Corrections to 'When Is the Chernoff Exponent for Quantum Operations Finite?'
Yu, N
;
Zhou, L
2015-01-01
Continuous-time orbit problems are decidable in polynomial-time
Chen, T
;
Yu, N
;
Han, T
2016-03-03
Detecting consistency of overlapping quantum marginals by separability
Chen, J
;
Ji, Z
;
Yu, N
;
Zeng, B
2013-12-01
Determinantal complexities and field extensions
Qiao, Y
;
Sun, X
;
Yu, N
2015-08-10
Discontinuity of maximum entropy inference and quantum phase transitions
Chen, J
;
Ji, Z
;
Li, CK
;
Poon, YT
;
Shen, Y
;
Yu, N
;
Zeng, B
;
Zhou, D
2021-09-01
Discrimination of quantum states under locality constraints in the many-copy setting
Cheng, H-C
;
Winter, A
;
Yu, N
2023-11-01
Discrimination of Quantum States Under Locality Constraints in the Many-Copy Setting
Cheng, HC
;
Winter, A
;
Yu, N