Follow
Thomas Häner
Thomas Häner
Amazon Web Services (AWS)
Verified email at amazon.com
Title
Cited by
Cited by
Year
ProjectQ: an open source software framework for quantum computing
DS Steiger, T Häner, M Troyer
Quantum 2, 49, 2018
3372018
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
328*2020
A software methodology for compiling quantum programs
T Häner, DS Steiger, K Svore, M Troyer
Quantum Science and Technology 3 (2), 020501, 2018
1632018
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
1472017
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
1162016
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
1142021
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
692016
Optimizing quantum circuits for arithmetic
T Häner, M Roetteler, KM Svore
arXiv preprint arXiv:1805.12445, 2018
492018
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
472020
Programming quantum computers using design automation
M Soeken, T Haener, M Roetteler
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 137-146, 2018
442018
Quantum circuits for floating-point arithmetic
T Haener, M Soeken, M Roetteler, KM Svore
Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018
332018
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
212022
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
16*2018
Distributed Quantum Computing with QMPI
T Häner, DS Steiger, T Hoefler, M Troyer
Proceedings of the International Conference for High Performance Computing …, 2021
142021
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
11*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
9*2022
Advantages of a modular high-level quantum programming framework
DS Steiger, T Häner, M Troyer
Microprocessors and Microsystems 66, 81-89, 2019
92019
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
7*2022
Quantum circuit libraries for floating-point arithmetic
T Haener, M Roetteler, K Svore
US Patent 10,699,209, 2020
52020
Managing approximation errors in quantum programs
T Häner, M Roetteler, KM Svore
arXiv preprint arXiv:1807.02336, 2018
42018
The system can't perform the operation now. Try again later.
Articles 1–20