Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 2 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
Filters:
Author
is
Hung, Shih-Han
[Clear All Filters]
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
Q
A. M. Childs
,
Hung, S. - H.
, and
Li, T.
,
“
Quantum Query Complexity with Matrix-Vector Products
”
,
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
P
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Li, L.
, and
Hicks, M.
,
“
Proving Quantum Programs Correct
”
,
12th International Conference on Interactive Theorem Proving (ITP 2021)
, vol. 193, pp. 21:1–21:19, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS