Thomas Häner

Commun. ACM, May, 2023

Parallel Tempering for Logic Synthesis.

[BibT_eX]

[DOI]

Helmut G. Katzgraber

CoRR, 2023

Computing all monomials of degree n-1 using 2n-3 AND gates.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Leveraging State Sparsity for More Efficient Quantum Simulations.

[BibT_eX]

[DOI]

Samuel Jaques

ACM Trans. Quantum Comput., September, 2022

QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization.

[BibT_eX]

[DOI]

ACM Trans. Quantum Comput., September, 2022

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

[BibT_eX]

[DOI]

ACM Trans. Quantum Comput., June, 2022

The multiplicative complexity of interval checking.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2022

Space-time optimized table lookup.

[BibT_eX]

[DOI]

CoRR, 2022

QParallel: Explicit Parallelism for Programming Quantum Computers.

[BibT_eX]

[DOI]

CoRR, 2022

2021

Enabling Dataflow Optimization for Quantum Programs.

[BibT_eX]

[DOI]

CoRR, 2021

Distributed quantum computing with QMPI.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2021

2020

Enabling accuracy-aware Quantum compilers using symbolic resource estimation.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Assertion-based optimization of Quantum programs.

[BibT_eX]

[DOI]

Torsten Hoefler

Proc. ACM Program. Lang., 2020

Quantum computing enhanced computational catalysis.

[BibT_eX]

[DOI]

CoRR, 2020

Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Automatic accuracy management of quantum programs via (near-)symbolic resource estimation.

[BibT_eX]

[DOI]

CoRR, 2020

Improved Quantum Circuits for Elliptic Curve Discrete Logarithms.

[BibT_eX]

[DOI]

Proceedings of the Post-Quantum Cryptography - 11th International Conference, 2020

2019

Advantages of a modular high-level quantum programming framework.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2019

2018

ProjectQ: an open source software framework for quantum computing.

[BibT_eX]

[DOI]

Quantum, 2018

Using Hoare logic for quantum circuit optimization.

[BibT_eX]

[DOI]

Torsten Hoefler

CoRR, 2018

Managing approximation errors in quantum programs.

[BibT_eX]

[DOI]

Krysta M. Svore

CoRR, 2018

Optimizing Quantum Circuits for Arithmetic.

[BibT_eX]

[DOI]

Krysta M. Svore

CoRR, 2018

Quantum Circuits for Floating-Point Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 10th International Conference, 2018

Programming quantum computers using design automation.

[BibT_eX]

[DOI]

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Factoring using $2n+2$ qubits with Toffoli based modular multiplication.

[BibT_eX]

[DOI]

Krysta M. Svore

Quantum Inf. Comput., 2017

0.5 petabyte simulation of a 45-qubit quantum circuit.

[BibT_eX]

[DOI]