Skip to main content
European Commission logo
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Design Automation for Quantum Computing

Publicaciones

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Decoding quantum color codes with MaxSAT

Autores: Berent, Lucas; Burgholzer, Lukas; Derks, Peter-Jan H. S.; Eisert, Jens; Wille, Robert
Publicado en: Edición 2, 2023
Editor: N/A
DOI: 10.48550/arxiv.2303.14237

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

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...

Se ha producido un error en la búsqueda de datos de OpenAIRE

No hay resultados disponibles