Lukas Burgholzer

94 papers A* 7A 5B 1C 3Misc 8Journal 47Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Integrating Quantum Software Tools with(in) MLIR. SCA/HPC Asia Patrick Hopf, Erick Ochoa, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026	J	`jnl`	Integrating Quantum Software Tools with(in) MLIR. CoRR Patrick Hopf, Erick Ochoa Lopez, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan-Albert Florea, Josh A. Izaac, Robert Wille, Lukas Burgholzer
2026	—	`ch.`	Quantum Computing needs Classical Software (Engineering). What if... How could quantum computing change computer science? Lukas Burgholzer
2026	—	`conf`	The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC. SCA/HPC Asia Lukas Burgholzer, Jorge Echavarria, Patrick Hopf, Yannick Stade, Damian Rovara, Ludwig Schmid, Ercüment Kaya, Burak Mete, Muhammad Nufail Farooqi, Minh Chung, Marco De Pascale, Laura Brandon Schulz, Martin Schulz, Robert Wille
2025	—	`conf`	A Framework for Debugging Quantum Programs. QSW Damian Rovara, Lukas Burgholzer, Robert Wille
2025	J	`jnl`	Forward and Backward Constrained Bisimulations for Quantum Circuits Using Decision Diagrams. ACM Trans. Quantum Comput. Lukas Burgholzer, Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone, Max Tschaikowski, Robert Wille
2025	A*	`conf`	Joint Cutting for Hybrid Schrödinger-Feynman Simulation of Quantum Circuits. DAC Laura S. Herzog, Lukas Burgholzer, Christian Ufrecht, Daniel D. Scherer, Robert Wille
2025	J	`jnl`	MQT Core: The Backbone of the Munich Quantum Toolkit (MQT). J. Open Source Softw. Lukas Burgholzer, Yannick Stade, Tom Peham, Robert Wille
2025	J	`jnl`	MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing. ACM Trans. Quantum Comput. Nils Quetschlich, Lukas Burgholzer, Robert Wille
2025	A	`conf`	Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. DATE Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2025	J	`jnl`	Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler. CoRR Yannick Stade, Lukas Burgholzer, Robert Wille
2025	—	`conf`	Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. SC Workshops Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025	J	`jnl`	Tackling the Challenges of Adding Pulse-level Support to a Heterogeneous HPCQC Software Stack: MQSS Pulse. CoRR Jorge Echavarria, Muhammad Nufail Farooqi, Amit Devra, Santana Lujan, Léo Van Damme, Hossam Ahmed, Martín Letras, Ercüment Kaya, Adrian Vetter, Max Werninghaus, Martin Knudsen, Felix Rohde, Albert Frisch, Eric Mansfield, Rakhim Davletkaliyev, Vladimir Kukushkin, Noora Färkkilä, Janne Mäntylä, Nikolas Pomplun, Andreas Spörl, Lukas Burgholzer, Yannick Stade, Robert Wille, Laura Brandon Schulz, Martin Schulz
2025	—	`conf`	Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation. SC Workshops Yannick Stade, Lukas Burgholzer, Robert Wille
2024	—	`conf`	A Software Platform to Support Disaggregated Quantum Accelerators. SC Workshops Ercüment Kaya, Jorge Echavarria, Muhammad Nufail Farooqi, Aleksandra Swierkowska, Patrick Hopf, Burak Mete, Lukas Burgholzer, Robert Wille, Laura Brandon Schulz, Martin Schulz
2024	Misc	`conf`	An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. QCE Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures. CoRR Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	Decoding quantum color codes with MaxSAT. Quantum Lucas Berent, Lukas Burgholzer, Peter-Jan H. S. Derks, Jens Eisert, Robert Wille
2024	J	`jnl`	Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator. CoRR Aaron Sander, Lukas Burgholzer, Robert Wille
2024	B	`conf`	FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array. ICPP Shui Jiang, Rongliang Fu, Lukas Burgholzer, Robert Wille, Tsung-Yi Ho, Tsung-Wei Huang
2024	J	`jnl`	MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing. CoRR Kevin Mato, Martin Ringbauer, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers. CoRR Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
2024	Misc	`conf`	QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack. QCE Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Brandon Schulz, Lukas Burgholzer
2024	—	`conf`	Stripping Quantum Decision Diagrams of their Identity. QSW Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
2024	J	`jnl`	Stripping Quantum Decision Diagrams of their Identity. CoRR Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
2024	—	`conf`	The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing. QSW 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, Lukas Burgholzer
2024	J	`jnl`	The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing. CoRR 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, Lukas Burgholzer
2024	—	`conf`	Towards Application-Aware Quantum Circuit Compilation. QSW Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrío, Lukas Burgholzer, André Luckow, Robert Wille
2024	J	`jnl`	Towards Supporting QIR: Thoughts on Adopting the Quantum Intermediate Representation. CoRR Yannick Stade, Lukas Burgholzer, Robert Wille
2023	Misc	`conf`	A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem. QCE Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
2023	—	`conf`	A SAT Encoding for Optimal Clifford Circuit Synthesis. ASP-DAC Sarah Schneider, Lukas Burgholzer, Robert Wille
2023	A*	`conf`	Compiler Optimization for Quantum Computing Using Reinforcement Learning. DAC Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	Misc	`conf`	Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023	J	`jnl`	Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
2023	—	`ch.`	Entwurfsautomatisierungs-Tools und Software für Quantencomputing. Ausgezeichnete Informatikdissertationen Lukas Burgholzer
2023	—	`conf`	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. ASP-DAC Tom Peham, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences. ASP-DAC Lukas Burgholzer, Robert Wille
2023	J	`jnl`	MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. Quantum Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	MQT QMAP: Efficient Quantum Circuit Mapping. ISPD Robert Wille, Lukas Burgholzer
2023	J	`jnl`	MQT QMAP: Efficient Quantum Circuit Mapping. CoRR Robert Wille, Lukas Burgholzer
2023	J	`jnl`	On Optimal Subarchitectures for Quantum Circuit Mapping. ACM Trans. Quantum Comput. Tom Peham, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Predicting Good Quantum Circuit Compilation Options. QSW Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. QSW Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz
2023	Misc	`conf`	Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level. QCE Nils Quetschlich, Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lukas Burgholzer, Alexander Ploier, Robert Wille
2023	—	`conf`	Software Tools for Decoding Quantum Low-Density Parity-Check Codes. ASP-DAC Lucas Berent, Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation. CoRR Lukas Burgholzer, Alexander Ploier, Robert Wille
2023	J	`jnl`	The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus. CoRR Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2023	Misc	`conf`	Towards Hamiltonian Simulation with Decision Diagrams. QCE Aaron Sander, Lukas Burgholzer, Robert Wille
2023	J	`jnl`	Towards Hamiltonian Simulation with Decision Diagrams. CoRR Aaron Sander, Lukas Burgholzer, Robert Wille
2023	—	`conf`	Towards an Automated Framework for Realizing Quantum Computing Solutions. ISMVL Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	A SAT Encoding for Optimal Clifford Circuit Synthesis. CoRR Sarah Schneider, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Characteristics of reversible circuits for error detection. Array Lukas Burgholzer, Robert Wille, Richard Kueng
2022	J	`jnl`	Compiler Optimization for Quantum Computing Using Reinforcement Learning. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Equivalence Checking of Parameterized Quantum Circuits: Verifying the Compilation of Variational Quantum Algorithms. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Equivalence Checking of Quantum Circuits With the ZX-Calculus. IEEE J. Emerg. Sel. Topics Circuits Syst. Tom Peham, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Equivalence Checking of Quantum Circuits with the ZX-Calculus. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	A*	`conf`	Equivalence checking paradigms in quantum circuit design: a case study. DAC Tom Peham, Lukas Burgholzer, Robert Wille
2022	A	`conf`	Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams. DATE Lukas Burgholzer, Alexander Ploier, Robert Wille
2022	A*	`conf`	Handling non-unitaries in quantum circuit equivalence checking. DAC Lukas Burgholzer, Robert Wille
2022	—	`conf`	Limiting the Search Space in Optimal Quantum Circuit Mapping. ASP-DAC Lukas Burgholzer, Sarah Schneider, Robert Wille
2022	J	`jnl`	MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	On Optimal Subarchitectures for Quantum Circuit Mapping. CoRR Tom Peham, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Predicting Good Quantum Circuit Compilation Options. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2022	C	`conf`	Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think. RC Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
2022	J	`jnl`	Simulation Paths for Quantum Circuit Simulation with Decision Diagrams. CoRR Lukas Burgholzer, Alexander Ploier, Robert Wille
2022	J	`jnl`	Software Tools for Decoding Quantum Low-Density Parity Check Codes. CoRR Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. CoRR Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
2022	J	`jnl`	SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Softw. Impacts Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille
2022	A*	`conf`	The basis of design tools for quantum computing: arrays, decision diagrams, tensor networks, and ZX-calculus. DAC Robert Wille, Lukas Burgholzer, Stefan Hillmich, Thomas Grurl, Alexander Ploier, Tom Peham
2022	J	`jnl`	Tools for Quantum Computing Based on Decision Diagrams. ACM Trans. Quantum Comput. Robert Wille, Stefan Hillmich, Lukas Burgholzer
2022	A	`conf`	Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. SAT Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond. CoRR Lucas Berent, Lukas Burgholzer, Robert Wille
2022	J	`jnl`	Towards an Automated Framework for Realizing Quantum Computing Solutions. CoRR Nils Quetschlich, Lukas Burgholzer, Robert Wille
2021	J	`jnl`	Advanced Equivalence Checking for Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lukas Burgholzer, Robert Wille
2021	C	`conf`	Efficient Construction of Functional Representations for Quantum Algorithms. RC Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
2021	J	`jnl`	Efficient Construction of Functional Representations for Quantum Algorithms. CoRR Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
2021	Misc	`conf`	Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. QCE Lukas Burgholzer, Hartwig Bauer, Robert Wille
2021	J	`jnl`	Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams. CoRR Lukas Burgholzer, Hartwig Bauer, Robert Wille
2021	J	`jnl`	Limiting the Search Space in Optimal Quantum Circuit Mapping. CoRR Lukas Burgholzer, Sarah Schneider, Robert Wille
2021	J	`jnl`	QCEC: A JKQ tool for quantum circuit equivalence checking. Softw. Impacts Lukas Burgholzer, Robert Wille
2021	—	`conf`	Random Stimuli Generation for the Verification of Quantum Circuits. ASP-DAC Lukas Burgholzer, Richard Kueng, Robert Wille
2021	J	`jnl`	Towards Verification of Dynamic Quantum Circuits. CoRR Lukas Burgholzer, Robert Wille
2021	A	`conf`	Visualizing Decision Diagrams for Quantum Computing (Special Session Summary). DATE Robert Wille, Lukas Burgholzer, Michael Artner
2020	J	`jnl`	Advanced Equivalence Checking for Quantum Circuits. CoRR Lukas Burgholzer, Robert Wille
2020	—	`conf`	Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. ISMVL Thomas Grurl, Jürgen Fuß, Stefan Hillmich, Lukas Burgholzer, Robert Wille
2020	J	`jnl`	Characteristics of Reversible Circuits for Error Detection. CoRR Lukas Burgholzer, Robert Wille, Richard Kueng
2020	C	`conf`	Efficient and Correct Compilation of Quantum Circuits. ISCAS Robert Wille, Stefan Hillmich, Lukas Burgholzer
2020	—	`conf`	Improved DD-based Equivalence Checking of Quantum Circuits. ASP-DAC Lukas Burgholzer, Robert Wille
2020	A	`conf`	JKQ: JKU Tools for Quantum Computing. ICCAD Robert Wille, Stefan Hillmich, Lukas Burgholzer
2020	J	`jnl`	Random Stimuli Generation for the Verification of Quantum Circuits. CoRR Lukas Burgholzer, Richard Kueng, Robert Wille
2020	A*	`conf`	The Power of Simulation for Equivalence Checking in Quantum Computing. DAC Lukas Burgholzer, Robert Wille
2020	Misc	`conf`	Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow. QCE Lukas Burgholzer, Rudy Raymond, Robert Wille
2019	A*	`conf`	Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations. DAC Robert Wille, Lukas Burgholzer, Alwin Zulehner