Thomas Häner - RankMe

39 papers A 4C 2Journal 33

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