216 citations · 1.4k across the 66 of their papers we have counts for
12 papers · 1 filter
Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams
Thomas Grurl, Jürgen Fuß, Robert Wille
By using quantum mechanical effects, quantum computers promise significant speedups in solving problems intractable for conventional computers. However, despite recent progress the…
Stochastic Quantum Circuit Simulation Using Decision Diagrams
Thomas Grurl, Richard Kueng, Jürgen Fuß +1
Recent years have seen unprecedented advance in the design and control of quantum computers. Nonetheless, their applicability is still restricted and access remains expensive. Ther…
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation
Stefan Hillmich, Richard Kueng, Igor L. Markov +1
Quantum computers promise to solve important problems faster than conventional computers. However, unleashing this power has been challenging. In particular, design automation runs…
Characteristics of Reversible Circuits for Error Detection
Lukas Burgholzer, Robert Wille, Richard Kueng
In this work, we consider error detection via simulation for reversible circuit architectures. We rigorously prove that reversibility augments the performance of this simple error…
Exploiting Quantum Teleportation in Quantum Circuit Mapping
Stefan Hillmich, Alwin Zulehner, Robert Wille
Quantum computers are constantly growing in their number of qubits, but continue to suffer from restrictions such as the limited pairs of qubits that may interact with each other.…
Random Stimuli Generation for the Verification of Quantum Circuits
Lukas Burgholzer, Richard Kueng, Robert Wille
Verification of quantum circuits is essential for guaranteeing correctness of quantum algorithms and/or quantum descriptions across various levels of abstraction. In this work, we…
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Lukas Burgholzer, Rudy Raymond, Robert Wille
Realizing a conceptual quantum algorithm on an actual physical device necessitates the algorithm's quantum circuit description to undergo certain transformations in order to adhere…
Just Like the Real Thing: Fast Weak Simulation of Quantum Computation
Stefan Hillmich, Igor L. Markov, Robert Wille
Quantum computers promise significant speedups in solving problems intractable for conventional computers but, despite recent progress, remain limited in scaling and availability.…
Realizing Quantum Algorithms on Real Quantum Computing Devices
Carmen G. Almudever, Lingling Lao, Robert Wille +1
Quantum computing is currently moving from an academic idea to a practical reality. Quantum computing in the cloud is already available and allows users from all over the world to…
Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study
Atif Mashkoor, Alexander Egyed, Robert Wille
This paper presents a systematic mapping study on the model-driven engineering of safety and security concerns in systems. Integrated modeling and development of both safety and se…
Advanced Equivalence Checking for Quantum Circuits
Lukas Burgholzer, Robert Wille
Quantum computing will change the way we tackle certain problems. It promises to dramatically speed-up many chemical, financial, and machine-learning applications. However, to capi…
Approximation of Quantum States Using Decision Diagrams
Alwin Zulehner, Stefan Hillmich, Igor L. Markov +1
The computational power of quantum computers poses major challenges to new design tools since representing pure quantum states typically requires exponentially large memory. As sho…