P

Inventor

ROETTELER MARTIN

US22 patents
⚠️ This page may combine multiple inventors who share the name “ROETTELER MARTIN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

MICROSOFT TECHNOLOGY LICENSING LLC

16 patents
US10423887B2Sep 24, 2019

Compilation, memory management, and fault localization with ancillas in an unknown state

MICROSOFT TECHNOLOGY LICENSING LLC22 citations93
US10860759B2Dec 8, 2020

System for reversible circuit compilation with space constraint, method and program

MICROSOFT TECHNOLOGY LICENSING LLC19 citations91
US11010682B2May 18, 2021

Efficient synthesis of probabilistic quantum circuits with fallback

MICROSOFT TECHNOLOGY LICENSING LLC8 citations83
US10242321B2Mar 26, 2019

Efficient synthesis of repeat-until-success circuits in clifford + T basis

MICROSOFT TECHNOLOGY LICENSING LLC11 citations83
US10320360B2Jun 11, 2019

Quantum algorithms for arithmetic and function synthesis

MICROSOFT TECHNOLOGY LICENSING LLC10 citations82
US10664249B2May 26, 2020

Verified compilation of reversible circuits

MICROSOFT TECHNOLOGY LICENSING LLC12 citations80
US10699209B2Jun 30, 2020

Quantum circuit libraries for floating-point arithmetic

MICROSOFT TECHNOLOGY LICENSING LLC4 citations72
US10430162B2Oct 1, 2019

Quantum resource estimates for computing elliptic curve discrete logarithms

MICROSOFT TECHNOLOGY LICENSING LLC5 citations72
US11537376B2Dec 27, 2022

Automatic quantum program optimization using adjoint-via-conjugation annotations

MICROSOFT TECHNOLOGY LICENSING LLC2 citations71
US11341303B2May 24, 2022

System for reversible circuit compilation with space constraint, method and program

MICROSOFT TECHNOLOGY LICENSING LLC2 citations70
US11797872B2Oct 24, 2023

Quantum bit prediction

MICROSOFT TECHNOLOGY LICENSING LLC4 citations69
US11113084B2Sep 7, 2021

Method and system for approximate quantum circuit synthesis using quaternion algebra

MICROSOFT TECHNOLOGY LICENSING LLC3 citations69
US11829737B2Nov 28, 2023

Using compiler optimization to enable automatic generation of combinational circuits from high-level programs

MICROSOFT TECHNOLOGY LICENSING LLC1 citations58
US11580434B2Feb 14, 2023

Automatic accuracy management for quantum programs via symbolic resource estimation

MICROSOFT TECHNOLOGY LICENSING LLC0 citations56
US11615334B2Mar 28, 2023

Pebbling strategies for quantum memory management

MICROSOFT TECHNOLOGY LICENSING LLC0 citations54
US10726350B2Jul 28, 2020

Method and system for efficient quantum ternary arithmetic

MICROSOFT TECHNOLOGY LICENSING LLC0 citations37

ROETTELER MARTIN

2 patents

ZHAO YI

1 patent

SILVA MARCUS

1 patent

OZOLS MARIS

1 patent

GAVINSKY DMITRY

1 patent