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, M
Jump to:
09
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 193
next >
Issue Date
Title
Author(s)
200501
8Equalities of Sequences of Fuzzy Sets
Zhang, G
;
Lu, J
;
Lin, Y
;
Chen, G
;
Ying, M
20220102
A proof system for disjoint parallel quantum programs
Ying, M
;
Zhou, L
;
Li, Y
;
Feng, Y
2021
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
20210629
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
20020328
Additive models of probabilistic processes
Ying, M
20101105
An ADLapproach to specifying and analyzing centralizedmode architectural connection
Su, G
;
Ying, M
;
Zhang, C
20090401
An algebra of quantum processes
Ying, M
;
Feng, Y
;
Duan, R
;
Ji, Z
20090602
An algebraic language for distributed quantum computing
Ying, M
;
Feng, Y
20220609
Algebraic reasoning of Quantum programs via nonidempotent Kleene algebra
Peng, Y
;
Ying, M
;
Wu, X
;
Jhala, R
;
Dillig, I
2018
Algorithmic analysis of termination problems for quantum programs.
Li, Y
;
Ying, M

Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
Ying, M
;
Yu, N
;
Feng, Y
19900815
The alternativity measures of fuzzy sets
Ying, M
20190608
An applied quantum hoare logic
Zhou, L
;
Yu, N
;
Ying, M
;
McKinley, KS
;
Fisher, K
2021
An HHLbased algorithm for computing hitting probabilities of quantum walks
Guan, J
;
Wang, Q
;
Ying, M
20210101
An HHLbased algorithm for computing hitting probabilities of quantum walks
Guan, J
;
Wang, Q
;
Ying, M
201001
Ancillaassisted discrimination of quantum gates
Chen, J
;
Ying, M
200801
AncillaAssisted Discrimination Of Quantum Gates
Chen, J
;
Ying, M
20110705
Any 2n subspace is locally distinguishable
Yu, N
;
Duan, R
;
Ying, M
20211205
Approximate Equivalence Checking of Noisy Quantum Circuits
Hong, X
;
Ying, M
;
Feng, Y
;
Zhou, X
;
Li, S
20000101
Approximate reasoning based on similarity
Biacino, L
;
Gerla, G
;
Ying, M