| 12393864 |
Reinforcement learning with quantum oracle |
Daochen WANG, Aarthi Meenakshi Sundaram, Robin Ashok KOTHARI, Ashish Kapoor |
2025-08-19 |
|
| 12242778 |
Low-cost linear orders for quantum-program simulation |
Damian Silvio Steiger, Thomas Haener, Helmut Gottfried KATZGRABER |
2025-03-04 |
|
| 12147873 |
Evaluating quantum computing circuits in view of the resource costs of a quantum algorithm |
Thomas Haener, Krysta Svore |
2024-11-19 |
$458,622,000 |
| 11829737 |
Using compiler optimization to enable automatic generation of combinational circuits from high-level programs |
Thomas Haener, Mathias Soeken |
2023-11-28 |
$298,085,000 |
| 11797872 |
Quantum bit prediction |
Alexei Bocharov, Eshan Kemp, Michael Freedman, Krysta Svore |
2023-10-24 |
$295,109,000 |
| 11755682 |
Evaluating quantum computing circuits in view of the resource costs of a quantum algorithm |
Thomas Haener, Krysta Svore |
2023-09-12 |
$346,738,000 |
| 11699002 |
Separable-state simulation of quantum program code |
Thomas Haener, Vadym Kliuchnikov |
2023-07-11 |
$492,558,000 |
| 11615334 |
Pebbling strategies for quantum memory management |
Giulia Meuli |
2023-03-28 |
$376,835,000 |
| 11580434 |
Automatic accuracy management for quantum programs via symbolic resource estimation |
Thomas Haener, Giulia Meuli |
2023-02-14 |
$225,543,000 |
| 11537376 |
Automatic quantum program optimization using adjoint-via-conjugation annotations |
Thomas Haener |
2022-12-27 |
$199,145,000 |
| 11341303 |
System for reversible circuit compilation with space constraint, method and program |
Krysta Svore, Alex Parent |
2022-05-24 |
$214,502,000 |
| 11119773 |
Runtime quantum-memory management |
Mathias Soeken, Krysta Svore |
2021-09-14 |
$197,424,000 |
| 11113084 |
Method and system for approximate quantum circuit synthesis using quaternion algebra |
Vadym Kliuchnikov, Jon Yard, Alexei Bocharov |
2021-09-07 |
$230,668,000 |
| 11010682 |
Efficient synthesis of probabilistic quantum circuits with fallback |
Alexei Bocharov, Krysta Svore |
2021-05-18 |
$149,958,000 |
| 10860759 |
System for reversible circuit compilation with space constraint, method and program |
Krysta Svore, Alex Parent |
2020-12-08 |
$111,297,000 |
| 10726350 |
Method and system for efficient quantum ternary arithmetic |
Xingshan Cui, Alexei Bocharov, Krysta Svore |
2020-07-28 |
$115,702,000 |
| 10699209 |
Quantum circuit libraries for floating-point arithmetic |
Thomas Haener, Krysta Svore |
2020-06-30 |
$108,992,000 |
| 10664249 |
Verified compilation of reversible circuits |
Matthew Amy, Krysta Svore |
2020-05-26 |
$85,749,000 |
| 10664761 |
Generating quantum computing circuits by distributing approximation errors in a quantum algorithm |
Thomas Haener, Krysta Svore, Vadym Kliuchnikov |
2020-05-26 |
$85,749,000 |
| 10430162 |
Quantum resource estimates for computing elliptic curve discrete logarithms |
Kristin E. Lauter, Krysta Svore |
2019-10-01 |
$68,983,000 |
| 10423887 |
Compilation, memory management, and fault localization with ancillas in an unknown state |
Krysta Svore, Thomas Haener |
2019-09-24 |
$78,899,000 |
| 10320360 |
Quantum algorithms for arithmetic and function synthesis |
Nathan O. Wiebe |
2019-06-11 |
$45,655,000 |
| 10242321 |
Efficient synthesis of repeat-until-success circuits in clifford + T basis |
Alexei Bocharov, Krysta Svore |
2019-03-26 |
$49,304,000 |
| 8892857 |
Quantum rejection sampling |
Maris Ozols, Jérémie Roland |
2014-11-18 |
|
| 8582769 |
Secure communication over passive optical network (PON) with quantum encryption |
Yi Zhao, Lei Xu, Ting Wang |
2013-11-12 |
|
