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
Yi Lee
[Clear All Filters]
2023
L. Li
,
Zhu, M.
,
Cleaveland, R.
,
Lee, Y.
,
Chang, L.
, and
Wu, X.
,
“
Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic
”
, 2023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2020
K. - M. Chung
,
Lee, Y.
,
Lin, H. - H.
, and
Wu, X.
,
“
Constant-round Blind Classical Verification of Quantum Sampling
”
, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS