Follow
Thomas Häner
Thomas Häner
Amazon Web Services (AWS)
Verified email at amazon.com
Title
Cited by
Cited by
Year
OpenFermion: the electronic structure package for quantum computers
JR McClean, NC Rubin, KJ Sung, ID Kivlichan, X Bonet-Monroig, Y Cao, ...
Quantum Science and Technology 5 (3), 034014, 2020
4522020
ProjectQ: an open source software framework for quantum computing
DS Steiger, T Häner, M Troyer
Quantum 2, 49, 2018
4412018
Quantum computing enhanced computational catalysis
V von Burg, GH Low, T Häner, DS Steiger, M Reiher, M Roetteler, ...
Physical Review Research 3 (3), 033055, 2021
2072021
A software methodology for compiling quantum programs
T Häner, DS Steiger, K Svore, M Troyer
Quantum Science and Technology 3 (2), 020501, 2018
1802018
0.5 Petabyte Simulation of a 45-Qubit Quantum Circuit
T Häner, DS Steiger
Proceedings of the International Conference for High Performance Computing …, 2017
1802017
Factoring using 2n+2 qubits with Toffoli based modular multiplication
T Häner, M Roetteler, KM Svore
Quantum Information & Computation 17 (7&8), 0673-0684, 2016
1482016
High Performance Emulation of Quantum Circuits
T Häner, DS Steiger, M Smelyanskiy, M Troyer
Proceedings of the International Conference for High Performance Computing …, 2016
812016
Improved quantum circuits for elliptic curve discrete logarithms
T Häner, S Jaques, M Naehrig, M Roetteler, M Soeken
Post-Quantum Cryptography: 11th International Conference, PQCrypto 2020 …, 2020
782020
Optimizing quantum circuits for arithmetic
T Häner, M Roetteler, KM Svore
arXiv preprint arXiv:1805.12445, 2018
652018
Disentangling hype from practicality: On realistically achieving quantum advantage
T Hoefler, T Häner, M Troyer
Communications of the ACM 66 (5), 82-87, 2023
482023
Programming quantum computers using design automation
M Soeken, T Haener, M Roetteler
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 137-146, 2018
482018
Quantum circuits for floating-point arithmetic
T Haener, M Soeken, M Roetteler, KM Svore
International Conference on Reversible Computation, 162-174, 2018
452018
Prospects of quantum computing for molecular sciences
H Liu, GH Low, DS Steiger, T Häner, M Reiher, M Troyer
Materials Theory 6 (1), 11, 2022
442022
Distributed Quantum Computing with QMPI
T Häner, DS Steiger, T Hoefler, M Troyer
Proceedings of the International Conference for High Performance Computing …, 2021
322021
Compilation, memory management, and fault localization with ancillas in an unknown state
M Roetteler, K Svore, T Haener
US Patent 10,423,887, 2019
232019
QIRO: A static single assignment-based quantum program representation for optimization
D Ittah, T Häner, V Kliuchnikov, T Hoefler
ACM Transactions on Quantum Computing 3 (3), 1-32, 2022
18*2022
Assertion-based optimization of quantum programs
T Häner, T Hoefler, M Troyer
Proceedings of the ACM on Programming Languages 4 (OOPSLA 2020), 133; 1-20, 2018
18*2018
Advantages of a modular high-level quantum programming framework
DS Steiger, T Häner, M Troyer
Microprocessors and Microsystems 66, 81-89, 2019
132019
Enabling accuracy-aware quantum compilers using symbolic resource estimation
G Meuli, M Soeken, M Roetteler, T Häner
Proceedings of the ACM on Programming Languages 4 (OOPSLA 2020), 130; 1-26, 2020
12*2020
Lowering the T-depth of quantum circuits via logic network optimization
T Häner, M Soeken
ACM Transactions on Quantum Computing 3 (2), 1-15, 2022
11*2022
The system can't perform the operation now. Try again later.
Articles 1–20