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
General Collection
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-01
Relational proofs for quantum programs
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
;
Zhou, L
2022-08-02
Qantum Weakest Preconditions for Reasoning about Expected Runtimes of Qantum Programs
Liu, J
;
Zhou, L
;
Barthe, G
;
Ying, M
2021-06-29
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
2021
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Zhou, L
;
Barthe, G
;
Hsu, J
;
Ying, M
;
Yu, N
2022
CoqQ: Foundational Verification of Quantum Programs.
Zhou, L
;
Barthe, G
;
Strub, P-Y
;
Liu, J
;
Ying, M
2022
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.
Liu, J
;
Zhou, L
;
Barthe, G
;
Ying, M
;
Baier, C
;
Fisman, D
2023-01-09
CoqQ: Foundational Verification of Quantum Programs
Zhou, L
;
Barthe, G
;
Strub, PY
;
Liu, J
;
Ying, M
Results 1-7 of 7 (Search time: 0.172 seconds).
previous
1
next
Discover
Author
7
Ying, M
7
Zhou, L
4
Liu, J
3
Hsu, J
3
Yu, N
1
Strub, P-Y
1
Strub, PY
Subject
1
4612 Software engineering
1
4613 Theory of computation
1
4903 Numerical and computational ...
Date issued
3
2022
2
2021
1
2020
1
2023
Has File(s)
7
true
Type
4
Journal Article
3
Conference Proceeding
Copyright Status
5
Closed Access
2
Open Access