Publications

Lukas Burgholzer, Alexander Ploier, Robert Wille (2022). Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. Design, Automation and Test in Europe.

PDF Cite Code

Lukas Burgholzer, Sarah Schneider, Robert Wille (2022). Limiting the Search Space in Optimal Quantum Circuit Mapping. Asia and South Pacific Design Automation Conference.

PDF Cite Code

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

PDF Cite 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 Cite Code arXiv

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

PDF Cite Code arXiv

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

PDF Cite Online-Tool Code

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

PDF Cite 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 Cite 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 Cite Code arXiv

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

PDF Cite arXiv

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

PDF Cite 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 Cite Code arXiv

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

PDF Cite 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 Cite

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

PDF Cite Code

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

PDF Cite 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 Cite Code arXiv