High performance emulation of quantum circuits. - Thomas Häner; Damian S. Steiger; Mikhail Smelyanskiy; Matthias Troyer (SC, 2016)

A Software Methodology for Compiling Quantum Programs. - Thomas Häner; Damian S. Steiger; Krysta M. Svore; Matthias Troyer (CoRR, 2016)

0.5 petabyte simulation of a 45-qubit quantum circuit. - Thomas Häner; Damian S. Steiger (SC, 2017)

Factoring using $2n+2$ qubits with Toffoli based modular multiplication. - Thomas Häner; Martin Roetteler; Krysta M. Svore (Quantum Inf. Comput., 2017)

Programming quantum computers using design automation. - Mathias Soeken; Thomas Häner; Martin Roetteler (DATE, 2018)

Quantum Circuits for Floating-Point Arithmetic. - Thomas Häner; Mathias Soeken; Martin Roetteler; Krysta M. Svore (RC, 2018)

Optimizing Quantum Circuits for Arithmetic. - Thomas Häner; Martin Roetteler; Krysta M. Svore (CoRR, 2018)

Managing approximation errors in quantum programs. - Thomas Häner; Martin Roetteler; Krysta M. Svore (CoRR, 2018)

Using Hoare logic for quantum circuit optimization. - Thomas Häner; Torsten Hoefler; Matthias Troyer (CoRR, 2018)

ProjectQ: an open source software framework for quantum computing. - Damian S. Steiger; Thomas Häner; Matthias Troyer (Quantum, 2018)

Advantages of a modular high-level quantum programming framework. - Damian S. Steiger; Thomas Häner; Matthias Troyer (Microprocess. Microsystems, 2019)

Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Thomas Häner (CoRR, 2020)

Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks. - Thomas Häner; Mathias Soeken (CoRR, 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)

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. - Thomas Häner; Samuel Jaques; Michael Naehrig; Martin Roetteler; Mathias Soeken (IACR Cryptol. ePrint Arch., 2020)

Assertion-based optimization of Quantum programs. - Thomas Häner; Torsten Hoefler; Matthias Troyer (Proc. ACM Program. Lang., 2020)

Enabling accuracy-aware Quantum compilers using symbolic resource estimation. - Giulia Meuli; Mathias Soeken; Martin Roetteler; Thomas Häner (Proc. ACM Program. Lang., 2020)

Distributed quantum computing with QMPI. - Thomas Häner; Damian S. Steiger; Torsten Hoefler; Matthias Troyer (SC, 2021)

Enabling Dataflow Optimization for Quantum Programs. - David Ittah; Thomas Häner; Vadym Kliuchnikov; Torsten Hoefler (CoRR, 2021)

QParallel: Explicit Parallelism for Programming Quantum Computers. - Thomas Häner; Vadym Kliuchnikov; Martin Roetteler; Mathias Soeken; Alexander Vaschillo (CoRR, 2022)

Space-time optimized table lookup. - Thomas Häner; Vadym Kliuchnikov; Martin Roetteler; Mathias Soeken (CoRR, 2022)

The multiplicative complexity of interval checking. - Thomas Häner; Mathias Soeken (IACR Cryptol. ePrint Arch., 2022)

Computing all monomials of degree n-1 using 2n-3 AND gates. - Thomas Häner (CoRR, 2023)

Parallel Tempering for Logic Synthesis. - Thomas Häner; Damian S. Steiger; Helmut G. Katzgraber (CoRR, 2023)

Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage. - Torsten Hoefler; Thomas Häner; Matthias Troyer (Commun. ACM, 2023)