Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 11829737 | Using compiler optimization to enable automatic generation of combinational circuits from high-level programs | Thomas Haener, Mathias Soeken | 2023-11-28 |
| 11797872 | Quantum bit prediction | Alexei Bocharov, Eshan Kemp, Michael Freedman, Krysta Svore | 2023-10-24 |
| 11755682 | Evaluating quantum computing circuits in view of the resource costs of a quantum algorithm | Thomas Haener, Krysta Svore | 2023-09-12 |
| 11699002 | Separable-state simulation of quantum program code | Thomas Haener, Vadym Kliuchnikov | 2023-07-11 |
| 11615334 | Pebbling strategies for quantum memory management | Giulia Meuli | 2023-03-28 |
| 11580434 | Automatic accuracy management for quantum programs via symbolic resource estimation | Thomas Haener, Giulia Meuli | 2023-02-14 |
| 11537376 | Automatic quantum program optimization using adjoint-via-conjugation annotations | Thomas Haener | 2022-12-27 |
| 11341303 | System for reversible circuit compilation with space constraint, method and program | Krysta Svore, Alex Parent | 2022-05-24 |
| 11119773 | Runtime quantum-memory management | Mathias Soeken, Krysta Svore | 2021-09-14 |
| 11113084 | Method and system for approximate quantum circuit synthesis using quaternion algebra | Vadym Kliuchnikov, Jon Yard, Alexei Bocharov | 2021-09-07 |
| 11010682 | Efficient synthesis of probabilistic quantum circuits with fallback | Alexei Bocharov, Krysta Svore | 2021-05-18 |
| 10860759 | System for reversible circuit compilation with space constraint, method and program | Krysta Svore, Alex Parent | 2020-12-08 |
| 10726350 | Method and system for efficient quantum ternary arithmetic | Xingshan Cui, Alexei Bocharov, Krysta Svore | 2020-07-28 |
| 10699209 | Quantum circuit libraries for floating-point arithmetic | Thomas Haener, Krysta Svore | 2020-06-30 |
| 10664761 | Generating quantum computing circuits by distributing approximation errors in a quantum algorithm | Thomas Haener, Krysta Svore, Vadym Kliuchnikov | 2020-05-26 |
| 10664249 | Verified compilation of reversible circuits | Matthew Amy, Krysta Svore | 2020-05-26 |
| 10430162 | Quantum resource estimates for computing elliptic curve discrete logarithms | Kristin E. Lauter, Krysta Svore | 2019-10-01 |
| 10423887 | Compilation, memory management, and fault localization with ancillas in an unknown state | Krysta Svore, Thomas Haener | 2019-09-24 |
| 10320360 | Quantum algorithms for arithmetic and function synthesis | Nathan O. Wiebe | 2019-06-11 |
| 10242321 | Efficient synthesis of repeat-until-success circuits in clifford + T basis | Alexei Bocharov, Krysta Svore | 2019-03-26 |
| 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 |