| 2026 | DATE | Focus Session Paper: The MQT Compiler Collection : A Blueprint for a Future-Proof Quantum-Classical Compilation Framework. | Lukas Burgholzer, Daniel Haag, Yannick Stade, Damian Rovara, Patrick Hopf, Robert Wille |
| 2026 | DATE | Quantum Circuit Compilation for Superconducting Bus-Resonator Architectures. | Patrick Hopf, Lukas Burgholzer, Robert Wille |
| 2026 | DATE | Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations. | Damian Rovara, Lukas Burgholzer, Robert Wille |
| 2026 | DATE | The Munich Quantum Software Company: Developing Production-ready Quantum Computing Software. | Robert Wille, Marcel Walter, Simon Toni Hofmann, Patrick Hopf, Marc Messing, Lukas Burgholzer |
| 2025 | DAC | Joint Cutting for Hybrid Schrdinger-Feynman Simulation of Quantum Circuits. | Laura S. Herzog, Lukas Burgholzer, Christian Ufrecht, Daniel D. Scherer, Robert Wille |
| 2025 | DATE | Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. | Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille |
| 2025 | QCE | Automatically Refining Assertions for Efficient Debugging of Quantum Programs. | Damian Rovara, Lukas Burgholzer, Robert Wille |
| 2025 | SC | Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. | Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Lo Van Damme, Hossam Ahmed, Martn Letras, Ercment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Frkkil, Janne Mntyl, Nikolas Pomplun, Andreas Sprl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz |
| 2025 | SC | Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. | Yannick Stade, Lukas Burgholzer, Robert Wille |
| 2024 | ICPP | 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 |
| 2024 | QCE | An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. | Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille |
| 2024 | QCE | QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. | Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer |
| 2024 | SC | A Software Platform to Support Disaggregated Quantum Accelerators. | Ercment Kaya, Jorge Echavarria, Muhammad Nufail Farooqi, Aleksandra Swierkowska, Patrick Hopf, Burak Mete, Lukas Burgholzer, Robert Wille, Laura Brandon Schulz, Martin Schulz |
| 2023 | ASPDAC | Software Tools for Decoding Quantum Low-Density Parity-Check Codes. | Lucas Berent, Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. | Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2023 | ASPDAC | A SAT Encoding for Optimal Clifford Circuit Synthesis. | Sarah Schneider, Lukas Burgholzer, Robert Wille |
| 2023 | DAC | Compiler Optimization for Quantum Computing Using Reinforcement Learning. | Nils Quetschlich, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. | Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer |
| 2023 | QCE | Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. | Nils Quetschlich, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. | Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille |
| 2023 | QCE | Towards Hamiltonian Simulation with Decision Diagrams. | Aaron Sander, Lukas Burgholzer, Robert Wille |
| 2022 | ASPDAC | Limiting the Search Space in Optimal Quantum Circuit Mapping. | Lukas Burgholzer, Sarah Schneider, Robert Wille |
| 2022 | DAC | Handling non-unitaries in quantum circuit equivalence checking. | Lukas Burgholzer, Robert Wille |
| 2022 | DAC | Equivalence checking paradigms in quantum circuit design: a case study. | Tom Peham, Lukas Burgholzer, Robert Wille |
| 2022 | DAC | 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 |
| 2022 | DATE | Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. | Lukas Burgholzer, Alexander Ploier, Robert Wille |
| 2022 | RC | Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. | Stefan Hillmich, Lukas Burgholzer, Florian Stgmller, Robert Wille |
| 2022 | SAT | Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. | Lucas Berent, Lukas Burgholzer, Robert Wille |
| 2021 | ASPDAC | Random Stimuli Generation for the Verification of Quantum Circuits. | Lukas Burgholzer, Richard Kueng, Robert Wille |
| 2021 | DATE | Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). | Robert Wille, Lukas Burgholzer, Michael Artner |
| 2021 | QCE | Hybrid Schrdinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. | Lukas Burgholzer, Hartwig Bauer, Robert Wille |
| 2021 | RC | Efficient Construction of Functional Representations for Quantum Algorithms. | Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille |
| 2020 | ASPDAC | Improved DD-based Equivalence Checking of Quantum Circuits. | Lukas Burgholzer, Robert Wille |
| 2020 | DAC | The Power of Simulation for Equivalence Checking in Quantum Computing. | Lukas Burgholzer, Robert Wille |
| 2020 | ICCAD | JKQ: JKU Tools for Quantum Computing. | Robert Wille, Stefan Hillmich, Lukas Burgholzer |
| 2020 | ISCAS | Efficient and Correct Compilation of Quantum Circuits. | Robert Wille, Stefan Hillmich, Lukas Burgholzer |
| 2020 | QCE | Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. | Lukas Burgholzer, Rudy Raymond, Robert Wille |
| 2019 | DAC | Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. | Robert Wille, Lukas Burgholzer, Alwin Zulehner |