Thomas Häner

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 35

Top Topics

Quantum Computing

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Thomas Häner
Computing all monomials of degree n-1 using 2n-3 AND gates. CoRR (2023)
Torsten Hoefler, Thomas Häner, Matthias Troyer
Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage. CoRR (2023)
Torsten Hoefler, Thomas Häner, Matthias Troyer
Disentangling Hype from Practicality: On Realistically Achieving Quantum Advantage. Commun. ACM 66 (5) (2023)
Thomas Häner, Damian S. Steiger, Helmut G. Katzgraber
Parallel Tempering for Logic Synthesis. CoRR (2023)
Thomas Häner, Mathias Soeken
The multiplicative complexity of interval checking. CoRR (2022)
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken, Alexander Vaschillo
QParallel: Explicit Parallelism for Programming Quantum Computers. CoRR (2022)
Thomas Häner, Vadym Kliuchnikov, Martin Roetteler, Mathias Soeken
Space-time optimized table lookup. CoRR (2022)
Thomas Häner, Mathias Soeken
The multiplicative complexity of interval checking. IACR Cryptol. ePrint Arch. 2022 (2022)
Thomas Häner, Damian S. Steiger, Torsten Hoefler, Matthias Troyer
Distributed quantum computing with QMPI. SC (2021)
Thomas Häner, Damian S. Steiger, Torsten Hoefler, Matthias Troyer
Distributed Quantum Computing with QMPI. CoRR (2021)
David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler
Enabling Dataflow Optimization for Quantum Programs. CoRR (2021)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. PQCrypto (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved quantum circuits for elliptic curve discrete logarithms. CoRR (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. CoRR (2020)
Vera von Burg, Guang Hao Low, Thomas Häner, Damian S. Steiger, Markus Reiher, Martin Roetteler, Matthias Troyer
Quantum computing enhanced computational catalysis. CoRR (2020)
Thomas Häner, Torsten Hoefler, Matthias Troyer
Assertion-based optimization of Quantum programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Thomas Häner, Samuel Jaques, Michael Naehrig, Martin Roetteler, Mathias Soeken
Improved Quantum Circuits for Elliptic Curve Discrete Logarithms. IACR Cryptol. ePrint Arch. 2020 (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Enabling accuracy-aware Quantum compilers using symbolic resource estimation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Thomas Häner, Mathias Soeken
Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks. CoRR (2020)
Damian S. Steiger, Thomas Häner, Matthias Troyer
Advantages of a modular high-level quantum programming framework. Microprocess. Microsystems 66 (2019)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming Quantum Computers Using Design Automation. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum Circuits for Floating-Point Arithmetic. RC (2018)
Damian S. Steiger, Thomas Häner, Matthias Troyer
Advantages of a modular high-level quantum programming framework. CoRR (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Optimizing Quantum Circuits for Arithmetic. CoRR (2018)
Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore
Quantum circuits for floating-point arithmetic. CoRR (2018)
Mathias Soeken, Thomas Häner, Martin Roetteler
Programming quantum computers using design automation. DATE (2018)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Managing approximation errors in quantum programs. CoRR (2018)
Thomas Häner, Torsten Hoefler, Matthias Troyer
Using Hoare logic for quantum circuit optimization. CoRR (2018)
Thomas Häner, Damian S. Steiger
0.5 petabyte simulation of a 45-qubit quantum circuit. SC (2017)
Thomas Häner, Damian S. Steiger
0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit. CoRR (2017)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using $2n+2$ qubits with Toffoli based modular multiplication. Quantum Inf. Comput. 17 (7&8) (2017)
Thomas Häner, Martin Roetteler, Krysta M. Svore
Factoring using 2n+2 qubits with Toffoli based modular multiplication. CoRR (2016)
Thomas Häner, Damian S. Steiger, Mikhail Smelyanskiy, Matthias Troyer
High performance emulation of quantum circuits. SC (2016)
Thomas Häner, Damian S. Steiger, Krysta M. Svore, Matthias Troyer
A Software Methodology for Compiling Quantum Programs. CoRR (2016)
Damian S. Steiger, Thomas Häner, Matthias Troyer
ProjectQ: An Open Source Software Framework for Quantum Computing. CoRR (2016)