Quantum software components and platforms: Overview and quality assessment

MA Serrano, JA Cruz-Lemus, R Perez-Castillo… - ACM Computing …, 2022 - dl.acm.org
Quantum computing is the latest revolution in computing and will probably come to be seen
as an advance as important as the steam engine or the information society. In the last few …

Quantum programming languages

B Heim, M Soeken, S Marshall, C Granade… - Nature Reviews …, 2020 - nature.com
Quantum programming languages are essential to translate ideas into instructions that can
be executed by a quantum computer. Not only are they crucial to the programming of …

An efficient methodology for map** quantum circuits to the IBM QX architectures

A Zulehner, A Paler, R Wille - IEEE Transactions on Computer …, 2018 - ieeexplore.ieee.org
In the past years, quantum computers more and more have evolved from an academic idea
to an upcoming reality. IBM's project IBM Q can be seen as evidence of this progress …

Synthesis and optimization of reversible circuits—a survey

M Saeedi, IL Markov - ACM Computing Surveys (CSUR), 2013 - dl.acm.org
Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

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 quantum computational compiler and design tool for technology-specific targets

KN Smith, MA Thornton - … of the 46th International Symposium on …, 2019 - dl.acm.org
Quantum computing, once just a theoretical field, is quickly advancing as physical quantum
technology increases in size, capability, and reliability. In order to fully harness the power of …

Synthesis of reversible circuits with minimal lines for large functions

M Soeken, R Wille, C Hilken… - 17th Asia and South …, 2012 - ieeexplore.ieee.org
Reversible circuits are an emerging technology where all computations are performed in an
invertible manner. Motivated by their promising applications, eg in the domain of quantum …

Quantum algorithm for credit valuation adjustments

J Alcazar, A Cadarso, A Katabarwa, M Mauri… - New Journal of …, 2022 - iopscience.iop.org
Quantum mechanics is well known to accelerate statistical sampling processes over
classical techniques. In quantitative finance, statistical samplings arise broadly in many use …

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 …

Detecting and modeling local text reuse

DA Smith, R Cordel, EM Dillon… - IEEE/ACM Joint …, 2014 - ieeexplore.ieee.org
Texts propagate through many social networks and provide evidence for their structure. We
describe and evaluate efficient algorithms for detecting clusters of reused passages …