Thomas Häner

According to our database, Thomas Häner authored at least 25 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage.

Torsten Hoefler, Thomas Häner, Matthias Troyer

Commun. ACM, May, 2023

Parallel Tempering for Logic Synthesis.

Thomas Häner, Damian S. Steiger, Helmut G. Katzgraber

CoRR, 2023

Computing all monomials of degree n-1 using 2n-3 AND gates.

Thomas Häner

CoRR, 2023

2022

The multiplicative complexity of interval checking.

Thomas Häner, Mathias Soeken

IACR Cryptol. ePrint Arch., 2022

Space-time optimized table lookup.

Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken

CoRR, 2022

QParallel: Explicit Parallelism for Programming Quantum Computers.

Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken, Alexander Vaschillo

CoRR, 2022

2021

Enabling Dataflow Optimization for Quantum Programs.

David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler

CoRR, 2021

Distributed quantum computing with QMPI.

Thomas Häner, Damian S. Steiger, Torsten Hoefler, Matthias Troyer

Proceedings of the International Conference for High Performance Computing, 2021

2020

Enabling accuracy-aware Quantum compilers using symbolic resource estimation.

Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner

Proc. ACM Program. Lang., 2020

Assertion-based optimization of Quantum programs.

Thomas Häner, Torsten Hoefler, Matthias Troyer

Proc. ACM Program. Lang., 2020

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms.

Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken

IACR Cryptol. ePrint Arch., 2020

Quantum computing enhanced computational catalysis.

Vera von Burg, Guang Hao Low, Thomas Häner, Damian S. Steiger, Markus Reiher, Martin Roetteler, Matthias Troyer

CoRR, 2020

Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks.

Thomas Häner, Mathias Soeken

CoRR, 2020

Automatic accuracy management of quantum programs via (near-)symbolic resource estimation.

Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner

CoRR, 2020

2019

Advantages of a modular high-level quantum programming framework.

Damian S. Steiger, Thomas Häner, Matthias Troyer

Microprocess. Microsystems, 2019

2018

Using Hoare logic for quantum circuit optimization.

Thomas Häner, Torsten Hoefler, Matthias Troyer

CoRR, 2018

Managing approximation errors in quantum programs.

Thomas Häner, Martin Roetteler, Krysta M. Svore

CoRR, 2018

Optimizing Quantum Circuits for Arithmetic.

Thomas Häner, Martin Roetteler, Krysta M. Svore

CoRR, 2018

Quantum Circuits for Floating-Point Arithmetic.

Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore

Proceedings of the Reversible Computation - 10th International Conference, 2018

Programming quantum computers using design automation.

Mathias Soeken, Thomas Häner, Martin Roetteler

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Factoring using $2n+2$ qubits with Toffoli based modular multiplication.

Thomas Häner, Martin Roetteler, Krysta M. Svore

Quantum Inf. Comput., 2017

0.5 petabyte simulation of a 45-qubit quantum circuit.

Thomas Häner, Damian S. Steiger

Proceedings of the International Conference for High Performance Computing, 2017

2016

ProjectQ: An Open Source Software Framework for Quantum Computing.

Damian S. Steiger, Thomas Häner, Matthias Troyer

CoRR, 2016

A Software Methodology for Compiling Quantum Programs.

Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer

CoRR, 2016

High performance emulation of quantum circuits.

Thomas Häner, Damian S. Steiger, Mikhail Smelyanskiy, Matthias Troyer

Proceedings of the International Conference for High Performance Computing, 2016