Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 3 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
[
Type
]
Year
Filters:
Author
is
Li, Liyi
[Clear All Filters]
Journal Article
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
L. Li
,
Zhu, M.
,
Lee, Y.
,
Chang, L.
, and
Wu, X.
,
“
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification
”
, 2022.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F. Voichick
,
Li, L.
,
Rand, R.
, and
Hicks, M.
,
“
Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)
”
, 2022.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS