113 citations · 180 across the 20 of their papers we have counts for
21 papers
Know Your Qubits, Know Your Users: Personas for Quantum Software
Lukas Schmidbauer, Joshua Ammermann, Laura Schulz +5
The advancement of quantum hardware and the intricacies of quantum computing make well-designed quantum software increasingly necessary. Due to the interdisciplinarity of the field…
Generative AI Beyond Tokens: Quantum Resource Consumption of IQP Circuits
Tom Krüger, Wolfgang Mauerer
Quantum generative modelling casts sampling as a generative task: a parametrised quantum circuit is trained such that sampling reproduces a target probability distribution. Instant…
A Reality Check on Quantum Optimisation: Evidence from an Industrial Case Study
Hila Safi, Karen Wintersperger, Oliver von Sicard +2
Quantum Processing Units promise speed-ups for selected computational problems, including combinatorial optimisation, but their industrial utility remains an open challenge. We stu…
Beyond Gates: Pulse Level Quantum Fourier Models
Melvin Strobl, Maja Franz, Lukas Scheller +3
In the domain of variational quantum algorithms, quantum Fourier models (QFMs) provide a mathematically well defined structure for quantum machine learning (QML). There has been a…
QEF: Reproducible and Exploratory Quantum Software Experiments
Vincent Gierisch, Wolfgang Mauerer
Commercially available Noisy Intermediate-Scale Quantum (NISQ) devices now make small hybrid quantum-classical experiments practical, but many tools hide configuration or demand ad…
Towards Quantum Software for Quantum Simulation
Maja Franz, Lukas Schmidbauer, Joshua Ammermann +2
Quantum simulation is a leading candidate for demonstrating practical quantum advantage over classical computation, as it is believed to provide exponentially more compute power th…
Predict and Conquer: Navigating Algorithm Trade-offs with Quantum Design Automation
Simon Thelen, Wolfgang Mauerer
Combining quantum computers with classical compute power has become a standard means for developing algorithms that are eventually supposed to beat any purely classical alternative…
Geometric and Resource-Theoretic Characterisation of Non-Stabiliserness in Quantum Algorithms
Tom Krüger, Wolfgang Mauerer
While there is strong evidence for advantages of quantum over classical computation, the repertoire of computational primitives with proven or conjectured quantum advantage remains…
SAT Strikes Back: Parameter and Path Relations in Quantum Toolchains
Lukas Schmidbauer, Wolfgang Mauerer
In the foreseeable future, toolchains for quantum computing should offer automatic means of transforming a high level problem formulation down to a hardware executable form. Thereb…
Path Matters: Industrial Data Meet Quantum Optimization
Lukas Schmidbauer, Carlos A. Riofrío, Florian Heinrich +4
Real-world optimization problems must undergo a series of transformations before becoming solvable on current quantum hardware. Even for a fixed problem, the number of possible tra…
It's Quick to be Square: Fast Quadratisation for Quantum Toolchains
Lukas Schmidbauer, Elisabeth Lobe, Ina Schaefer +1
Many of the envisioned use-cases for quantum computers involve optimisation processes. While there are many algorithmic primitives to perform the required calculations, all eventua…
Approximating under the Influence of Quantum Noise and Compute Power
Simon Thelen, Hila Safi, Wolfgang Mauerer
The quantum approximate optimisation algorithm (QAOA) is at the core of many scenarios that aim to combine the power of quantum computers and classical high-performance computing a…
Out of the Loop: Structural Approximation of Optimisation Landscapes and non-Iterative Quantum Optimisation
Tom Krüger, Wolfgang Mauerer
The Quantum Approximate Optimisation Algorithm (QAOA) is a widely studied quantum-classical iterative heuristic for combinatorial optimisation. While QAOA targets problems in compl…
Towards View-based Development of Quantum Software
Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer
Quantum computing is an interdisciplinary field that relies on the expertise of many different stakeholders. The views of various stakeholders on the subject of quantum computing m…
Polynomial Reduction Methods and their Impact on QAOA Circuits
Lukas Schmidbauer, Karen Wintersperger, Elisabeth Lobe +1
Abstraction layers are of paramount importance in software architecture, as they shield the higher-level formulation of payload computations from lower-level details. Since quantum…
QCEDA: Using Quantum Computers for EDA
Matthias Jung, Sven O. Krumke, Christof Schroth +2
The field of Electronic Design Automation (EDA) is crucial for microelectronics, but the increasing complexity of Integrated Circuits (ICs) poses challenges for conventional EDA: C…
Influence of HW-SW-Co-Design on Quantum Computing Scalability
Hila Safi, Karen Wintersperger, Wolfgang Mauerer
The use of quantum processing units (QPUs) promises speed-ups for solving computational problems. Yet, current devices are limited by the number of qubits and suffer from significa…
Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective
Felix Greiwe, Tom Krüger, Wolfgang Mauerer
Quantum computers promise considerable speedups over classical approaches, which has raised interest from many disciplines. Since any currently available implementations suffer fro…
Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective
Karen Wintersperger, Florian Dommert, Thomas Ehmer +7
We present an industrial end-user perspective on the current state of quantum computing hardware for one specific technological approach, the neutral atom platform. Our aim is to a…
QPU-System Co-Design for Quantum HPC Accelerators
Karen Wintersperger, Hila Safi, Wolfgang Mauerer
The use of quantum processing units (QPUs) promises speed-ups for solving computational problems, but the quantum devices currently available possess only a very limited number of…
Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving
Tom Krüger, Wolfgang Mauerer
Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such…