Lukas Burgholzer
Cited by
Cited by
Mapping quantum circuits to IBM QX architectures using the minimal number of SWAP and H operations
R Wille, L Burgholzer, A Zulehner
2019 56th ACM/IEEE Design Automation Conference (DAC), 1-6, 2019
Advanced equivalence checking for quantum circuits
L Burgholzer, R Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
Improved DD-based Equivalence Checking of Quantum Circuits
L Burgholzer, R Wille
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC), 127-132, 2020
JKQ: JKU tools for quantum computing
R Wille, S Hillmich, L Burgholzer
2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 1-5, 2020
Verifying results of the IBM Qiskit quantum circuit compilation flow
L Burgholzer, R Raymond, R Wille
2020 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2020
The Power of Simulation for Equivalence Checking in Quantum Computing
L Burgholzer, R Wille
2020 57th ACM/IEEE Design Automation Conference (DAC), 2020
Random stimuli generation for the verification of quantum circuits
L Burgholzer, R Kueng, R Wille
Proceedings of the 26th Asia and South Pacific Design Automation Conference …, 2021
Arrays vs. decision diagrams: A case study on quantum circuit simulators
T Grurl, J Fuß, S Hillmich, L Burgholzer, R Wille
Int’l Symp. on Multi-Valued Logic 50, 176-181, 2020
Visualizing Decision Diagrams for Quantum Computing
R Wille, L Burgholzer, M Artner
2021 Design, Automation and Test in Europe (DATE), 2021
Efficient and correct compilation of quantum circuits
R Wille, S Hillmich, L Burgholzer
2020 IEEE International Symposium on Circuits and Systems (ISCAS), 1-5, 2020
QCEC: A JKQ tool for quantum circuit equivalence checking
L Burgholzer, R Wille
Software Impacts 7, 100051, 2021
Towards Verification of Dynamic Quantum Circuits
L Burgholzer, R Wille
arXiv preprint arXiv:2106.01099, 2021
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams
L Burgholzer, H Bauer, R Wille
arXiv preprint arXiv:2105.07045, 2021
Efficient Construction of Functional Representations for Quantum Algorithms
L Burgholzer, R Raymond, I Sengupta, R Wille
arXiv preprint arXiv:2103.08281, 2021
Characteristics of Reversible Circuits for Error Detection
L Burgholzer, R Wille, R Kueng
arXiv preprint arXiv:2012.02037, 2020
Predictive Control for Trucks
L Burgholzer
Universität Linz, 2018
The system can't perform the operation now. Try again later.
Articles 1–16