An efficient algorithm for sparse quantum state preparation

N Gleinig, T Hoefler - 2021 58th ACM/IEEE Design Automation …, 2021 - ieeexplore.ieee.org
Generating quantum circuits that prepare specific states is an essential part of quantum
compilation. Algorithms that solve this problem for general states generate circuits at grow …

Survey on quantum circuit compilation for noisy intermediate-scale quantum computers: Artificial intelligence to heuristics

J Kusyk, SM Saeed, MU Uyar - IEEE Transactions on Quantum …, 2021 - ieeexplore.ieee.org
Computationally expensive applications, including machine learning, chemical simulations,
and financial modeling, are promising candidates for noisy intermediate scale quantum …

One-pass design of reversible circuits: Combining embedding and synthesis for reversible logic

A Zulehner, R Wille - … on Computer-Aided Design of Integrated …, 2017 - ieeexplore.ieee.org
Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …

A lightweight approach to detect malicious/unexpected changes in the error rates of NISQ computers

N Acharya, SM Saeed - … of the 39th International Conference on …, 2020 - dl.acm.org
Despite the current progress in quantum computing, the reliability of quantum computers is
very challenging. Near-term quantum computers referred to as Noisy Intermediate-Scale …

Towards an automated framework for realizing quantum computing solutions

N Quetschlich, L Burgholzer… - 2023 IEEE 53rd …, 2023 - ieeexplore.ieee.org
Quantum computing is fast evolving as a technology due to recent advances in hardware,
software, as well as the development of promising applications. To use this technology for …

Programming quantum computers using design automation

M Soeken, T Haener, M Roetteler - 2018 Design, Automation & …, 2018 - ieeexplore.ieee.org
Recent developments in quantum hardware indicate that systems featuring more than 50
physical qubits are within reach. At this scale, classical simulation will no longer be feasible …

A design framework for invertible logic

N Onizawa, K Nishino, SC Smithson… - … on Computer-Aided …, 2020 - ieeexplore.ieee.org
Invertible logic using a probabilistic magnetoresistive device model has been recently
presented that can compute functions in bidirectional ways and solve several problems …

[BOOK][B] Introducing design automation for quantum computing

A Zulehner, R Wille - 2020 - Springer
In the 1970s, researchers started to utilize quantum mechanics to address questions in
computer science and information theory—establishing new research directions (such as …

Transforming semi-honest protocols to ensure accountability

W Jiang, C Clifton, M Kantarcıoğlu - Data & Knowledge Engineering, 2008 - Elsevier
The secure multi-party computation (SMC) model provides means for balancing the use and
confidentiality of distributed data. This is especially important in the field of privacy …

Test points for online monitoring of quantum circuits

N Acharya, M Urbanek, WA De Jong… - ACM Journal on …, 2021 - dl.acm.org
Noisy Intermediate-Scale Quantum (NISQ) computers consisting of tens of inherently noisy
quantum bits (qubits) suffer from reliability problems. Qubits and their gates are susceptible …