51 citations · 64 across the 8 of their papers we have counts for
4 papers · 1 filter
Automatically Refining Assertions for Efficient Debugging of Quantum Programs
Damian Rovara, Lukas Burgholzer, Robert Wille
As new advancements in the field of quantum computing lead to the development of increasingly complex programs, approaches to validate and debug these programs are becoming more im…
A Framework for Debugging Quantum Programs
Damian Rovara, Lukas Burgholzer, Robert Wille
Recent advancements in quantum computing software are gradually increasing the scope and size of quantum programs being developed. At the same time, however, these larger programs…
The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
Robert Wille, Lucas Berent, Tobias Forster +10
Quantum computers are becoming a reality and numerous quantum computing applications with a near-term perspective (e.g., for finance, chemistry, machine learning, and optimization)…
A Framework to Formulate Pathfinding Problems for Quantum Computing
Damian Rovara, Nils Quetschlich, Robert Wille
With the applications of quantum computing becoming more and more widespread, finding ways that allow end users without experience in the field to apply quantum computers to solve…