受强制性开放获取政策约束的文章 - Robert Rand了解详情
可在其他位置公开访问的文章：15 篇
QWIRE: A Core Language for Quantum Circuits
J Paykin, R Rand, S Zdancewic
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
A Verified Optimizer for Quantum Circuits
K Hietala, R Rand, SH Hung, X Wu, M Hicks
Proceedings of the ACM on Programming Languages 5 (POPL), 2021
强制性开放获取政策： US Department of Energy
Qunity: A unified language for quantum and classical computing
F Voichick, L Li, R Rand, M Hicks
Proceedings of the ACM on Programming Languages 7 (POPL), 921-951, 2023
强制性开放获取政策： US National Science Foundation, US Department of Energy, US Department of …
A formally certified end-to-end implementation of Shor’s factorization algorithm
Y Peng, K Hietala, R Tao, L Li, R Rand, M Hicks, X Wu
Proceedings of the National Academy of Sciences 120 (21), e2218775120, 2023
强制性开放获取政策： US National Science Foundation, US Department of Energy, US Department of …
Advances in quantum computation and quantum technologies: A design automation perspective
G De Micheli, JHR Jiang, R Rand, K Smith, M Soeken
IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 (3 …, 2022
强制性开放获取政策： US National Science Foundation, US Department of Energy, Swiss National …
Formal verification vs. quantum uncertainty
R Rand, K Hietala, M Hicks
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
强制性开放获取政策： US Department of Energy
Extending gottesman types beyond the clifford group
R Rand, A Sundaram, K Singhal, B Lackey
The Second International Workshop on Programming Languages for Quantum …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Verified translation between low-level quantum languages
K Singhal, R Rand, M Hicks
The First International Workshop on Programming Languages for Quantum Computing, 2020
强制性开放获取政策： US National Science Foundation, US Department of Energy
Static Analysis of Quantum Programs via Gottesman Types
R Rand, A Sundaram, K Singhal, B Lackey
强制性开放获取政策： US National Science Foundation, US Department of Energy
A Verified Optimizer for Quantum Circuits
K Hietala, R Rand, L Li, SH Hung, X Wu, M Hicks
ACM Transactions on Programming Languages and Systems 45 (3), 1-35, 2023
强制性开放获取政策： US Department of Energy, US Department of Defense
MCBeth: A Measurement-based Quantum Programming Language
A Evans, S Omonije, R Soulé, R Rand
2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering (Q …, 2023
强制性开放获取政策： US National Science Foundation
Towards an Algebraic Specification of Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Rand, R Soulé, P Eugster
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum …, 2023
强制性开放获取政策： US National Science Foundation, Swiss National Science Foundation, US …
An Algebraic Language for Specifying Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Soulé, R Rand, P Eugster
Proceedings of the ACM on Programming Languages 8 (PLDI), 1313-1335, 2024
强制性开放获取政策： Swiss National Science Foundation
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
A Sundaram, R Rand, K Singhal, B Lackey
强制性开放获取政策： US National Science Foundation, US Department of Defense
Toward a Type-Theoretic Interpretation of Q
K Singhal, S MARSHALL, K HIETALA, R RAND
International Workshop on Programming Languages for Quantum Computing (PLanQC), 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
出版信息和资助信息由计算机程序自动确定