113 citations · 180 across the 20 of their papers we have counts for
6 papers · 1 filter
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…