Lukas Burgholzer
Lukas Burgholzer
Home
Publications
Software
Accomplishments
Light
Dark
Automatic
Robert Wille
Latest
Equivalence Checking of Quantum Circuits with the ZX-Calculus
A SAT Encoding for Optimal Clifford Circuit Synthesis
Simulation Paths for Quantum Circuit Simulation with Decision Diagrams
Towards a SAT Encoding for Quantum Circuits
Equivalence Checking Paradigms in Quantum Circuit Design
Handling Non-Unitaries in Quantum Circuit Equivalence Checking
The Basis of Design Tools for Quantum Computing
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think
MQT Bench
Characteristics of Reversible Circuits for Error Detection
Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams
Limiting the Search Space in Optimal Quantum Circuit Mapping
Tools for Quantum Computing Based on Decision Diagrams
Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams
Efficient Construction of Functional Representations for Quantum Algorithms
QCEC: A JKQ tool for quantum circuit equivalence checking
Visualizing Decision Diagrams for Quantum Computing
Advanced Equivalence Checking for Quantum Circuits
Random Stimuli Generation for the Verification of Quantum Circuits
JKQ: JKU Tools for Quantum Computing
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Efficient and Correct Compilation of Quantum Circuits
Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators
The Power of Simulation for Equivalence Checking in Quantum Computing
Improved DD-based Equivalence Checking of Quantum Circuits
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
Cite
×