Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 205 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
[
Type
]
Year
Filters:
First Letter Of Last Name
is
R
[Clear All Filters]
Journal Article
R. Rand
,
“
Verification Logics for Quantum Programs
”
, 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
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
Report
J. P. Zwolak
,
Taylor, J. M.
,
Andrews, R.
,
Benson, J.
,
Bryant, G.
,
Buterakos, D.
,
Chatterjee, A.
,
Sarma, S. Das
,
Eriksson, M. A.
,
Greplová, E.
,
Gullans, M.
,
Hader, F.
,
Kovach, T. J.
,
Mundada, P. S.
,
Ramsey, M.
,
Rasmussen, T.
,
Severin, B.
,
Sigillito, A.
,
Undseth, B.
, and
Weber, B.
,
“
Data Needs and Challenges of Quantum Dot Devices Automation: Workshop Report
”
, 2023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
J. P. Zwolak
,
Taylor, J. M.
,
Andrews, R.
,
Benson, J.
,
Bryant, G.
,
Buterakos, D.
,
Chatterjee, A.
,
Sarma, S. Das
,
Eriksson, M. A.
,
Greplová, E.
,
Gullans, M.
,
Hader, F.
,
Kovach, T. J.
,
Mundada, P. S.
,
Ramsey, M.
,
Rasmussen, T.
,
Severin, B.
,
Sigillito, A.
,
Undseth, B.
, and
Weber, B.
,
“
Data Needs and Challenges of Quantum Dot Devices Automation: Workshop Report
”
, 2023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
first
previous
1
2
3
4
5
6
7
8
9