Publications
The QuaST project has produced a number of publications. An overview can be found here.
| Date | Publication | |
|---|---|---|
2025 |
Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille Design, Automation & Test in Europe Conference (DATE) |
|
2025 |
Towards Classical Software Verification using Quantum Computers Sebastian Issel, Kilian Tscharke, Pascal Debus International Conference on Quantum Communications, Networking, and Computing (QCNC) |
|
2025 |
Systematic benchmarking of quantum computers: status and recommendations Jeanette Miriam Lorenz, Thomas Monz, Jens Eisert, Daniel Reitzner, Félicien Schopfer, Frédéric Barbaresco, Krzysztof Kurowski, Ward van der Schoot, Thomas Strohm, Jean Senellart, Cécile M. Perrault, Martin Knufinke, Ziyad Amodjee, Mattia Giardini arXiv:2503.04905 |
|
2025 |
Scalability Challenges in Variational Quantum Optimization under Stochastic Noise Adelina Bärligea, Benedikt Poggel, Jeanette Miriam Lorenz arXiv:2503.14696 |
|
2025 |
Improving Figures of Merit for Quantum Circuit Compilation Patrick Hopf, Nils Quetschlich, Laura Schulz, Robert Wille Design, Automation & Test in Europe Conference (DATE) |
|
2025 |
Nils Quetschlich, Lukas Burgholzer, Robert Wille ACM Transactions on Quantum Computing |
|
2025 |
Enhancing Quantum Algorithms for Quadratic Unconstrained Binary Optimization via Integer Programming Friedrich Wagner, Jonas Nüßlein, Frauke Liers ACM Transactions on Quantum Computing |
|
2025 |
Volumetric Denoising of XCT Data Using Quantum Computing Thomas Lang, Anja Heim, Anastasia Papadaki, Kilian Dremel, Dimitri Prjamkov, Martin Blaimer, Markus Firsching, Stefan Kasperl, Theobald Fuchs E-Journal of Nondestructive Testing |
|
2024 |
Hybrid Meta-Solving for Practical Quantum Computing Domenik Eichhorn, Maximilian Schweikart, Nick Poser, Frederik Fiand, Benedikt Poggel, Jeanette Miriam Lorenz arXiv:2405.09115 |
|
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, Lukas Burgholzer IEEE International Conference on Quantum Software (QSW) |
|
2024 |
Towards Equivalence Checking of Classical Circuits Using Quantum Computing Nils Quetschlich, Tobias Forster, Adrian Osterwind, Domenik Helms, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2024 |
Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille IEEE International Conference on Quantum Software (QSW) |
|
2024 |
A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2024 |
A Framework to Formulate Pathfinding Problems for Quantum Computing Deborah Rovara, Nils Quetschlich, Robert Wille arXiv:2404.10820 |
|
2024 |
Automatically Refining Assertions for Efficient Debugging of Quantum Programs Deborah Rovara, Lukas Burgholzer, Robert Wille arXiv:2412.14252 |
|
2024 |
A Framework for Debugging Quantum Programs Deborah Rovara, Lukas Burgholzer, Robert Wille arXiv:2412.12269 |
|
2024 |
Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe PRX Quantum |
|
2024 |
Decoding quantum color codes with MaxSAT Lucas Berent, Lukas Burgholzer, Peter-Jan H.S. Derks, Jens Eisert, Robert Wille Quantum |
|
2024 |
Efficient Encodings of the Travelling Salesperson Problem for Variational Quantum Algorithms Manuel Schnaus, Lilly Palackal, Benedikt Poggel, Xiomara Runge, Hans Ehm, Jeanette Miriam Lorenz, Christian B. Mendl IEEE International Conference on Quantum Software (QSW) |
|
2024 |
Restricted global optimization for QAOA Peter Gleißner, Georg Kruse, Andreas Roßkopf APL Quantum |
|
2024 |
SCIM MILQ: An HPC Quantum Scheduler Philipp Seitz, Manuel Geiger, Christian Ufrecht, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Christian B. Mendl IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2024 |
Towards Application-Aware Quantum Circuit Compilation Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrio, Lukas Burgholzer, Andre Luckow, Robert Wille IEEE International Conference on Quantum Software (QSW) |
|
2024 |
Utilizing Resource Estimation for the Development of Quantum Computing Applications Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2024 |
Creating Automated Quantum-Assisted Solutions for Optimization Problems Benedikt Poggel, Xiomara Runge, Adelina Bärligea, Jeanette Miriam Lorenz arXiv:2409.20496 |
|
2024 |
Quantum and classical correlations in shrinking algorithms for optimization Victor Fischer, Maximilian Passek, Friedrich Wagner, Jernej Rudi Finzgar, Lilly Palackal, Christian B. Mendl arXiv:2404.17242 |
|
2024 |
Improving Quantum and Classical Decomposition Methods for Vehicle Routing Laura S. Herzog, Friedrich Wagner, Christian Ufrecht |
|
2024 |
Representation of Classical Data on Quantum Computers Thomas Lang, Anja Heim, Kilian Dremel, Dimitri Prjamkov, Martin Blaimer, Markus Firsching, Anastasia Papadaki, Stefan Kasperl, Theobald Fuchs arXiv:2410.00742 |
|
2024 |
Performance of Parity QAOA for the Signed Max-Cut Problem Anita Weidinger, Glen Bigan Mbeng, Michael Fellner, Davit Khachatryan, Wolfgang Lechner arXiv:2409.14786 |
|
2024 |
Missing Puzzle Pieces in the Performance Landscape of the Quantum Approximate Optimization Algorithm Elisabeth Wybo, Martin Leib arXiv:2406.14618 |
|
2024 |
Elisabeth Wybo, Martin Leib Quantum |
|
2023 |
Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept Michael Artner, Günter Wallner, Robert Wille International Conference on the Foundations of Digital Games |
|
2023 |
Towards an Automated Framework for Realizing Quantum Computing Solutions Nils Quetschlich, Lukas Burgholzer, Robert Wille IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
|
2023 |
A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2023 |
Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level Nils Quetschlich, Lukas Burgholzer, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2023 |
On Optimal Subarchitectures for Quantum Circuit Mapping Tom Peham, Lukas Burgholzer, Robert Wille ACM Transactions on Quantum Computing |
|
2023 |
MQT QMAP: Efficient Quantum Circuit Mapping Robert Wille, Lukas Burgholzer International Symposium on Physical Design |
|
2023 |
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2023 |
A SAT Encoding for Optimal Clifford Circuit Synthesis |
|
2023 |
Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing Thomas Grurl, Christoph Pichler, Jürgen Fuß, Robert Wille VLSI Design and Embedded Systems (VLSID) |
|
2023 |
Software Tools for Decoding Quantum Low-Density Parity-Check Codes Lucas Berent, Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference |
|
|
Quantum-Assisted Solution Paths for the Capacitated Vehicle Routing Problem Lilly Palackal, Benedikt Poggel, Matthias Wulff, Hans Ehm, Jeanette Miriam Lorenz, Christian B. Mendl IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2023 |
Tom Peham, Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
2023 |
Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences Lukas Burgholzer, Robert Wille Asia and South Pacific Design Automation Conference (ASP-DAC) |
|
2023 |
Thomas Grurl, Jürgen Fuß, Robert Wille IEEE International Symposium on Multiple-Valued Logic (ISMVL) |
|
2023 |
Towards Hamiltonian Simulation with Decision Diagrams Aaron Sander, Lukas Burgholzer, Robert Wille IEEE International Conference on Quantum Computing and Engineering (QCE) |
|
2023 |
Noise-Aware Quantum Circuit Simulation With Decision Diagrams Thomas Grurl, Jürgen Fuß, Robert Wille IEEE Transactions on Computer-Aided Design |
|
| 2023 | Compiler Optimization for Quantum Computing Using Reinforcement Learning Nils Quetschlich, Lukas Burgholzer, Robert Wille ACM/IEEE Design Automation Conference (DAC) |
|
2023 |
Predicting Good Quantum Circuit Compilation Options Nils Quetschlich, Lukas Burgholzer, Robert Wille IEEE International Conference on Quantum Software (QSW) |
|
2023 |
MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing Nils Quetschlich, Lukas Burgholzer, Robert Wille Quantum |
|
2023 |
Cutting multi-control quantum gates with ZX calculus Christian Ufrecht, Maniraman Periyasamy, Sebastian Rietsch, Daniel D. Scherer, Axel Plinge, Christopher Mutschler Quantum |
|
2023 |
Recommending Solution Paths for Solving Optimization Problems with Quantum Computing Benedikt Poggel, Nils Quetschlich, Lukas Burgholzer, Robert Wille, Jeanette Miriam Lorenz IEEE International Conference on Quantum Software (QSW) |
|
2023 |
N-Dimensional Image Encoding on Quantum Computers Simon Semmler, Kilian Dremel, Daniel Suth, Thomas Lang, Melanie Basting, Markus Firsching, Theobald Fuchs, Stefan Kasperl, Dimitri Prjamkov, Mareike Weule, Richard Schielein E-Journal of Nondestructive Testing |
|
2023 |
Encoding-Independent Optimization Problem Formulation for Quantum Computing Federico Dominguez, Josua Unger, Matthias Traube, Barry Mant, Christian Ertler, Wolfgang Lechner Frontiers in Quantum Science and Technology |
|
2022 |
Simulation Paths for Quantum Circuit Simulation With Decision Diagrams Lukas Burgholzer, Alexander Ploier, Robert Wille IEEE Transactions on Computer-Aided Design |
|
2022 |
SyReC Synthesizer: An MQT tool for synthesis of reversible circuits Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, Robert Wille Software Impacts |
|
2022 |
Equivalence Checking of Quantum Circuits With the ZX-Calculus Tom Peham, Lukas Burgholzer, Robert Wille IEEE Journal on Emerging and Selected Topics in Circuits and Systems |
|
2022 |
Equivalence checking paradigms in quantum circuit design: a case study Tom Peham, Lukas Burgholzer, Robert Wille ACM/IEEE Design Automation Conference |
|
2022 |
Handling non-unitaries in quantum circuit equivalence checking Lukas Burgholzer, Robert Wille ACM/IEEE Design Automation Conference |
|
2022 |
Predicting the Optimizability for Workflow Decisions Burak Mete, Martin Schulz, Martin Ruefenacht IEEE/ACM International Workshop on Quantum Computing Software (QCS |
|
2022 |
Optimal joint cutting of two-qubit rotation gates Christian Ufrecht, Laura S. Herzog, Daniel D. Scherer, Maniraman Periyasamy, Sebastian Rietsch, Axel Plinge, Christopher Mutschler Physical Review A |