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 …
compilation. Algorithms that solve this problem for general states generate circuits at grow …
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 …
characteristics in low-power design, its application in quantum computations, and several …
JKQ: JKU tools for quantum computing
With quantum computers on the brink of practical applicability, there is a lively community
that develops toolkits for the design of corresponding quantum circuits. Many of the …
that develops toolkits for the design of corresponding quantum circuits. Many of the …
Programming quantum computers using design automation
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 …
physical qubits are within reach. At this scale, classical simulation will no longer be feasible …
Make it reversible: Efficient embedding of non-reversible functions
A Zulehner, R Wille - Design, Automation & Test in Europe …, 2017 - ieeexplore.ieee.org
Reversible computation became established as a promising concept due to its application in
various areas like quantum computation, energy-aware circuits, and further areas …
various areas like quantum computation, energy-aware circuits, and further areas …
[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 …
computer science and information theory—establishing new research directions (such as …
Design automation and design space exploration for quantum computers
A major hurdle to the deployment of quantum linear systems algorithms and recent quantum
simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic …
simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic …
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 …
confidentiality of distributed data. This is especially important in the field of privacy …
Reversible and quantum circuits
N Abdessaied, R Drechsler - Optimization and Complexity Analysis …, 2016 - Springer
Due to the increasing miniaturization according to Moore's law, classical circuit design will
reach soon its limits. Reversible computation is an interesting alternative, since it provides a …
reach soon its limits. Reversible computation is an interesting alternative, since it provides a …
[HTML][HTML] Ancilla-free synthesis of large reversible functions using binary decision diagrams
The synthesis of reversible functions has been an intensively studied research area in the
last decade. Since almost all proposed approaches rely on representations of exponential …
last decade. Since almost all proposed approaches rely on representations of exponential …