60 citations · 269 across the 22 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
quant-ph2023
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint)
Joshua Ammermann, Tim Bittner, Domenik Eichhorn +2
A software product line models the variability of highly configurable systems. Complete exploration of all valid configurations (the configuration space) is infeasible as it grows…
quant-ph2023★ 1 cited
QbC: Quantum Correctness by Construction
Anurudh Peduri, Ina Schaefer, Michael Walter
Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has p…