E-LIB Suche - Ergebnisse für: Haner, Thomas

1

Disentangling Hype from Practicality: On Realistically Achi..:

Hoefler, Torsten ; Häner, Thomas ; Troyer, Matthias
Communications of the ACM. 66 (2023) 5 - p. 82-87 , 2023

Link: https://doi.org/10.1145/..

2

QIRO: A Static Single Assignment-based Quantum Program Repr..:

Ittah, David ; Häner, Thomas ; Kliuchnikov, Vadym.
ACM Transactions on Quantum Computing. 3 (2022) 3 - p. 1-32 , 2022

Link: https://doi.org/10.1145/..

3

Leveraging State Sparsity for More Efficient Quantum Simula..:

Jaques, Samuel ; Häner, Thomas
ACM Transactions on Quantum Computing. 3 (2022) 3 - p. 1-17 , 2022

Link: https://doi.org/10.1145/..

4

Lowering the T-depth of Quantum Circuits via Logic Network ..:

Häner, Thomas ; Soeken, Mathias
ACM Transactions on Quantum Computing. 3 (2022) 2 - p. 1-15 , 2022

Link: https://dl.acm.org/doi/1..

5

Prospects of quantum computing for molecular sciences:

Liu, Hongbin ; Low, Guang Hao ; Steiger, Damian S....
Materials Theory. 6 (2022) 1 - p. , 2022

Link: https://doi.org/10.1186/..

6

Lowering the T-depth of Quantum Circuits via Logic Network ..:

Häner, Thomas ; Soeken, Mathias
ACM Transactions on Quantum Computing. 3 (2022) 2 - p. 1-15 , 2022

Link: https://doi.org/10.1145/..

7

Quantum computing enhanced computational catalysis:

von Burg, Vera ; Low, Guang Hao ; Häner, Thomas...
Physical Review Research. 3 (2021) 3 - p. , 2021

Link: https://doi.org/10.1103/..

8

Distributed Quantum Computing with QMPI:

, In: SC21: International Conference for High Performance Computing, Networking, Storage and Analysis,

Haner, Thomas ; Steiger, Damian S. ; Hoefler, Torsten. - p. 1-15 , 2021

Link: https://doi.org/10.1145/..

9

Distributed quantum computing with QMPI:

, In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis,

Häner, Thomas ; Steiger, Damian S. ; Hoefler, Torsten. - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

10

Enabling accuracy-aware Quantum compilers using symbolic re..:

Meuli, Giulia ; Soeken, Mathias ; Roetteler, Martin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-26 , 2020

Link: https://dl.acm.org/doi/1..

11

Assertion-based optimization of Quantum programs:

Häner, Thomas ; Hoefler, Torsten ; Troyer, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-20 , 2020

Link: https://dl.acm.org/doi/1..

12

Enabling accuracy-aware Quantum compilers using symbolic re..:

Meuli, Giulia ; Soeken, Mathias ; Roetteler, Martin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-26 , 2020

Link: https://doi.org/10.1145/..

13

Improved Quantum Circuits for Elliptic Curve Discrete Logar..:

, In: Post-Quantum Cryptography; Lecture Notes in Computer Science,

Häner, Thomas ; Jaques, Samuel ; Naehrig, Michael.. - p. 425-444 , 2020

Link: https://doi.org/10.1007/..

14

Assertion-based optimization of Quantum programs:

Häner, Thomas ; Hoefler, Torsten ; Troyer, Matthias
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-20 , 2020

Link: https://doi.org/10.1145/..

15

Advantages of a modular high-level quantum programming fram..:

Steiger, Damian S. ; Häner, Thomas ; Troyer, Matthias
Microprocessors and Microsystems. 66 (2019) - p. 81-89 , 2019

Link: https://doi.org/10.1016/..