Design Automation for Quantum Computing

Publications

Peer reviewed articles (1)

 Tools for Quantum Computing Based on Decision Diagrams

Author(s): Robert Wille, Stefan Hillmich, Lukas Burgholzer
Published in: ACM Transactions on Quantum Computing, 2022, ISSN 0000-0000
Publisher: ACM
DOI: 10.1145/3491246

Conference proceedings (9)

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

Author(s): Lukas Burgholzer, Alexander Ploier, Robert Wille
Published in: Automation and Test in Europe (DATE), 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2203.00703

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

Author(s): Lukas Burgholzer, Hartwig Bauer, Robert Wille
Published in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Publisher: IEEE
DOI: 10.48550/arxiv.2105.07045

Equivalence checking paradigms in quantum circuit design

Author(s): Tom Peham, Lukas Burgholzer, Robert Wille
Published in: 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2004.08420

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

Author(s):  R. Wille, L. Burgholzer, S. Hillmich, T. Grurl, A. Ploier, T. Peham
Published in: Design Automation Conference (DAC), 2022
Publisher: IEEE

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

Author(s): Thomas Grurl; Jurgen Fub; Robert Wille
Published in: ISMVL, 1, 2021
Publisher: IEEE
DOI: 10.1109/ismvl51352.2021.00024

Efficient Construction of Functional Representations for Quantum Algorithms

Author(s): Lukas Burgholzer, Rudy Raymond, Indranil Sengupta, Robert Wille
Published in: 13th International Conference on Reversible Computation (RC), 2021
Publisher: Springer
DOI: 10.48550/arxiv.2103.08281

Limiting the Search Space in Optimal Quantum Circuit Mapping

Author(s): Lukas Burgholzer, Sarah Schneider, Robert Wille
Published in: 27th Asia and South Pacific Design Automation Conference, 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2112.00045

Decision Diagrams for Quantum Measurements with Shallow Circuits

Author(s): Stefan Hillmich, Charles Hadfield, Rudy Raymond, Antonio Mezzacapo, Robert Wille
Published in: IEEE International Conference on Quantum Computing and Engineering (QCE), 2021
Publisher: IEEE
DOI: 10.48550/arxiv.2105.06932

Handling Non-Unitaries in Quantum Circuit Equivalence Checking

Author(s): Lukas Burgholzer, Robert Wille
Published in: Design Automation Conference (DAC), 2022
Publisher: IEEE

Other (2)

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

Author(s): Robert Wille
Published in: 2021
Publisher: European Dissemination Media Agency

Design tools for quantum computing

Author(s): Robert Wille
Published in: Open Access Government, 2022
Publisher: Open Access Government