Thomas Haener

6 Patents

• US122427782025

  Low-cost Linear Orders for Quantum-program Simulation

  Microsoft Technology Licensing, LLC

  0 cites
• US121478732024

  Evaluating Quantum Computing Circuits in View of the Resource Costs of a Quantum Algorithm

  Microsoft Technology Licensing, LLC

  0 cites
• US118297372023

  Using Compiler Optimization to Enable Automatic Generation of Combinational Circuits from High-level Programs

  Microsoft Technology Licensing, LLC

  0 cites
• US117556822023

  Evaluating Quantum Computing Circuits in View of the Resource Costs of a Quantum Algorithm

  Microsoft Technology Licensing, LLC

  0 cites
• US116990022023

  Separable-state Simulation of Quantum Program Code

  Microsoft Technology Licensing, LLC

  0 cites
• US115804342023

  Automatic Accuracy Management for Quantum Programs via Symbolic Resource Estimation

  Microsoft Technology Licensing, LLC

  0 cites