Design Automation for Quantum Computing

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

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

Autores: Robert Wille, Ludwig Schmid, Yannick Stade, Jorge Echavarria, Martin Schulz, Laura Schulz, Lukas Burgholzer
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 573-574
Editor: IEEE
DOI: 10.1109/qce60285.2024.10411

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

Autores: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 784-795
Editor: IEEE
DOI: 10.1109/qce60285.2024.00098

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

Autores: Lucas Berent, Lukas Burgholzer, Robert Wille
Publicado en: International Conference on Theory and Applications of Satisfiability Testing (SAT), 2022
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2022.18

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Autores: Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Publicado en: Model Checking Software: 29th International Symposium, 2023
Editor: ACM
DOI: 10.1007/978-3-031-32157-3_1

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

Autores: Lucas Berent; Lukas Burgholzer; Robert Wille
Publicado en: Asia and South Pacific Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1145/3566097.3567934

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

Autores: 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
Publicado en: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Página(s) 1-8
Editor: IEEE
DOI: 10.1109/qsw62656.2024.00013

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Autores: Mato, Kevin; Ringbauer, Martin; Hillmich, Stefan; Wille, Robert
Publicado en: Asia and South Pacific Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1145/3566097.3567930

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

Autores: Ludwig Schmid, Sunghye Park, Robert Wille
Publicado en: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Página(s) 1-6
Editor: ACM
DOI: 10.1145/3649329.3655959

Verifying the Compilation of Variational Quantum Algorithms

Autores: Tom Peham; Lukas Burgholzer; Robert Wille
Publicado en: Asia and South Pacific Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1145/3566097.3567932

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

Autores: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 1014-1025
Editor: IEEE
DOI: 10.1109/qce60285.2024.00121

Adaptive Compilation of Multi-Level Quantum Operations

Autores: Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
Publicado en: International Conference on Quantum Computing and Engineering (QCE), 2022
Editor: IEEE
DOI: 10.1109/qce53715.2022.00070

Stripping Quantum Decision Diagrams of their Identity

Autores: Aaron Sander, Ioan-Albert Florea, Lukas Burgholzer, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Página(s) 168-174
Editor: IEEE
DOI: 10.1109/qsw62656.2024.00032

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

Autores: Kevin Mato, Stefan Hillmich, Robert Wille
Publicado en: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Página(s) 1-6
Editor: ACM
DOI: 10.1145/3649329.3656260

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

Autores: Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Publicado en: Reversible Computation (RC), 2022
Editor: Springer-Verlag
DOI: 10.1007/978-3-031-09005-9_7

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

Autores: Lukas Burgholzer, Alexander Ploier, Robert Wille
Publicado en: Design Automation and Test in Europe (DATE), 2022
Editor: IEEE
DOI: 10.48550/arxiv.2203.00703

Towards Hamiltonian Simulation with Decision Diagrams

Autores: Aaron Sander, Lukas Burgholzer, Robert Wille
Publicado en: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Página(s) 283-294
Editor: IEEE
DOI: 10.1109/qce57702.2023.00039

Towards Application-Aware Quantum Circuit Compilation

Autores: Nils Quetschlich, Florian J. Kiwit, Maximilian A. Wolf, Carlos A. Riofrio, Lukas Burgholzer, Andre Luckow, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Página(s) 135-142
Editor: IEEE
DOI: 10.1109/qsw62656.2024.00028

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

Autores: Lukas Burgholzer, Hartwig Bauer, Robert Wille
Publicado en: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Editor: IEEE
DOI: 10.48550/arxiv.2105.07045

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

Autores: Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Software (QSW), 2024, Página(s) 46-57
Editor: IEEE
DOI: 10.1109/qsw62656.2024.00019

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Autores: Quetschlich, Nils; Burgholzer, Lukas; Wille, Robert
Publicado en: Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1109/dac56929.2023.10248002

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

Autores: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publicado en: 2024 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2024, Página(s) 1-2
Editor: IEEE
DOI: 10.23919/date58400.2024.10546506

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Autores: Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Publicado en: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Página(s) 802-813
Editor: IEEE
DOI: 10.1109/qce57702.2023.00095

Mixed-Dimensional Quantum Circuit Simulation with Decision Diagrams

Autores: Kevin Mato, Stefan Hillmich, Robert Wille
Publicado en: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2023, Página(s) 978-989
Editor: IEEE
DOI: 10.1109/qce57702.2023.00112

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

Autores: Lukas Burgholzer, Robert Wille
Publicado en: Asia and South Pacific Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1145/3566097.3567914

Towards Equivalence Checking of Classical Circuits Using Quantum Computing

Autores: Nils Quetschlich, Tobias V. Forster, Adrian Osterwind, Domenik Helms, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 268-274
Editor: IEEE
DOI: 10.1109/qce60285.2024.00040

Equivalence checking paradigms in quantum circuit design

Autores: Tom Peham, Lukas Burgholzer, Robert Wille
Publicado en: 2022
Editor: IEEE
DOI: 10.48550/arxiv.2004.08420

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

Autores: R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Publicado en: Design Automation Conference (DAC), 2022
Editor: IEEE

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

Autores: Rongliang Fu, Robert Wille, Tsung-Yi Ho
Publicado en: Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024, Página(s) 1-6
Editor: ACM
DOI: 10.1145/3649329.3655950

Towards an Automated Framework for Realizing Quantum Computing Solutions

Autores: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publicado en: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Editor: IEEE
DOI: 10.1109/ismvl57333.2023.00035

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

Autores: Grurl, Thomas; Pichler, Christoph; Fuß, Jürgen; Wille, Robert
Publicado en: International Conference on VLSI Design, 2023, ISBN 979-8-3503-4678-7
Editor: IEEE
DOI: 10.1109/vlsid57277.2023.00068

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

Autores: Thomas Grurl; Jurgen Fub; Robert Wille
Publicado en: ISMVL, Edición 1, 2021
Editor: IEEE
DOI: 10.1109/ismvl51352.2021.00024

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

Autores: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publicado en: 2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC), 2024, Página(s) 127-133
Editor: IEEE
DOI: 10.1109/asp-dac58780.2024.10473902

MQT QMAP: Efficient Quantum Circuit Mapping

Autores: Wille, Robert; Burgholzer, Lukas
Publicado en: International Symposium on Physical Design, 2023
Editor: ACM
DOI: 10.1145/3569052.3578928

A SAT Encoding for Optimal Clifford Circuit Synthesis

Autores: Sarah Schneider; Lukas Burgholzer; Robert Wille
Publicado en: Asia and South Pacific Design Automation Conference, 2023
Editor: IEEE
DOI: 10.1145/3566097.3567929

Utilizing Resource Estimation for the Development of Quantum Computing Applications

Autores: Nils Quetschlich, Mathias Soeken, Prakash Murali, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 232-238
Editor: IEEE
DOI: 10.1109/qce60285.2024.00036

Efficient Construction of Functional Representations for Quantum Algorithms

Autores: Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Publicado en: 13th International Conference on Reversible Computation (RC), 2021
Editor: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Autores: Lukas Burgholzer, Sarah Schneider, Robert Wille
Publicado en: 27th Asia and South Pacific Design Automation Conference, 2022
Editor: IEEE
DOI: 10.48550/arxiv.2112.00045

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

Autores: Kevin Mato, Stefan Hillmich, Robert Wille
Publicado en: IEEE International Conference on Quantum Software (QSW), 2023
Editor: IEEE
DOI: 10.1109/qsw59989.2023.00027

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

Autores: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publicado en: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Página(s) 757-767
Editor: IEEE
DOI: 10.1109/qce57702.2023.00091

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

Autores: Thomas Grurl, Jürgen Fuß, Robert Wille
Publicado en: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Editor: IEEE
DOI: 10.1109/ismvl57333.2023.00036

Decision Diagrams for Quantum Measurements with Shallow Circuits

Autores: Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Publicado en: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Editor: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Autores: Lukas Burgholzer, Robert Wille
Publicado en: Design Automation Conference (DAC), 2022
Editor: IEEE

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

Autores: Daniel Schoenberger, Stefan Hillmich, Matthias Brand, Robert Wille
Publicado en: 2024 IEEE International Conference on Quantum Computing and Engineering (QCE), 2025, Página(s) 1102-1108
Editor: IEEE
DOI: 10.1109/qce60285.2024.00129

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

Autores: Nils Quetschlich, Vincent Koch, Lukas Burgholzer, Robert Wille
Publicado en: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE), 2024, Página(s) 642-647
Editor: IEEE
DOI: 10.1109/qce57702.2023.00079

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

Autores: Michael Artner; Guenter Wallner; Robert Wille
Publicado en: International Conference on the Foundations of Digital Games, 2023
Editor: ACM
DOI: 10.1145/3582437.3587177

Predicting Good Quantum Circuit Compilation Options

Autores: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publicado en: IEEE International Conference on Quantum Software (QSW), 2023
Editor: IEEE
DOI: 10.1109/qsw59989.2023.00015

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

Autores: Felix G. Gemeinhardt, Robert Wille, Manuel Wimmer
Publicado en: Quantum Information Processing (2021), 2021, ISSN 0000-0000
Editor: Springer
DOI: 10.1007/s11128-021-03239-1

Tools for Quantum Computing Based on Decision Diagrams

Autores: Robert Wille, Stefan Hillmich, Lukas Burgholzer
Publicado en: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Editor: ACM
DOI: 10.1145/3491246

Approximating Decision Diagrams for Quantum Circuit Simulation

Autores: Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
Publicado en: ACM Transactions on Quantum Computing, 2022, ISSN 2643-6817
Editor: ACM
DOI: 10.1145/3530776

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

Autores: Lucas Berent, Timo Hillmann, Jens Eisert, Robert Wille, Joschka Roffe
Publicado en: PRX Quantum, Edición 5, 2024, ISSN 2691-3399
Editor: American Physical Society
DOI: 10.1103/prxquantum.5.020349

Decoding quantum color codes with MaxSAT

Autores: Lucas Berent, Lukas Burgholzer, Peter-Jan H.S. Derks, Jens Eisert, Robert Wille
Publicado en: Quantum, Edición 8, 2024, Página(s) 1506, ISSN 2521-327X
Editor: 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

Autores: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publicado en: Quantum, 2023, ISSN 2521-327X
Editor: 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

Autores: Ludwig Schmid, David F Locher, Manuel Rispler, Sebastian Blatt, Johannes Zeiher, Markus Müller, Robert Wille
Publicado en: Quantum Science and Technology, Edición 9, 2024, Página(s) 033001, ISSN 2058-9565
Editor: IOP Publishing
DOI: 10.1088/2058-9565/ad33ac

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

Autores: Korbinian Staudacher, Ludwig Schmid, Johannes Zeiher, Robert Wille, Dieter Kranzlmüller
Publicado en: Electronic Proceedings in Theoretical Computer Science, Edición 406, 2024, Página(s) 96-116, ISSN 2075-2180
Editor: Open Publishing Association
DOI: 10.4204/eptcs.406.5

Shuttling for Scalable Trapped-Ion Quantum Computers

Autores: Daniel Schoenberger, Stefan Hillmich, Matthias Brandl, Robert Wille
Publicado en: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2024, Página(s) 1-1, ISSN 0278-0070
Editor: 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

Autores: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publicado en: ACM Transactions on Quantum Computing, Edición 6, 2025, Página(s) 1-26, ISSN 2643-6809
Editor: 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

Autores: Robert Wille; Lukas Burgholzer; Alexander Ploier
Publicado en: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Editor: IEEE
DOI: 10.1109/tcad.2022.3197969

Equivalence Checking of Quantum Circuits With the ZX-Calculus

Autores: Robert Wille; Lukas Burgholzer; Tom Peham
Publicado en: Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022, ISSN 2156-3365
Editor: IEEE
DOI: 10.1109/jetcas.2022.3202204

Characteristics of reversible circuits for error detection

Autores: Lukas Burgholzer, Robert Wille, Richard Kueng
Publicado en: Array, 2022, ISSN 0000-0000
Editor: Elsevier
DOI: 10.1016/j.array.2022.100165

On Optimal Subarchitectures for Quantum Circuit Mapping

Autores: Tom Peham, Lukas Burgholzer, Robert Wille
Publicado en: ACM Transactions on Quantum Computing, 2023, ISSN 2643-6817
Editor: ACM
DOI: 10.1145/3593594

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

Autores: Adarsh, Smaran; Burgholzer, Lukas; Manjunath, Tanmay; Wille, Robert
Publicado en: Software Impacts, 2022, ISSN 0000-0000
Editor: Elsevier
DOI: 10.1016/j.simpa.2022.100451

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

Autores: Thomas Grurl; Jurgen Fus; Robert Wille
Publicado en: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Editor: IEEE
DOI: 10.1109/tcad.2022.3182628

Quantum Low-Density Parity-Check Codes for Modular Architectures

Autores: Armands Strikis; Lucas Berent
Publicado en: PRX Quantum, Edición 6, 2023, ISSN 0000-0000
Editor: APS
DOI: 10.1103/prxquantum.4.020321

A Framework to Formulate Pathfinding Problems for Quantum Computing

Autores: Damian Rovara, Nils Quetschlich, Robert Wille
Publicado en: 2024
Editor: arxiv
DOI: 10.48550/arxiv.2404.10820

A Framework for Debugging Quantum Programs

Autores: Damian Rovara, Lukas Burgholzer, Robert Wille
Publicado en: 2024
Editor: arxiv
DOI: 10.48550/arxiv.2412.12269

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

Autores: Robert Wille
Publicado en: 2021
Editor: European Dissemination Media Agency

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

Autores: Ludwig Schmid, Tom Peham, Lucas Berent, Markus Müller, Robert Wille
Publicado en: 2025
Editor: arxiv
DOI: 10.48550/arxiv.2501.05527

Improving Figures of Merit for Quantum Circuit Compilation

Autores: Patrick Hopf, Nils Quetschlich, Laura Schulz, Robert Wille
Publicado en: 2025
Editor: arxiv
DOI: 10.48550/arxiv.2501.13155

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

Autores: Yannick Stade, Ludwig Schmid, Lukas Burgholzer, Robert Wille
Publicado en: 2025
Editor: arxiv
DOI: 10.48550/arxiv.2411.09738

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

Autores: Burgholzer, Lukas; Ploier, Alexander; Wille, Robert
Publicado en: 2023
Editor: N/A
DOI: 10.48550/arxiv.2302.06616

Automatically Refining Assertions for Efficient Debugging of Quantum Programs

Autores: Damian Rovara, Lukas Burgholzer, Robert Wille
Publicado en: 2024
Editor: arxiv
DOI: 10.48550/arxiv.2412.14252

Design tools for quantum computing

Autores: Robert Wille
Publicado en: Open Access Government, 2022
Editor: Open Access Government

Decision Diagrams for Quantum Computing

Autores: Wille, Robert; Hillmich, Stefan; Burgholzer, Lukas
Publicado en: Design Automation of Quantum Computers, 2022
Editor: Springer
DOI: 10.1007/978-3-031-15699-1_1

Buscando datos de OpenAIRE...

Publicaciones

Compartir esta página Compartir esta página en las redes sociales

Descargar Descargar el contenido de la página