Publications

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2021). Tools for Quantum Computing Based on Decision Diagrams. ACM Transactions on Quantum Computing (TQC).

PDF DDSIM QCEC DDVis Online-Tool

Lukas Burgholzer, Hartwig Bauer, Robert Wille (2021). Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. International Conference on Quantum Computing and Engineering.

PDF Code arXiv

Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille (2021). Efficient Construction of Functional Representations for Quantum Algorithms. Conference on Reversible Computation.

PDF Code arXiv

Robert Wille, Lukas Burgholzer, Michael Artner (2021). Visualizing Decision Diagrams for Quantum Computing. Design, Automation and Test in Europe.

PDF Online-Tool Code

Lukas Burgholzer, Robert Wille (2021). QCEC: A JKQ tool for quantum circuit equivalence checking. Software Impacts.

PDF Code Elsevier

Lukas Burgholzer, Richard Kueng, Robert Wille (2021). Random Stimuli Generation for the Verification of Quantum Circuits. Asia and South Pacific Design Automation Conference.

PDF Code arXiv

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

PDF Code arXiv

Lukas Burgholzer, Robert Wille, Richard Kueng (2020). Characteristics of Reversible Circuits for Error Detection. arXiv:2012.02037 [cs.ar].

PDF arXiv

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2020). JKQ: JKU Tools for Quantum Computing. International Conference on Computer Aided Design (ICCAD).

PDF Code

Lukas Burgholzer, Rudy Raymond, Robert Wille (2020). Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. International Conference on Quantum Computing and Engineering.

PDF Code arXiv

Robert Wille, Stefan Hillmich, Lukas Burgholzer (2020). Efficient and Correct Compilation of Quantum Circuits. IEEE International Symposium on Circuits and Systems.

PDF Mapping Code Verification Code

Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille (2020). Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. International Symposium on Multi-Valued Logic.

PDF

Lukas Burgholzer, Robert Wille (2020). The Power of Simulation for Equivalence Checking in Quantum Computing. Design Automation Conference.

PDF Code

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

PDF Code

Robert Wille, Lukas Burgholzer, Alwin Zulehner (2019). Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. Design Automation Conference.

PDF Code arXiv