European Commission logo
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Design Automation for Quantum Computing

Publications

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

Auteurs: Lucas Berent, Lukas Burgholzer, Robert Wille
Publié dans: International Conference on Theory and Applications of Satisfiability Testing (SAT), 2022
Éditeur: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sat.2022.18

Efficient Implementation of LIMDDs for Quantum Circuit Simulation

Auteurs: Lieuwe Vinkhuijzen, Thomas Grurl, Stefan Hillmich, Sebastiaan Brand, Robert Wille, Alfons Laarman
Publié dans: Model Checking Software: 29th International Symposium, 2023
Éditeur: ACM
DOI: 10.1007/978-3-031-32157-3_1

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

Auteurs: Lucas Berent; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567934

Compilation of Entangling Gates for High-Dimensional Quantum Systems

Auteurs: Mato, Kevin; Ringbauer, Martin; Hillmich, Stefan; Wille, Robert
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567930

Verifying the Compilation of Variational Quantum Algorithms

Auteurs: Tom Peham; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567932

Adaptive Compilation of Multi-Level Quantum Operations

Auteurs: Kevin Mato, Martin Ringbauer, Stefan Hillmich, Robert Wille
Publié dans: International Conference on Quantum Computing and Engineering (QCE), 2022
Éditeur: IEEE
DOI: 10.1109/qce53715.2022.00070

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

Auteurs: Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller, Robert Wille
Publié dans: Reversible Computation (RC), 2022
Éditeur: Springer-Verlag
DOI: 10.1007/978-3-031-09005-9_7

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

Auteurs: Lukas Burgholzer, Alexander Ploier, Robert Wille
Publié dans: Design Automation and Test in Europe (DATE), 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2203.00703

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

Auteurs: Lukas Burgholzer, Hartwig Bauer, Robert Wille
Publié dans: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Éditeur: IEEE
DOI: 10.48550/arxiv.2105.07045

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Auteurs: Quetschlich, Nils; Burgholzer, Lukas; Wille, Robert
Publié dans: Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1109/dac56929.2023.10248002

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

Auteurs: Lukas Burgholzer, Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567914

Equivalence checking paradigms in quantum circuit design

Auteurs: Tom Peham, Lukas Burgholzer, Robert Wille
Publié dans: 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2004.08420

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

Auteurs:  R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Publié dans: Design Automation Conference (DAC), 2022
Éditeur: IEEE

Towards an Automated Framework for Realizing Quantum Computing Solutions

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Éditeur: 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

Auteurs: Grurl, Thomas; Pichler, Christoph; Fuß, Jürgen; Wille, Robert
Publié dans: International Conference on VLSI Design, 2023, ISBN 979-8-3503-4678-7
Éditeur: IEEE
DOI: 10.1109/vlsid57277.2023.00068

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

Auteurs: Thomas Grurl; Jurgen Fub; Robert Wille
Publié dans: ISMVL, Numéro 1, 2021
Éditeur: IEEE
DOI: 10.1109/ismvl51352.2021.00024

MQT QMAP: Efficient Quantum Circuit Mapping

Auteurs: Wille, Robert; Burgholzer, Lukas
Publié dans: International Symposium on Physical Design, 2023
Éditeur: ACM
DOI: 10.1145/3569052.3578928

A SAT Encoding for Optimal Clifford Circuit Synthesis

Auteurs: Sarah Schneider; Lukas Burgholzer; Robert Wille
Publié dans: Asia and South Pacific Design Automation Conference, 2023
Éditeur: IEEE
DOI: 10.1145/3566097.3567929

Efficient Construction of Functional Representations for Quantum Algorithms

Auteurs: Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Publié dans: 13th International Conference on Reversible Computation (RC), 2021
Éditeur: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Auteurs: Lukas Burgholzer, Sarah Schneider, Robert Wille
Publié dans: 27th Asia and South Pacific Design Automation Conference, 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2112.00045

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

Auteurs: Kevin Mato, Stefan Hillmich, Robert Wille
Publié dans: IEEE International Conference on Quantum Software (QSW), 2023
Éditeur: IEEE
DOI: 10.1109/qsw59989.2023.00027

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

Auteurs: Thomas Grurl, Jürgen Fuß, Robert Wille
Publié dans: International Symposium on Multiple-Valued Logic (ISMVL), 2023
Éditeur: IEEE
DOI: 10.1109/ismvl57333.2023.00036

Decision Diagrams for Quantum Measurements with Shallow Circuits

Auteurs: Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Publié dans: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Éditeur: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Auteurs: Lukas Burgholzer, Robert Wille
Publié dans: Design Automation Conference (DAC), 2022
Éditeur: IEEE

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

Auteurs: Michael Artner; Guenter Wallner; Robert Wille
Publié dans: International Conference on the Foundations of Digital Games, 2023
Éditeur: ACM
DOI: 10.1145/3582437.3587177

Predicting Good Quantum Circuit Compilation Options

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: IEEE International Conference on Quantum Software (QSW), 2023
Éditeur: IEEE
DOI: 10.1109/qsw59989.2023.00015

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

Auteurs: Felix G. Gemeinhardt, Robert Wille, Manuel Wimmer
Publié dans: Quantum Information Processing (2021), 2021, ISSN 0000-0000
Éditeur: Springer
DOI: 10.1007/s11128-021-03239-1

 Tools for Quantum Computing Based on Decision Diagrams

Auteurs: Robert Wille, Stefan Hillmich, Lukas Burgholzer
Publié dans: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Éditeur: ACM
DOI: 10.1145/3491246

Approximating Decision Diagrams for Quantum Circuit Simulation

Auteurs: Stefan Hillmich, Alwin Zulehner, Richard Kueng, Igor L. Markov, Robert Wille
Publié dans: ACM Transactions on Quantum Computing, 2022, ISSN 2643-6817
Éditeur: ACM
DOI: 10.1145/3530776

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

Auteurs: Nils Quetschlich, Lukas Burgholzer, Robert Wille
Publié dans: Quantum, 2023, ISSN 2521-327X
Éditeur: Verein zur Förderung des Open Access Publizierens in den Quantenwissenschaften
DOI: 10.22331/q-2023-07-20-1062

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

Auteurs: Robert Wille; Lukas Burgholzer; Alexander Ploier
Publié dans: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Éditeur: IEEE
DOI: 10.1109/tcad.2022.3197969

Equivalence Checking of Quantum Circuits With the ZX-Calculus

Auteurs: Robert Wille; Lukas Burgholzer; Tom Peham
Publié dans: Journal of Emerging and Selected Topics in Circuits and Systems (JETCAS), 2022, ISSN 2156-3365
Éditeur: IEEE
DOI: 10.1109/jetcas.2022.3202204

Characteristics of reversible circuits for error detection

Auteurs: Lukas Burgholzer, Robert Wille, Richard Kueng
Publié dans: Array, 2022, ISSN 0000-0000
Éditeur: Elsevier
DOI: 10.1016/j.array.2022.100165

On Optimal Subarchitectures for Quantum Circuit Mapping

Auteurs: Tom Peham, Lukas Burgholzer, Robert Wille
Publié dans: ACM Transactions on Quantum Computing, 2023, ISSN 2643-6817
Éditeur: ACM
DOI: 10.1145/3593594

SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

Auteurs: Adarsh, Smaran; Burgholzer, Lukas; Manjunath, Tanmay; Wille, Robert
Publié dans: Software Impacts, 2022, ISSN 0000-0000
Éditeur: Elsevier
DOI: 10.1016/j.simpa.2022.100451

Noise-Aware Quantum Circuit Simulation With Decision Diagrams

Auteurs: Thomas Grurl; Jurgen Fus; Robert Wille
Publié dans: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), 2022, ISSN 0000-0000
Éditeur: IEEE
DOI: 10.1109/tcad.2022.3182628

Quantum Low-Density Parity-Check Codes for Modular Architectures

Auteurs: Armands Strikis; Lucas Berent
Publié dans: PRX Quantum, Numéro 6, 2023, ISSN 0000-0000
Éditeur: APS
DOI: 10.1103/prxquantum.4.020321

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

Auteurs: Robert Wille
Publié dans: 2021
Éditeur: European Dissemination Media Agency

Decoding quantum color codes with MaxSAT

Auteurs: Berent, Lucas; Burgholzer, Lukas; Derks, Peter-Jan H. S.; Eisert, Jens; Wille, Robert
Publié dans: Numéro 2, 2023
Éditeur: N/A
DOI: 10.48550/arxiv.2303.14237

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

Auteurs: Burgholzer, Lukas; Ploier, Alexander; Wille, Robert
Publié dans: 2023
Éditeur: N/A
DOI: 10.48550/arxiv.2302.06616

Design tools for quantum computing

Auteurs: Robert Wille
Publié dans: Open Access Government, 2022
Éditeur: Open Access Government

Decision Diagrams for Quantum Computing

Auteurs: Wille, Robert; Hillmich, Stefan; Burgholzer, Lukas
Publié dans: Design Automation of Quantum Computers, 2022
Éditeur: Springer
DOI: 10.1007/978-3-031-15699-1_1

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible