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
Search
All of OPUS
Faculty of Engineering and Information Technology
Data Science Institute
General Collection
School of Biomedical Engineering
School of Civil and Environmental Engineering
School of Computer Science
School of Computing and Communications
School of Elec, Mech and Mechatronic Systems
School of Electrical and Data Engineering
School of Information, Systems and Modelling
School of Mechanical and Mechatronic Engineering
School of Professional Practice and Leadership
School of Software
School of Systems, Management and Leadership
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Add Filter:
Title
Author
Subject
Date Issued
Has File(s)
File Name
File Description
Type
Copyright Status
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results
Customise results display
Sort items by
Relevance
Title
Issue Date
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
Item hits:
Issue Date
Title
Author(s)
2020-01
Relational proofs for quantum programs
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
;
Zhou, L
2019-01-01
Preface to special topic on quantum computing
Guo, GC
;
Ying, M
2020
Robustness Verification of Quantum Machine Learning.
Guan, J
;
Fang, W
;
Ying, M
2020
Quantum Coupling and Strassen Theorem.
Zhou, L
;
Ying, S
;
Yu, N
;
Ying, M
2020
Quantum Random Access Stored-Program Machines.
Wang, Q
;
Ying, M
2020
Quantum Hoare logic with classical variables.
Feng, Y
;
Ying, M
2020
Symbolic Verification of Quantum Circuits.
Ying, M
;
Ji, Z
Results 1-7 of 7 (Search time: 0.008 seconds).
previous
1
next
Discover
Author
2
Yu N
2
Zhou L
1
Barthe G
1
Fang W
1
Feng Y
1
Guan J
1
Guo GC
1
Hsu J
1
Ji Z
1
Wang Q
.
next >
Subject
1
0703 Crop and Pasture Production
Date issued
6
2020
1
2019
Has File(s)
7
true
Type
6
Journal Article
Copyright Status
6
Open Access