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 byAuthorDeng, Y
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 14 to 24 of 24
< previous
Issue Date
Title
Author(s)
2015-08-01
On coinduction and quantum lambda calculi
Deng, Y
;
Feng, Y
;
Dal Lago, U
-
Open Bisimulation for Quantum Processes
Deng, Y
;
Feng, Y
2017-12-01
Probabilistic bisimilarity as testing equivalence
Deng, Y
;
Feng, Y
2021-12-31
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
Fu, X
;
Yu, J
;
Su, X
;
Jiang, H
;
Wu, H
;
Cheng, F
;
Deng, X
;
Zhang, J
;
Jin, L
;
Yang, Y
;
Xu, L
;
Hu, C
;
Huang, A
;
Huang, G
;
Qiang, X
;
Deng, M
;
Xu, P
;
Xu, W
;
Liu, W
;
Zhang, Y
;
Deng, Y
;
Wu, J
;
Feng, Y
2021-01-01
Robust Beamforming for IRS-assisted Wireless Communications under Channel Uncertainty
Deng, Y
;
Zou, Y
;
Gong, S
;
Lyu, B
;
Hoang, DT
;
Niyato, D
2017-10-27
Single coupled-inductor dual output soft-switching DC-DC converters with improved cross-regulation and reduced components
Chen, G
;
Chen, L
;
Deng, Y
;
He, X
;
Wang, Y
;
Zhang, J
2012-09-24
Sound radiation into air by a point source moving underwater
Deng, Y
;
Tao, J
;
Qiu, X
2014-01-01
Symbolic bisimulation for quantum processes
Feng, Y
;
Deng, Y
;
Ying, M
2014
Symbolic Bisimulation for Quantum Processes.
Feng, Y
;
Deng, Y
;
Ying, M
2019-04-01
Wnt16 attenuates osteoarthritis progression through a PCP/JNK-mTORC1-PTHrP cascade
Tong, W
;
Zeng, Y
;
Chow, DHK
;
Yeung, W
;
Xu, J
;
Deng, Y
;
Chen, S
;
Zhao, H
;
Zhang, X
;
Ho, KK
;
Qin, L
;
Mak, KK-L
2016-03-30
Zero-voltage-switching buck converter with low-voltage stress using coupled inductor
Chen, G
;
Deng, Y
;
He, X
;
Wang, Y
;
Zhang, J