Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 10 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
Filters:
First Letter Of Title
is
V
[Clear All Filters]
2023
M. Ringbauer
,
Hinsche, M.
,
Feldker, T.
,
Faehrmann, P. K.
,
Bermejo-Vega, J.
,
Edmunds, C.
,
Postler, L.
,
Stricker, R.
,
Marciniak, C. D.
,
Meth, M.
,
Pogorelov, I.
,
Blatt, R.
,
Schindler, P.
,
Eisert, J.
,
Monz, T.
, and
Hangleiter, D.
,
“
Verifiable measurement-based quantum random sampling with trapped ions
”
, 2023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2021
L. Li
,
Voichick, F.
,
Hietala, K.
,
Peng, Y.
,
Wu, X.
, and
Hicks, M.
,
“
Verified Compilation of Quantum Oracles
”
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
A Verified Optimizer for Quantum Circuits
”
,
Proceedings of the ACM on Programming Languages
, vol. 5, no. POPL, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2019
A. Kalev
and
Kyrillidis, A.
,
“
Validating and Certifying Stabilizer States
”
,
Phys. Rev. A
, vol. 99, no. 042337, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
O. Higgott
,
Wang, D.
, and
Brierley, S.
,
“
Variational Quantum Computation of Excited States
”
,
Quantum
, vol. 3, no. 156, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
Verified Optimization in a Quantum Intermediate Representation
”
, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Rand
,
“
Verification Logics for Quantum Programs
”
, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2018
K. A. Landsman
,
Figgatt, C.
,
Schuster, T.
,
Linke, N. M.
,
Yoshida, B.
,
Yao, N. Y.
, and
Monroe, C.
,
“
Verified Quantum Information Scrambling
”
, 2018.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2017
J. K. Perron
,
Gullans, M.
,
Taylor, J. M.
,
Stewart, Jr., M. D.
, and
Zimmerman, N. M.
,
“
Valley Blockade in a Silicon Double Quantum Dot
”
,
Physical Review B
, vol. 96, no. 20, p. 205302, 2017.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2010
J. Bub
,
“
Von Neumann's 'No Hidden Variables' Proof: A Re-Appraisal
”
,
Foundations of Physics
, vol. 40, no. 9-10, pp. 1333 - 1340, 2010.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS