Folgen
Thomas Häner
Thomas Häner
Microsoft Quantum
Bestätigte E-Mail-Adresse bei microsoft.com
Titel
Zitiert von
Zitiert von
Jahr
ProjectQ: an open source software framework for quantum computing
DS Steiger, T Häner, M Troyer
Quantum 2, 49, 2018
3002018
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
247*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
1422018
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
1302017
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
992016
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
802021
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
612016
Programming quantum computers using design automation
M Soeken, T Haener, M Roetteler
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 137-146, 2018
412018
Optimizing quantum circuits for arithmetic
T Häner, M Roetteler, KM Svore
arXiv preprint arXiv:1805.12445, 2018
402018
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
382020
Quantum circuits for floating-point arithmetic
T Haener, M Soeken, M Roetteler, KM Svore
International Conference on Reversible Computation, 162-174, 2018
272018
Assertion-based optimization of Quantum programs
T Häner, T Hoefler, M Troyer
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-20, 2020
14*2020
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), 1-26, 2020
9*2020
Distributed Quantum Computing with QMPI
T Häner, DS Steiger, T Hoefler, M Troyer
Proceedings of the International Conference for High Performance Computing …, 2021
72021
Advantages of a modular high-level quantum programming framework
DS Steiger, T Häner, M Troyer
Microprocessors and Microsystems 66, 81-89, 2019
62019
Prospects of quantum computing for molecular sciences
H Liu, GH Low, DS Steiger, T Häner, M Reiher, M Troyer
Materials Theory 6 (1), 1-17, 2022
52022
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
4*2022
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, 2022
4*2022
Quantum circuit libraries for floating-point arithmetic
T Haener, M Roetteler, K Svore
US Patent 10,699,209, 2020
42020
Leveraging state sparsity for more efficient quantum simulations
S Jaques, T Häner
ACM Transactions on Quantum Computing, 2021
32021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20