Publications

(2022). Equivalence Checking of Quantum Circuits with the ZX-Calculus. Journal of Emerging and Selected Topics in Circuits and Systems.

PDF Cite Code

(2022). Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems.

PDF Cite Code arXiv

(2022). Towards a SAT Encoding for Quantum Circuits. In International Conference on Theory and Applications of Satisfiability Testing.

PDF Cite Code arXiv

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

PDF Cite Code arXiv

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

PDF Cite Code

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

PDF Cite Slides Code