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 patentsUS10423887B2Sep 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