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

Improved DD-based Equivalence Checking of Quantum Circuits. - Lukas Burgholzer; Robert Wille (ASP-DAC, 2020)

The Power of Simulation for Equivalence Checking in Quantum Computing. - Lukas Burgholzer; Robert Wille (DAC, 2020)

JKQ: JKU Tools for Quantum Computing. - Robert Wille; Stefan Hillmich; Lukas Burgholzer (ICCAD, 2020)

Efficient and Correct Compilation of Quantum Circuits. - Robert Wille; Stefan Hillmich; Lukas Burgholzer (ISCAS, 2020)

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

Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. - Lukas Burgholzer; Rudy Raymond; Robert Wille (QCE, 2020)

Random Stimuli Generation for the Verification of Quantum Circuits. - Lukas Burgholzer; Richard Kueng; Robert Wille (ASP-DAC, 2021)

Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). - Robert Wille; Lukas Burgholzer; Michael Artner (DATE, 2021)

Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. - Lukas Burgholzer; Hartwig Bauer; Robert Wille (QCE, 2021)

Efficient Construction of Functional Representations for Quantum Algorithms. - Lukas Burgholzer; Rudy Raymond; Indranil Sengupta 001; Robert Wille (RC, 2021)

Towards Verification of Dynamic Quantum Circuits. - Lukas Burgholzer; Robert Wille (CoRR, 2021)

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

Advanced Equivalence Checking for Quantum Circuits. - Lukas Burgholzer; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2021)

Limiting the Search Space in Optimal Quantum Circuit Mapping. - Lukas Burgholzer; Sarah Schneider; Robert Wille (ASP-DAC, 2022)

Handling non-unitaries in quantum circuit equivalence checking. - Lukas Burgholzer; Robert Wille (DAC, 2022)

Equivalence checking paradigms in quantum circuit design: a case study. - Tom Peham; Lukas Burgholzer; Robert Wille (DAC, 2022)

The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. - Robert Wille; Lukas Burgholzer; Stefan Hillmich; Thomas Grurl; Alexander Ploier; Tom Peham (DAC, 2022)

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. - Lukas Burgholzer; Alexander Ploier; Robert Wille (DATE, 2022)

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. - Stefan Hillmich; Lukas Burgholzer; Florian Stögmüller; Robert Wille (RC, 2022)

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. - Lucas Berent; Lukas Burgholzer; Robert Wille (SAT, 2022)

Characteristics of reversible circuits for error detection. - Lukas Burgholzer; Robert Wille; Richard Kueng (Array, 2022)

Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. - Lukas Burgholzer; Alexander Ploier; Robert Wille (CoRR, 2022)

On Optimal Subarchitectures for Quantum Circuit Mapping. - Tom Peham; Lukas Burgholzer; Robert Wille (CoRR, 2022)

Equivalence Checking of Quantum Circuits With the ZX-Calculus. - Tom Peham; Lukas Burgholzer; Robert Wille (IEEE J. Emerg. Sel. Topics Circuits Syst., 2022)

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. - Smaran Adarsh; Lukas Burgholzer; Tanmay Manjunath; Robert Wille (Softw. Impacts, 2022)

Software Tools for Decoding Quantum Low-Density Parity-Check Codes. - Lucas Berent; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. - Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. - Tom Peham; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

A SAT Encoding for Optimal Clifford Circuit Synthesis. - Sarah Schneider; Lukas Burgholzer; Robert Wille (ASP-DAC, 2023)

Compiler Optimization for Quantum Computing Using Reinforcement Learning. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (DAC, 2023)

Towards an Automated Framework for Realizing Quantum Computing Solutions. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (ISMVL, 2023)

MQT QMAP: Efficient Quantum Circuit Mapping. - Robert Wille; Lukas Burgholzer (ISPD, 2023)

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. - Tom Peham; Nina Brandl; Richard Kueng; Robert Wille; Lukas Burgholzer (QCE, 2023)

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (QCE, 2023)

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. - Nils Quetschlich; Vincent Koch; Lukas Burgholzer; Robert Wille (QCE, 2023)

Towards Hamiltonian Simulation with Decision Diagrams. - Aaron Sander; Lukas Burgholzer; Robert Wille (QCE, 2023)

Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. - Benedikt Poggel; Nils Quetschlich; Lukas Burgholzer; Robert Wille; Jeanette Miriam Lorenz (QSW, 2023)

Predicting Good Quantum Circuit Compilation Options. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (QSW, 2023)

Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. - Lukas Burgholzer; Alexander Ploier; Robert Wille (CoRR, 2023)

Entwurfsautomatisierungs-Tools und Software für Quantencomputing. - Lukas Burgholzer (Ausgezeichnete Informatikdissertationen, 2023)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2023)

Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. - Lukas Burgholzer; Alexander Ploier; Robert Wille (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. - Nils Quetschlich; Lukas Burgholzer; Robert Wille (Quantum, 2023)

FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. - Shui Jiang; Rongliang Fu; Lukas Burgholzer; Robert Wille; Tsung-Yi Ho; Tsung-Wei Huang (ICPP, 2024)

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (QCE, 2024)

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. - Robert Wille; Ludwig Schmid; Yannick Stade; Jorge Echavarria; Martin Schulz 001; Laura Brandon Schulz; Lukas Burgholzer (QCE, 2024)

Towards Application-Aware Quantum Circuit Compilation. - Nils Quetschlich; Florian J. Kiwit; Maximilian A. Wolf; Carlos A. Riofrío; Lukas Burgholzer; André Luckow; Robert Wille (QSW, 2024)

Stripping Quantum Decision Diagrams of their Identity. - Aaron Sander; Ioan-Albert Florea; Lukas Burgholzer; Robert Wille (QSW, 2024)

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. - Robert Wille; Lucas Berent; Tobias Forster; Jagatheesan Kunasaikaran; Kevin Mato; Tom Peham; Nils Quetschlich; Damian Rovara; Aaron Sander; Ludwig Schmid; Daniel Schönberger; Yannick Stade; et al. (QSW, 2024)

A Software Platform to Support Disaggregated Quantum Accelerators. - Ercüment Kaya; Jorge Echavarria; Muhammad Nufail Farooqi; Aleksandra Swierkowska; Patrick Hopf; Burak Mete; Lukas Burgholzer; Robert Wille; Laura Brandon Schulz; Martin Schulz 001 (SC Workshops, 2024)

Dataset containing raw threshold and runtime simulation data for a paper evaluation on decoding quantum color codes. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Zenodo, 2024)

MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. - Kevin Mato; Martin Ringbauer; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. - Aaron Sander; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. - Yannick Stade; Lukas Burgholzer; Robert Wille (CoRR, 2024)

Decoding quantum color codes with MaxSAT. - Lucas Berent; Lukas Burgholzer; Peter-Jan H. S. Derks; Jens Eisert; Robert Wille (Quantum, 2024)

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. - Yannick Stade; Ludwig Schmid; Lukas Burgholzer; Robert Wille (DATE, 2025)

MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). - Lukas Burgholzer; Yannick Stade; Tom Peham; Robert Wille (J. Open Source Softw., 2025)