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 byAuthorYing, S
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 2 to 11 of 11
< previous
Issue Date
Title
Author(s)
2017-01-01
Invariants of quantum programs: Characterisations and generation
Ying, M
;
Ying, S
;
Wu, X
2023-01-01
isQ: An Integrated Software Stack for Quantum Programming
Guo, J
;
Lou, H
;
Yu, J
;
Li, R
;
Fang, W
;
Liu, J
;
Long, P
;
Ying, S
;
Ying, M
2017-08-01
Model checking ω-regular properties for quantum Markov chains
Feng, Y
;
Hahn, EM
;
Turrini, A
;
Ying, S
2022-10-01
Quantum earth mover's distance, a no-go quantum Kantorovich-Rubinstein theorem, and quantum marginal problem
Zhou, L
;
Yu, N
;
Ying, S
;
Ying, M
2017
Quantum Privacy-Preserving Data Analytics.
Ying, S
;
Ying, M
;
Feng, Y
-
Quantum Privacy-Preserving Data Mining
Ying, S
;
Ying, M
;
Feng, Y
2018-12-01
Reachability analysis of quantum Markov decision processes
Ying, S
;
Ying, M
2013-08-28
Reachability probabilities of quantum Markov chains
Ying, S
;
Feng, Y
;
Yu, N
;
Ying, M
2013-01-31
Removing measurements from quantum walks
Ying, S
;
Ying, M
2020-01-08
Strassen's theorem for quantum couplings
Zhou, L
;
Ying, S
;
Yu, N
;
Ying, M