Author of the publication

Tools for Quantum Computing Based on Decision Diagrams

, , and . ACM Transactions on Quantum Computing, 3 (3): 1--17 (June 2022)
DOI: 10.1145/3491246

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Predicting Good Quantum Circuit Compilation Options., , and . QSW, page 43-53. IEEE, (2023)Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators., , , , and . ISMVL, page 176-181. IEEE, (2020)Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations., , and . DAC, page 142. ACM, (2019)Visualizing Decision Diagrams for Quantum Computing (Special Session Summary)., , and . DATE, page 768-773. IEEE, (2021)Random Stimuli Generation for the Verification of Quantum Circuits., , and . ASP-DAC, page 767-772. ACM, (2021)MQT QMAP: Efficient Quantum Circuit Mapping., and . ISPD, page 198-204. ACM, (2023)Improved DD-based Equivalence Checking of Quantum Circuits., and . ASP-DAC, page 127-132. IEEE, (2020)Efficient Construction of Functional Representations for Quantum Algorithms., , , and . RC, volume 12805 of Lecture Notes in Computer Science, page 227-241. Springer, (2021)Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think., , , and . RC, volume 13354 of Lecture Notes in Computer Science, page 93-107. Springer, (2022)Towards Verification of Dynamic Quantum Circuits., and . CoRR, (2021)