Publications

(2021). Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing (TQC).

PDF DDSIM QCEC DDVis Online-Tool

(2021). Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. International Conference on Quantum Computing and Engineering.

PDF Code arXiv

(2021). Efficient Construction of Functional Representations for Quantum Algorithms. Conference on Reversible Computation.

PDF Code arXiv

(2021). Visualizing Decision Diagrams for Quantum Computing. Design, Automation and Test in Europe.

PDF Online-Tool Code

(2021). Random Stimuli Generation for the Verification of Quantum Circuits. Asia and South Pacific Design Automation Conference.

PDF Code arXiv

(2021). Advanced Equivalence Checking for Quantum Circuits. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD).

PDF Code arXiv

(2020). Characteristics of Reversible Circuits for Error Detection. arXiv:2012.02037 [cs.ar].

PDF arXiv

(2020). JKQ: JKU Tools for Quantum Computing. International Conference on Computer Aided Design (ICCAD).

PDF Code

(2020). Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. International Conference on Quantum Computing and Engineering.

PDF Code arXiv

(2020). Efficient and Correct Compilation of Quantum Circuits. IEEE International Symposium on Circuits and Systems.

PDF Mapping Code Verification Code

(2020). Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. International Symposium on Multi-Valued Logic.

PDF

(2020). Improved DD-based Equivalence Checking of Quantum Circuits. Asia and South Pacific Design Automation Conference.

PDF Code