Issued Patents 2020
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 10664249 | Verified compilation of reversible circuits | Matthew Amy, Krysta Svore | 2020-05-26 |
| 10664761 | Generating quantum computing circuits by distributing approximation errors in a quantum algorithm | Thomas Haener, Krysta Svore, Vadym Kliuchnikov | 2020-05-26 |