Design Automation for Quantum Computing

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

QDMI - Quantum Device Management Interface: Hardware-Software Interface for the Munich Quantum Software Stack

Autoren: Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Schulz, Lukas Burgholzer
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 573-574
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.10411

Guiding Compiler Optimizations for Neutral Atom Quantum Computers Through Visualizations

Autoren: Yannick Stade, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2608.04081

An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures

Autoren: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 784-795
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.00098

Alternating ZX Circuit Extraction for Hardware-Adaptive Compilation

Autoren: Ludwig Schmid, Korbinian Staudacher, Robert Wille
Veröffentlicht in: 2026 Design, Automation &amp; Test in Europe Conference (DATE), 2026, Seite(n) 1-7
Herausgeber: IEEE
DOI: 10.23919/date69613.2026.11539068

Towards a SAT Encoding for Quantum Circuits: A Journey From Classical Circuits to Clifford Circuits and Beyond

Autoren: Lucas Berent, Lukas Burgholzer, Robert Wille
Veröffentlicht in: International Conference on Theory and Applications of Satisfiability Testing (SAT), 2022
Herausgeber: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2022.18

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Autoren: Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Veröffentlicht in: Model Checking Software: 29th International Symposium, 2023
Herausgeber: ACM
DOI: 10.1007/978-3-031-32157-3_1

Software Tools for Decoding Quantum Low-Density Parity-Check Codes

Autoren: Lucas Berent; Lukas Burgholzer; Robert Wille
Veröffentlicht in: Asia and South Pacific Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1145/3566097.3567934

The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing

Autoren: 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
Veröffentlicht in: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Seite(n) 1-8
Herausgeber: IEEE
DOI: 10.1109/qsw62656.2024.00013

Scalable Circuit Cutting: A Framework for Combined Gate and Wire Cuts Using Gate Groups

Autoren: Fiona Jiali Fröhler, Yannick Stade, Christian Ufrecht, Daniel D. Scherer, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2608.05287

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Autoren: Mato, Kevin; Ringbauer, Martin; Hillmich, Stefan; Wille, Robert
Veröffentlicht in: Asia and South Pacific Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1145/3566097.3567930

Minimizing the Number of Code Switching Operations in Fault-Tolerant Quantum Circuits

Autoren: Erik Weilandt, Tom Peham, Robert Wille
Veröffentlicht in: Design Automation Conference (DAC), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2512.04170

Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers

Autoren: Ludwig Schmid, Sunghye Park, Robert Wille
Veröffentlicht in: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Seite(n) 1-6
Herausgeber: ACM
DOI: 10.1145/3649329.3655959

A Framework to Formulate Pathfinding Problems for Quantum Computing

Autoren: Damian Rovara, Nils Quetschlich, Robert Wille
Veröffentlicht in: International Symposium on Multiple-Valued Logic (ISMVL), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2404.10820

Improving Hardware Requirements for Fault-Tolerant Quantum Computing by Optimizing Error Budget Distributions

Autoren: Tobias V. Forster, Nils Quetschlich, Mathias Soeken, Robert Wille
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 681-687
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.00079

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 766-772
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.00088

Verifying the Compilation of Variational Quantum Algorithms

Autoren: Tom Peham; Lukas Burgholzer; Robert Wille
Veröffentlicht in: Asia and South Pacific Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1145/3566097.3567932

A Predictive Approach for Selecting the Best Quantum Solver for an Optimization Problem

Autoren: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 1014-1025
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.00121

Adaptive Compilation of Multi-Level Quantum Operations

Autoren: Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
Veröffentlicht in: International Conference on Quantum Computing and Engineering (QCE), 2022
Herausgeber: IEEE
DOI: 10.1109/qce53715.2022.00070

The Munich Quantum Software Stack: Connecting End Users, Integrating Diverse Quantum Technologies, Accelerating HPC

Autoren: 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 Schulz, Martin Schulz, Robert Wille
Veröffentlicht in: Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region, 2026, Seite(n) 55-67
Herausgeber: ACM
DOI: 10.1145/3773656.3773669

Enabling Neutral Atom Integration: Redesigning Device Models for Universal Quantum Ecosystems

Autoren: Yannick Stade, Lukas Burgholzer, Ludwig Schmid, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2607.20616

CleanQRL: Lightweight Single-File Implementations of Quantum Reinforcement Learning Algorithms

Autoren: Georg Kruse, Rodrigo Coelho, Andreas Rosskopf, Robert Wille, Jeanette Miriam Lorenz
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 1640-1645
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.00181

Stripping Quantum Decision Diagrams of their Identity

Autoren: Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Seite(n) 168-174
Herausgeber: IEEE
DOI: 10.1109/qsw62656.2024.00032

Mixed-Dimensional Qudit State Preparation Using Edge-Weighted Decision Diagrams

Autoren: Kevin Mato, Stefan Hillmich, Robert Wille
Veröffentlicht in: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Seite(n) 1-6
Herausgeber: ACM
DOI: 10.1145/3649329.3656260

Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think

Autoren: Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Veröffentlicht in: Reversible Computation (RC), 2022
Herausgeber: Springer-Verlag
DOI: 10.1007/978-3-031-09005-9_7

Quantum Hardware-Efficient Selection of Auxiliary Variables for QUBO Formulations

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2026 Design, Automation &amp; Test in Europe Conference (DATE), 2026, Seite(n) 1-7
Herausgeber: IEEE
DOI: 10.23919/date69613.2026.11539407

Exploiting Arbitrary Paths for the Simulation of Quantum Circuits with Decision Diagrams

Autoren: Lukas Burgholzer, Alexander Ploier, Robert Wille
Veröffentlicht in: Design Automation and Test in Europe (DATE), 2022
Herausgeber: IEEE
DOI: 10.48550/arxiv.2203.00703

Fast Unitary Preparation of Surface-Code Logical States on Neutral-Atom Hardware

Autoren: Ludwig Schmid, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2609.20183

A Framework for Debugging Quantum Programs

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2025 IEEE International Conference on Quantum Software (QSW), 2025, Seite(n) 130-136
Herausgeber: IEEE
DOI: 10.1109/qsw67625.2025.00024

Towards Hamiltonian Simulation with Decision Diagrams

Autoren: Aaron Sander, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Seite(n) 283-294
Herausgeber: IEEE
DOI: 10.1109/qce57702.2023.00039

Handling Imperfections in Subcircuit Compilation for Linear Optical Quantum Computing

Autoren: Tobias Forster, Yannick Stade, Andreas Fyrillas, Jean Senellart, Lukas Burgholzer, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2609.13379

Visualizing Shuttling in Trapped-Ion Quantum Computers for Compiler Optimizations

Autoren: Daniel Schoenberger, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE

Lattice Surgery Compilation Beyond the Surface Code

Autoren: Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 489-500
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.00061

Towards Application-Aware Quantum Circuit Compilation

Autoren: Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrio, Lukas Burgholzer, Andre Luckow, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Seite(n) 135-142
Herausgeber: IEEE
DOI: 10.1109/qsw62656.2024.00028

Quantum Benchmark Generation for Software Evaluation, Hardware Design, and AI Training

Autoren: Simon Hofmann, Lukas Burgholzer, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE

Quantum Circuit Optimization for the Fault-Tolerance Era: Do We Have to Start from Scratch?

Autoren: Tobias V. Forster, Nils Quetschlich, Robert Wille
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 584-590
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.00070

Hybrid Schrödinger-Feynman Simulation of Quantum Circuits With Decision Diagrams

Autoren: Lukas Burgholzer, Hartwig Bauer, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Herausgeber: IEEE
DOI: 10.48550/arxiv.2105.07045

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

Autoren: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Seite(n) 46-57
Herausgeber: IEEE
DOI: 10.1109/qsw62656.2024.00019

Robust Shuttling Compilation for Trapped-Ion Quantum Computers

Autoren: Daniel Schoenberger, Robert Wille
Veröffentlicht in: 2026 IEEE International Conference on Quantum Software (QSW), 2026, Seite(n) 240-246
Herausgeber: IEEE
DOI: 10.1109/qsw72780.2026.00036

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Autoren: Quetschlich, Nils; Burgholzer, Lukas; Wille, Robert
Veröffentlicht in: Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1109/dac56929.2023.10248002

Towards Cycle-based Shuttling for Trapped-Ion Quantum Computers (Extended Abstract)

Autoren: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Veröffentlicht in: 2024 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2024, Seite(n) 1-2
Herausgeber: IEEE
DOI: 10.23919/date58400.2024.10546506

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Autoren: Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Veröffentlicht in: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Seite(n) 802-813
Herausgeber: IEEE
DOI: 10.1109/qce57702.2023.00095

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Autoren: Kevin Mato, Stefan Hillmich, Robert Wille
Veröffentlicht in: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, Seite(n) 978-989
Herausgeber: IEEE
DOI: 10.1109/qce57702.2023.00112

Exploiting Reversible Computing for Verification: Potential, Possible Paths, and Consequences

Autoren: Lukas Burgholzer, Robert Wille
Veröffentlicht in: Asia and South Pacific Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1145/3566097.3567914

Towards Supporting QIR

Autoren: Yannick Stade, Lukas Burgholzer, Robert Wille
Veröffentlicht in: Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis, 2026, Seite(n) 1907-1915
Herausgeber: ACM
DOI: 10.1145/3731599.3767546

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Autoren: Nils Quetschlich, Tobias V. Forster, Adrian Osterwind, Domenik Helms, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 268-274
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.00040

A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2026 IEEE International Conference on Quantum Software (QSW), 2026, Seite(n) 1-7
Herausgeber: IEEE
DOI: 10.1109/qsw72780.2026.00029

Equivalence checking paradigms in quantum circuit design

Autoren: Tom Peham, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2022
Herausgeber: IEEE
DOI: 10.48550/arxiv.2004.08420

Routing-Aware Placement for Zoned Neutral Atom-based Quantum Computing

Autoren: Yannick Stade, Wan-Hsuan Lin, Jason Cong, Robert Wille
Veröffentlicht in: 2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2025, Seite(n) 1-9
Herausgeber: IEEE
DOI: 10.1109/iccad66269.2025.11240721

Routing Techniques for Error-Corrected Silicon Spin Qubit Quantum Architectures

Autoren: Julian Shen, Ludwig Schmid, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2607.07822

The Basis of Design Tools for Quantum Computing: Arrays, Decision Diagrams, Tensor Networks, and ZX-Calculus

Autoren: R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Veröffentlicht in: Design Automation Conference (DAC), 2022
Herausgeber: IEEE

RCGP: An Automatic Synthesis Framework for Reversible Quantum-Flux-Parametron Logic Circuits based on Efficient Cartesian Genetic Programming

Autoren: Rongliang Fu, Robert Wille, Tsung-Yi Ho
Veröffentlicht in: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Seite(n) 1-6
Herausgeber: ACM
DOI: 10.1145/3649329.3655950

Towards an Automated Framework for Realizing Quantum Computing Solutions

Autoren: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Veröffentlicht in: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Herausgeber: IEEE
DOI: 10.1109/ismvl57333.2023.00035

Quantum Circuit Compilation for Superconducting Bus-Resonator Architectures

Autoren: Patrick Hopf, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2026 Design, Automation &amp; Test in Europe Conference (DATE), 2026, Seite(n) 1-7
Herausgeber: IEEE
DOI: 10.23919/date69613.2026.11539523

Automatic Implementation and Evaluation of Error-Correcting Codes for Quantum Computing: An Open-Source Framework for Quantum Error Correction

Autoren: Grurl, Thomas; Pichler, Christoph; Fuß, Jürgen; Wille, Robert
Veröffentlicht in: International Conference on VLSI Design, 2023, ISBN 979-8-3503-4678-7
Herausgeber: IEEE
DOI: 10.1109/vlsid57277.2023.00068

Lessons Learnt in the Implementation of Quantum Circuit Simulation Using Decision Diagrams

Autoren: Thomas Grurl; Jurgen Fub; Robert Wille
Veröffentlicht in: ISMVL, Ausgabe 1, 2021
Herausgeber: IEEE
DOI: 10.1109/ismvl51352.2021.00024

Using Boolean Satisfiability for Exact Shuttling in Trapped-Ion Quantum Computers

Autoren: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Veröffentlicht in: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, Seite(n) 127-133
Herausgeber: IEEE
DOI: 10.1109/asp-dac58780.2024.10473902

Teaching Quantum Design Automation with Block-Based Programming

Autoren: Damian Rovara, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2608.18206

Quantum Entrepreneurship Lab: Training a Future Workforce for the Quantum Industry

Autoren: Aaron Sander, Rosaria Cercola, Andrea Capogrosso, Stefan Filipp, Bernhard Jobst, Christian B. Mendl, Frank Pollmann, Christopher Trummer, Isabell Welpe, Max Werninghaus, Robert Wille, Christian Wimmer
Veröffentlicht in: 2025 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 185-193
Herausgeber: IEEE
DOI: 10.1109/qce65121.2025.20550

Efficient Priority-Aware Scheduling for Parallel Circuit Execution in Distributed Multi-QPU Systems

Autoren: Patrick Hopf, Nils Quetschlich, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE

Fidelity-Based Quantum Device Selection Using Graph Neural Networks

Autoren: Antonio Tudisco, Patrick Hopf, Linus Schulte, Deborah Volpe, Giovanna Turvani, Robert Wille
Veröffentlicht in: 2026 IEEE International Conference on Quantum Software (QSW), 2026, Seite(n) 129-140
Herausgeber: IEEE
DOI: 10.1109/qsw72780.2026.00023

MLIR for Quantum Beyond Gate Cancellation: Quantum Circuit Mapping Reimagined

Autoren: Matthias Reumann, Yannick Stade, Robert Wille, Lukas Burgholzer
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2607.02616

MQT QMAP: Efficient Quantum Circuit Mapping

Autoren: Wille, Robert; Burgholzer, Lukas
Veröffentlicht in: International Symposium on Physical Design, 2023
Herausgeber: ACM
DOI: 10.1145/3569052.3578928

Automatic De-Quantization of Quantum Programs Using Constant Propagation

Autoren: Lian Remme, Alexander Weinert, Andre Waschk, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2026 IEEE International Conference on Quantum Software (QSW), 2026, Seite(n) 105-116
Herausgeber: IEEE
DOI: 10.1109/qsw72780.2026.00021

A SAT Encoding for Optimal Clifford Circuit Synthesis

Autoren: Sarah Schneider; Lukas Burgholzer; Robert Wille
Veröffentlicht in: Asia and South Pacific Design Automation Conference, 2023
Herausgeber: IEEE
DOI: 10.1145/3566097.3567929

Utilizing Resource Estimation for the Development of Quantum Computing Applications

Autoren: Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 232-238
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.00036

QECirc: A Community-Driven, FAIR Library of Quantum Error Correction Circuits

Autoren: Ludwig Schmid, Tom Peham, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2609.20182

Efficient Construction of Functional Representations for Quantum Algorithms

Autoren: Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Veröffentlicht in: 13th International Conference on Reversible Computation (RC), 2021
Herausgeber: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Autoren: Lukas Burgholzer, Sarah Schneider, Robert Wille
Veröffentlicht in: 27th Asia and South Pacific Design Automation Conference, 2022
Herausgeber: IEEE
DOI: 10.48550/arxiv.2112.00045

Compression of Qubit Circuits: Mapping to Mixed-Dimensional Quantum Systems

Autoren: Kevin Mato, Stefan Hillmich, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Software (QSW), 2023
Herausgeber: IEEE
DOI: 10.1109/qsw59989.2023.00027

Integrating Quantum Software Tools with(in) MLIR

Autoren: Patrick Hopf, Erick Ochoa, Yannick Stade, Damian Rovara, Nils Quetschlich, Ioan Albert Florea, Josh Izaac, Robert Wille, Lukas Burgholzer
Veröffentlicht in: Proceedings of the Supercomputing Asia and International Conference on High Performance Computing in Asia Pacific Region, 2026, Seite(n) 42-54
Herausgeber: ACM
DOI: 10.1145/3773656.3773658

Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level

Autoren: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Seite(n) 757-767
Herausgeber: IEEE
DOI: 10.1109/qce57702.2023.00091

Optimized Density Matrix Representations : Improving the Basis for Noise-Aware Quantum Circuit Design Tools

Autoren: Thomas Grurl, Jürgen Fuß, Robert Wille
Veröffentlicht in: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Herausgeber: IEEE
DOI: 10.1109/ismvl57333.2023.00036

Decision Diagrams for Quantum Measurements with Shallow Circuits

Autoren: Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Herausgeber: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Autoren: Lukas Burgholzer, Robert Wille
Veröffentlicht in: Design Automation Conference (DAC), 2022
Herausgeber: IEEE

Using Compiler Frameworks for the Evaluation of Hardware Design Choices in Trapped-Ion Quantum Computers

Autoren: Daniel Schoenberger, Stefan Hillmich, Matthias Brand, Robert Wille
Veröffentlicht in: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Seite(n) 1102-1108
Herausgeber: IEEE
DOI: 10.1109/qce60285.2024.00129

Exploiting Movable Logical Qubits for Lattice Surgery Compilation

Autoren: Laura S. Herzog, Lucas Berent, Aleksander Kubica, Robert Wille
Veröffentlicht in: Design Automation Conference (DAC), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2512.04169

A Hybrid Classical Quantum Computing Approach to the Satellite Mission Planning Problem

Autoren: Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Seite(n) 642-647
Herausgeber: IEEE
DOI: 10.1109/qce57702.2023.00079

Introducing QRogue: Teaching Quantum Computing Using a Rogue-like Game Concept

Autoren: Michael Artner; Guenter Wallner; Robert Wille
Veröffentlicht in: International Conference on the Foundations of Digital Games, 2023
Herausgeber: ACM
DOI: 10.1145/3582437.3587177

Predicting Good Quantum Circuit Compilation Options

Autoren: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Veröffentlicht in: IEEE International Conference on Quantum Software (QSW), 2023
Herausgeber: IEEE
DOI: 10.1109/qsw59989.2023.00015

Search Smarter, Not Harder: A Scalable, High-Quality Zoned Neutral Atom Compiler

Autoren: Yannick Stade, Lukas Burgholzer, Robert Wille
Veröffentlicht in: Design Automation Conference (DAC), 2026
Herausgeber: IEEE
DOI: 10.48550/arxiv.2512.13790

Quantum k-community detection: algorithm proposals and cross-architectural evaluation

Autoren: Felix G. Gemeinhardt, Robert Wille, Manuel Wimmer
Veröffentlicht in: Quantum Information Processing (2021), 2021, ISSN 0000-0000
Herausgeber: Springer
DOI: 10.1007/s11128-021-03239-1

Tools for Quantum Computing Based on Decision Diagrams

Autoren: Robert Wille, Stefan Hillmich, Lukas Burgholzer
Veröffentlicht in: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Herausgeber: ACM
DOI: 10.1145/3491246

Approximating Decision Diagrams for Quantum Circuit Simulation

Autoren: Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
Veröffentlicht in: ACM Transactions on Quantum Computing, 2022, ISSN 2643-6817
Herausgeber: ACM
DOI: 10.1145/3530776

Analog Information Decoding of Bosonic Quantum Low-Density Parity-Check Codes

Autoren: Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe
Veröffentlicht in: PRX Quantum, Ausgabe 5, 2024, ISSN 2691-3399
Herausgeber: American Physical Society
DOI: 10.1103/prxquantum.5.020349

Decoding quantum color codes with MaxSAT

Autoren: Lucas Berent, Lukas Burgholzer, Peter-Jan H.S. Derks, Jens Eisert, Robert Wille
Veröffentlicht in: Quantum, Ausgabe 8, 2024, Seite(n) 1506, ISSN 2521-327X
Herausgeber: Verein zur Foerderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2024-10-23-1506

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing

Autoren: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Veröffentlicht in: Quantum, 2023, ISSN 2521-327X
Herausgeber: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2023-07-20-1062

Computational capabilities and compiler development for neutral atom quantum processors—connecting tool developers and hardware experts

Autoren: Ludwig Schmid, David F Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille
Veröffentlicht in: Quantum Science and Technology, Ausgabe 9, 2024, Seite(n) 033001, ISSN 2058-9565
Herausgeber: IOP Publishing
DOI: 10.1088/2058-9565/ad33ac

Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware

Autoren: Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, Dieter Kranzlmüller
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 406, 2024, Seite(n) 96-116, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/eptcs.406.5

Shuttling for Scalable Trapped-Ion Quantum Computers

Autoren: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Veröffentlicht in: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024, Seite(n) 1-1, ISSN 0278-0070
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tcad.2024.3513262

MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing

Autoren: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Veröffentlicht in: ACM Transactions on Quantum Computing, Ausgabe 6, 2025, Seite(n) 1-26, ISSN 2643-6809
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3673241

Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not

Autoren: Robert Wille; Lukas Burgholzer; Alexander Ploier
Veröffentlicht in: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Herausgeber: IEEE
DOI: 10.1109/tcad.2022.3197969

Equivalence Checking of Quantum Circuits With the ZX-Calculus

Autoren: Robert Wille; Lukas Burgholzer; Tom Peham
Veröffentlicht in: Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022, ISSN 2156-3365
Herausgeber: IEEE
DOI: 10.1109/jetcas.2022.3202204

Characteristics of reversible circuits for error detection

Autoren: Lukas Burgholzer, Robert Wille, Richard Kueng
Veröffentlicht in: Array, 2022, ISSN 0000-0000
Herausgeber: Elsevier
DOI: 10.1016/j.array.2022.100165

On Optimal Subarchitectures for Quantum Circuit Mapping

Autoren: Tom Peham, Lukas Burgholzer, Robert Wille
Veröffentlicht in: ACM Transactions on Quantum Computing, 2023, ISSN 2643-6817
Herausgeber: ACM
DOI: 10.1145/3593594

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

Autoren: Adarsh, Smaran; Burgholzer, Lukas; Manjunath, Tanmay; Wille, Robert
Veröffentlicht in: Software Impacts, 2022, ISSN 0000-0000
Herausgeber: Elsevier
DOI: 10.1016/j.simpa.2022.100451

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

Autoren: Thomas Grurl; Jurgen Fus; Robert Wille
Veröffentlicht in: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Herausgeber: IEEE
DOI: 10.1109/tcad.2022.3182628

Quantum Low-Density Parity-Check Codes for Modular Architectures

Autoren: Armands Strikis; Lucas Berent
Veröffentlicht in: PRX Quantum, Ausgabe 6, 2023, ISSN 0000-0000
Herausgeber: APS
DOI: 10.1103/prxquantum.4.020321

A Framework for Debugging Quantum Programs

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2024
Herausgeber: arxiv
DOI: 10.48550/arxiv.2412.12269

Quantum Computer are coming! But how to use their potential?

Autoren: Robert Wille
Veröffentlicht in: 2021
Herausgeber: European Dissemination Media Agency

Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability

Autoren: Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
Veröffentlicht in: 2025
Herausgeber: arxiv
DOI: 10.48550/arxiv.2501.05527

Improving Figures of Merit for Quantum Circuit Compilation

Autoren: Patrick Hopf, Nils Quetschlich, Laura Schulz, Robert Wille
Veröffentlicht in: 2025
Herausgeber: arxiv
DOI: 10.48550/arxiv.2501.13155

Optimal State Preparation for Logical Arrays on Zoned Neutral Atom Quantum Computers

Autoren: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2025
Herausgeber: arxiv
DOI: 10.48550/arxiv.2411.09738

Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation

Autoren: Burgholzer, Lukas; Ploier, Alexander; Wille, Robert
Veröffentlicht in: 2023
Herausgeber: N/A
DOI: 10.48550/arxiv.2302.06616

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Autoren: Damian Rovara, Lukas Burgholzer, Robert Wille
Veröffentlicht in: 2024
Herausgeber: arxiv
DOI: 10.48550/arxiv.2412.14252

Design tools for quantum computing

Autoren: Robert Wille
Veröffentlicht in: Open Access Government, 2022
Herausgeber: Open Access Government

Decision Diagrams for Quantum Computing

Autoren: Wille, Robert; Hillmich, Stefan; Burgholzer, Lukas
Veröffentlicht in: Design Automation of Quantum Computers, 2022
Herausgeber: Springer
DOI: 10.1007/978-3-031-15699-1_1

Suche nach OpenAIRE-Daten ...

Projektergebnisse

Veröffentlichungen

Herunterladen Den Inhalt der Seite herunterladen