{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T20:16:57Z","timestamp":1764793017477,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,2]],"date-time":"2020-11-02T00:00:00Z","timestamp":1604275200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,2]]},"DOI":"10.1145\/3400302.3415622","type":"proceedings-article","created":{"date-parts":[[2020,12,18]],"date-time":"2020-12-18T01:16:38Z","timestamp":1608254198000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Considering decoherence errors in the simulation of quantum circuits using decision diagrams"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Grurl","sequence":"first","affiliation":[{"name":"University of Applied Sciences Upper Austria, Austria and Johannes Kepler University Linz, Austria"}]},{"given":"J\u00fcrgen","family":"Fu\u00df","sequence":"additional","affiliation":[{"name":"University of Applied Sciences Upper Austria, Austria"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Austria and Software Competence Center Hagenberg GmbH (SCCH), Hagenberg, Austria"}]}],"member":"320","published-online":{"date-parts":[[2020,12,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. Cirq: A Python Framework for Creating Editing and Invoking Noisy Intermediate Scale Quantum (NISQ) Circuits. github.com\/quantumlib\/Cirq. Accessed: 2020-01-22.  2019. Cirq: A Python Framework for Creating Editing and Invoking Noisy Intermediate Scale Quantum (NISQ) Circuits. github.com\/quantumlib\/Cirq. Accessed: 2020-01-22."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.2562110"},{"key":"e_1_3_2_1_3_1","unstructured":"Atos SE. 2016. Quantum Learning Machine. atos.net\/en\/products\/quantum-learning-machine. Accessed: 2019-11-20.  Atos SE. 2016. Quantum Learning Machine. atos.net\/en\/products\/quantum-learning-machine. Accessed: 2019-11-20."},{"key":"e_1_3_2_1_4_1","volume-title":"A Software Simulator for Noisy Quantum Circuits. arXiv:1908.05154","author":"Chaudhary Himanshu","year":"2019","unstructured":"Himanshu Chaudhary , Biplab Mahato , Lakshya Priyadarshi , Naman Roshan , Azad Utkarsh , and Apoorva Patel . 2019. A Software Simulator for Noisy Quantum Circuits. arXiv:1908.05154 ( 2019 ). Himanshu Chaudhary, Biplab Mahato, Lakshya Priyadarshi, Naman Roshan, Azad Utkarsh, and Apoorva Patel. 2019. A Software Simulator for Noisy Quantum Circuits. arXiv:1908.05154 (2019)."},{"key":"e_1_3_2_1_5_1","first-page":"1169","article-title":"Superconducting Circuits for Quantum Information","volume":"339","author":"Devoret Michael","year":"2013","unstructured":"Michael Devoret and Robert Schoelkopf . 2013 . Superconducting Circuits for Quantum Information : An Outlook. Science 339 (2013), 1169 -- 1174 . Michael Devoret and Robert Schoelkopf. 2013. Superconducting Circuits for Quantum Information: An Outlook. Science 339 (2013), 1169--1174.","journal-title":"An Outlook. Science"},{"key":"e_1_3_2_1_6_1","volume-title":"A Quantum Approximate Optimization Algorithm. arXiv:1411.4028","author":"Farhi Edward","year":"2014","unstructured":"Edward Farhi , Jeffrey Goldstone , and Sam Gutmann . 2014. A Quantum Approximate Optimization Algorithm. arXiv:1411.4028 ( 2014 ). Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. 2014. A Quantum Approximate Optimization Algorithm. arXiv:1411.4028 (2014)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2015.7095802"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/237814.237866"},{"key":"e_1_3_2_1_9_1","first-page":"176","article-title":"Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators","volume":"50","author":"Grurl Thomas","year":"2020","unstructured":"Thomas Grurl , J\u00fcrgen Fu\u00df , Stefan Hillmich , Lukas Burgholzer , and Robert Wille . 2020 . Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators . In Int'l Symp. on Multi-Valued Logic , Vol. 50. 176 -- 181 . Thomas Grurl, J\u00fcrgen Fu\u00df, Stefan Hillmich, Lukas Burgholzer, and Robert Wille. 2020. Arrays vs. Decision Diagrams: A Case Study on Quantum Circuit Simulators. In Int'l Symp. on Multi-Valued Logic, Vol. 50. 176--181.","journal-title":"Int'l Symp. on Multi-Valued Logic"},{"key":"e_1_3_2_1_10_1","volume-title":"QuEST and High Performance Simulation of Quantum Computers. arXiv preprint arXiv:1802.08032","author":"Jones Tyson","year":"2018","unstructured":"Tyson Jones , Anna Brown , Ian Bush , and Simon Benjamin . 2018. QuEST and High Performance Simulation of Quantum Computers. arXiv preprint arXiv:1802.08032 ( 2018 ). Tyson Jones, Anna Brown, Ian Bush, and Simon Benjamin. 2018. QuEST and High Performance Simulation of Quantum Computers. arXiv preprint arXiv:1802.08032 (2018)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0808245105"},{"key":"e_1_3_2_1_12_1","unstructured":"Julian Kelly. 2018. A Preview of Bristlecone Google's New Quantum Processor. https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html Accessed: 2019-05-19.  Julian Kelly. 2018. A Preview of Bristlecone Google's New Quantum Processor. https:\/\/ai.googleblog.com\/2018\/03\/a-preview-of-bristlecone-googles-new.html Accessed: 2019-05-19."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of the Neural Information Processing Systems","author":"Kerenidis Iordanis","year":"2019","unstructured":"Iordanis Kerenidis , Jonas Landman , Alessandro Luongo , and Anupam Prakash . 2019 . q-means: A quantum algorithm for unsupervised machine learning . Proc. of the Neural Information Processing Systems (2019). Iordanis Kerenidis, Jonas Landman, Alessandro Luongo, and Anupam Prakash. 2019. q-means: A quantum algorithm for unsupervised machine learning. Proc. of the Neural Information Processing Systems (2019)."},{"key":"e_1_3_2_1_14_1","volume-title":"QX: A High-Performance Quantum Computer Simulation Platform. In Design, Automation and Test in Europe.","author":"Khammassi Nader","year":"2017","unstructured":"Nader Khammassi , Imran Ashraf , Xiang Fu , Carmen Almudever , and Koen Bertels . 2017 . QX: A High-Performance Quantum Computer Simulation Platform. In Design, Automation and Test in Europe. Nader Khammassi, Imran Ashraf, Xiang Fu, Carmen Almudever, and Koen Bertels. 2017. QX: A High-Performance Quantum Computer Simulation Platform. In Design, Automation and Test in Europe."},{"key":"e_1_3_2_1_15_1","volume-title":"Docker: Lightweight Linux Containers for Consistent Development and Deployment. Linux Jour.","author":"Merkel Dirk","year":"2014","unstructured":"Dirk Merkel . 2014 . Docker: Lightweight Linux Containers for Consistent Development and Deployment. Linux Jour. 2014, 239, Article 2 (2014). Dirk Merkel. 2014. Docker: Lightweight Linux Containers for Consistent Development and Deployment. Linux Jour. 2014, 239, Article 2 (2014)."},{"volume-title":"IEEE World Congress on Computational Intelligence. 8597--8604","author":"Miller D. M.","key":"e_1_3_2_1_16_1","unstructured":"D. M. Miller , M. A. Thornton , and D. Goodman . 2006. A Decision Diagram Package for Reversible and Quantum Circuit Simulation . In IEEE World Congress on Computational Intelligence. 8597--8604 . D. M. Miller, M. A. Thornton, and D. Goodman. 2006. A Decision Diagram Package for Reversible and Quantum Circuit Simulation. In IEEE World Congress on Computational Intelligence. 8597--8604."},{"key":"e_1_3_2_1_17_1","volume-title":"Quantum algorithms: An overview. npj Quantum Information 2","author":"Montanaro Ashley","year":"2016","unstructured":"Ashley Montanaro . 2016. Quantum algorithms: An overview. npj Quantum Information 2 ( 2016 ), 15023. Ashley Montanaro. 2016. Quantum algorithms: An overview. npj Quantum Information 2 (2016), 15023."},{"volume-title":"Quantum Computation and Quantum Information","author":"Nielsen Michael","key":"e_1_3_2_1_18_1","unstructured":"Michael Nielsen and Isaac Chuang . 2000. Quantum Computation and Quantum Information . Cambridge Univ. Press . Michael Nielsen and Isaac Chuang. 2000. Quantum Computation and Quantum Information. Cambridge Univ. Press."},{"key":"e_1_3_2_1_19_1","first-page":"86","article-title":"QMDDs","volume":"35","author":"Niemann Philipp","year":"2016","unstructured":"Philipp Niemann , Robert Wille , David Michael Miller , Mitchell A. Thornton , and Rolf Drechsler . 2016 . QMDDs : Efficient Quantum Function Representation and Manipulation. 35 , 1 (2016), 86 -- 99 . Philipp Niemann, Robert Wille, David Michael Miller, Mitchell A. Thornton, and Rolf Drechsler. 2016. QMDDs: Efficient Quantum Function Representation and Manipulation. 35, 1 (2016), 86--99.","journal-title":"Efficient Quantum Function Representation and Manipulation."},{"volume-title":"Overcoming the Trade-off between Accuracy and Compactness in Decision Diagrams for Quantum Computation","author":"Niemann Philipp","key":"e_1_3_2_1_20_1","unstructured":"Philipp Niemann , Alwin Zulehner , Rolf Drechsler , and Robert Wille . 2020. Overcoming the Trade-off between Accuracy and Compactness in Decision Diagrams for Quantum Computation . In IEEE Trans. on CAD of Integrated Circuits and Systems. IEEE. Philipp Niemann, Alwin Zulehner, Rolf Drechsler, and Robert Wille. 2020. Overcoming the Trade-off between Accuracy and Compactness in Decision Diagrams for Quantum Computation. In IEEE Trans. on CAD of Integrated Circuits and Systems. IEEE."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.98.022321"},{"key":"e_1_3_2_1_22_1","volume-title":"Improved BDD Algorithms for the Simulation of Quantum Circuits. In European Symp. on Algorithms. 720--731","author":"Samoladas Vasilis","year":"2008","unstructured":"Vasilis Samoladas . 2008 . Improved BDD Algorithms for the Simulation of Quantum Circuits. In European Symp. on Algorithms. 720--731 . Vasilis Samoladas. 2008. Improved BDD Algorithms for the Simulation of Quantum Circuits. In European Symp. on Algorithms. 720--731."},{"key":"e_1_3_2_1_23_1","volume-title":"Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. 26, 5","author":"Shor Peter W.","year":"1997","unstructured":"Peter W. Shor . 1997. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. 26, 5 ( 1997 ), 1484--1509. Peter W. Shor. 1997. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. 26, 5 (1997), 1484--1509."},{"key":"e_1_3_2_1_24_1","volume-title":"qHiPSTER: The Quantum High Performance Software Testing Environment. Computing Research Repository abs\/1601.07195","author":"Smelyanskiy Mikhail","year":"2016","unstructured":"Mikhail Smelyanskiy , Nicolas P. D. Sawaya , and Al\u00e1n Aspuru-Guzik . 2016. qHiPSTER: The Quantum High Performance Software Testing Environment. Computing Research Repository abs\/1601.07195 ( 2016 ). Mikhail Smelyanskiy, Nicolas P. D. Sawaya, and Al\u00e1n Aspuru-Guzik. 2016. qHiPSTER: The Quantum High Performance Software Testing Environment. Computing Research Repository abs\/1601.07195 (2016)."},{"key":"e_1_3_2_1_25_1","volume-title":"ProjectQ: An open source software framework for quantum computing. Quantum 2","author":"Steiger Damian","year":"2018","unstructured":"Damian Steiger , Thomas H\u00e4ner , and Matthias Troyer . 2018. ProjectQ: An open source software framework for quantum computing. Quantum 2 ( 2018 ). Damian Steiger, Thomas H\u00e4ner, and Matthias Troyer. 2018. ProjectQ: An open source software framework for quantum computing. Quantum 2 (2018)."},{"key":"e_1_3_2_1_26_1","volume-title":"Not All Qubits Are Created Equal. arXiv:1805.10224","author":"Tannu Swamit","year":"2018","unstructured":"Swamit Tannu and Moinuddin Qureshi . 2018. Not All Qubits Are Created Equal. arXiv:1805.10224 ( 2018 ). Swamit Tannu and Moinuddin Qureshi. 2018. Not All Qubits Are Created Equal. arXiv:1805.10224 (2018)."},{"key":"e_1_3_2_1_27_1","unstructured":"George Viamontes Igor Markov and John Hayes. 2004. High-performance QuIDD-based simulation of quantum circuits. In Design Automation and Test in Europe. 1354--1355.  George Viamontes Igor Markov and John Hayes. 2004. High-performance QuIDD-based simulation of quantum circuits. In Design Automation and Test in Europe. 1354--1355."},{"key":"e_1_3_2_1_28_1","volume-title":"Efficient classical simulation of slightly entangled quantum computations. Physical review letters 91, 14","author":"Vidal Guifr\u00e9","year":"2003","unstructured":"Guifr\u00e9 Vidal . 2003. Efficient classical simulation of slightly entangled quantum computations. Physical review letters 91, 14 ( 2003 ). Guifr\u00e9 Vidal. 2003. Efficient classical simulation of slightly entangled quantum computations. Physical review letters 91, 14 (2003)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Benjamin Villalonga Sergio Boixo Bron Nelson etal 2019. A flexible highperformance simulator for verifying and benchmarking quantum circuits implemented on real hardware. npj Quantum Information 5 1 (2019).  Benjamin Villalonga Sergio Boixo Bron Nelson et al. 2019. A flexible highperformance simulator for verifying and benchmarking quantum circuits implemented on real hardware. npj Quantum Information 5 1 (2019).","DOI":"10.1038\/s41534-019-0196-1"},{"key":"e_1_3_2_1_30_1","volume-title":"A Software Design Architecture and Domain-Specific Language for Quantum Computing. arXiv:1402.4467","author":"Wecker Dave","year":"2014","unstructured":"Dave Wecker and Krysta Svore . 2014. LIQ Ui |> : A Software Design Architecture and Domain-Specific Language for Quantum Computing. arXiv:1402.4467 ( 2014 ). Dave Wecker and Krysta Svore. 2014. LIQUi |>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. arXiv:1402.4467 (2014)."},{"key":"e_1_3_2_1_31_1","volume-title":"Approximation of Quantum States Using Decision Diagrams. In Asia and South Pacific Design Automation Conf. 121--126","author":"Zulehner Alwin","year":"2020","unstructured":"Alwin Zulehner , Stefan Hillmich , Igor Markov , and Robert Wille . 2020 . Approximation of Quantum States Using Decision Diagrams. In Asia and South Pacific Design Automation Conf. 121--126 . Alwin Zulehner, Stefan Hillmich, Igor Markov, and Robert Wille. 2020. Approximation of Quantum States Using Decision Diagrams. In Asia and South Pacific Design Automation Conf. 121--126."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","unstructured":"Alwin Zulehner Stefan Hillmich and Robert Wille. 2019. How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. In Int'l Conf. on CAD.  Alwin Zulehner Stefan Hillmich and Robert Wille. 2019. How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing. In Int'l Conf. on CAD.","DOI":"10.1109\/ICCAD45719.2019.8942057"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Alwin Zulehner Philipp Niemann Rolf Drechsler and Robert Wille. 2019. Accuracy and Compactness in Decision Diagrams for Quantum Computation. In Design Automation and Test in Europe. 280--283.  Alwin Zulehner Philipp Niemann Rolf Drechsler and Robert Wille. 2019. Accuracy and Compactness in Decision Diagrams for Quantum Computation. In Design Automation and Test in Europe. 280--283.","DOI":"10.23919\/DATE.2019.8715040"},{"key":"e_1_3_2_1_34_1","article-title":"Advanced Simulation of Quantum Computations","author":"Zulehner Alwin","year":"2018","unstructured":"Alwin Zulehner and Robert Wille . 2018 . Advanced Simulation of Quantum Computations . IEEE Trans. on CAD of Integrated Circuits and Systems. Alwin Zulehner and Robert Wille. 2018. Advanced Simulation of Quantum Computations. IEEE Trans. on CAD of Integrated Circuits and Systems.","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Alwin Zulehner and Robert Wille. 2019. Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. In Design Automation and Test in Europe. 90--95.  Alwin Zulehner and Robert Wille. 2019. Matrix-Vector vs. Matrix-Matrix Multiplication: Potential in DD-based Simulation of Quantum Computations. In Design Automation and Test in Europe. 90--95.","DOI":"10.23919\/DATE.2019.8714836"}],"event":{"name":"ICCAD '20: IEEE\/ACM International Conference on Computer-Aided Design","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA","IEEE CS"],"location":"Virtual Event USA","acronym":"ICCAD '20"},"container-title":["Proceedings of the 39th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415622","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3400302.3415622","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:41Z","timestamp":1750195901000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3400302.3415622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,2]]},"references-count":35,"alternative-id":["10.1145\/3400302.3415622","10.1145\/3400302"],"URL":"https:\/\/doi.org\/10.1145\/3400302.3415622","relation":{},"subject":[],"published":{"date-parts":[[2020,11,2]]},"assertion":[{"value":"2020-12-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}