Inventor
HAENER THOMAS
CH10 patents
Patents
10 patentsUS10423887B2Sep 24, 2019
Compilation, memory management, and fault localization with ancillas in an unknown state
MICROSOFT TECHNOLOGY LICENSING LLC22 citations93
US10664761B2May 26, 2020
Generating quantum computing circuits by distributing approximation errors in a quantum algorithm
MICROSOFT TECHNOLOGY LICENSING LLC7 citations80
US10699209B2Jun 30, 2020
Quantum circuit libraries for floating-point arithmetic
MICROSOFT TECHNOLOGY LICENSING LLC4 citations72
US11537376B2Dec 27, 2022
Automatic quantum program optimization using adjoint-via-conjugation annotations
MICROSOFT TECHNOLOGY LICENSING LLC2 citations71
US12147873B2Nov 19, 2024
Evaluating quantum computing circuits in view of the resource costs of a quantum algorithm
MICROSOFT TECHNOLOGY LICENSING LLC0 citations58
US11829737B2Nov 28, 2023
Using compiler optimization to enable automatic generation of combinational circuits from high-level programs
MICROSOFT TECHNOLOGY LICENSING LLC1 citations58
US11755682B2Sep 12, 2023
Evaluating quantum computing circuits in view of the resource costs of a quantum algorithm
MICROSOFT TECHNOLOGY LICENSING LLC0 citations58
US11699002B2Jul 11, 2023
Separable-state simulation of quantum program code
MICROSOFT TECHNOLOGY LICENSING LLC0 citations58
US11580434B2Feb 14, 2023
Automatic accuracy management for quantum programs via symbolic resource estimation
MICROSOFT TECHNOLOGY LICENSING LLC0 citations56
US12242778B2Mar 4, 2025
Low-cost linear orders for quantum-program simulation
MICROSOFT TECHNOLOGY LICENSING LLC0 citations46