{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T15:17:26Z","timestamp":1774538246003,"version":"3.50.1"},"publisher-location":"Cham","reference-count":114,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031641350","type":"print"},{"value":"9783031641367","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T00:00:00Z","timestamp":1724371200000},"content-version":"vor","delay-in-days":235,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100012163","name":"Universit\u00e4t Innsbruck","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012163","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Quantum software is becoming a key enabler for applying quantum computing to industrial use cases. This poses challenges to quantum software engineering in providing efficient and effective means to develop such software. Eventually, this must be reliably achieved in time, on budget, and in quality, using sound and well-principled engineering approaches. Given that quantum computers are based on fundamentally different principles than classical machines, this raises the question if, how, and to what extent established techniques for systematically engineering software need to be adapted. In this chapter, we analyze three paradigmatic application scenarios for quantum software engineering from an industrial perspective. The respective use cases center around (1) optimization and quantum cloud services, (2) quantum simulation, and (3) embedded quantum computing. Our aim is to provide a concise overview of the current and future applications of quantum computing in diverse industrial settings. We derive presumed challenges for quantum software engineering and thus provide research directions for this emerging field.<\/jats:p>","DOI":"10.1007\/978-3-031-64136-7_12","type":"book-chapter","created":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T13:48:28Z","timestamp":1724420908000},"page":"311-335","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective"],"prefix":"10.1007","author":[{"given":"Cecilia","family":"Carbonelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Felderer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Jung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"Lobe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malte","family":"Lochau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Luber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Mauerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolf","family":"Ramler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Schaefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Schroth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,23]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Aaronson, S.: Quantum Computing Since Democritus. Cambridge University Press, USA (2013). ISBN:0521199565","DOI":"10.1017\/CBO9780511979309"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Abreu, R., et al.: Metamorphic Testing of Oracle Quantum Programs. In: 2022 IEEE\/ACM 3rd International Workshop on Quantum Software Engineering (Q-SE), pp. 16\u201323 (2022). https:\/\/doi.org\/10.1145\/3528230.3529189","DOI":"10.1145\/3528230.3529189"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Akshay, V., et al.: Reachability deficits in quantum approximate optimization. Phys. Rev. Lett. 124(9), 090504 (Mar. 2020). https:\/\/doi.org\/10.1103\/PhysRevLett.124.090504. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.124.090504","DOI":"10.1103\/PhysRevLett.124.090504"},{"key":"12_CR4","doi-asserted-by":"publisher","unstructured":"Alam, M., Ash-Saki, A., Ghosh, S.: Design-Space Exploration of Quantum Approximate Optimization Algorithm under Noise. In: 2020 IEEE Custom Integrated Circuits Conference (CICC), pp. 1\u20134 (2020). https:\/\/doi.org\/10.1109\/CICC48029.2020.9075903","DOI":"10.1109\/CICC48029.2020.9075903"},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Algaba, M.G., et al.: Co-design quantum simulation of nanoscale NMR. Phys. Rev. Res. 4(4), 043089 (Nov. 2022). https:\/\/doi.org\/10.1103\/PhysRevResearch.4.043089. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevResearch.4.043089","DOI":"10.1103\/PhysRevResearch.4.043089"},{"issue":"4","key":"12_CR6","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3512340","volume":"65","author":"S Ali","year":"2022","unstructured":"Ali, S., Yue, T., Abreu, R.: When software engineering meets quantum computing. Commun. ACM 65(4), 84\u201388 (Mar. 2022). ISSN:0001-0782. https:\/\/doi.org\/10.1145\/3512340","journal-title":"Commun. ACM"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","DOI":"10.1103\/PRXQuantum.2.017003","volume":"2","author":"E Altman","year":"2021","unstructured":"Altman, E., et al.: Quantum simulators: Architectures and opportunities. PRX Quantum 2(1), 017003 (2021)","journal-title":"PRX Quantum"},{"key":"12_CR8","isbn-type":"print","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-00761-4_8","volume-title":"Software Architecture","author":"PO Antonino","year":"2018","unstructured":"Antonino, P.O., et al.: Enabling Continuous Software Engineering for Embedded Systems Architectures with Virtual Prototypes. In: Cuesta, C.E., Garlan, D., P\u00e9rez, J. (eds.) Software Architecture, pp. 115\u2013130. Springer International Publishing, Cham (2018). ISBN:978-3-030-00761-4","ISBN":"https:\/\/id.crossref.org\/isbn\/9783030007614"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Awasthi, A., et al.: Quantum Computing Techniques for Multi-Knapsack Problems (2023). https:\/\/doi.org\/10.48550\/ARXIV.2301.05750. https:\/\/arxiv.org\/abs\/2301.05750","DOI":"10.48550\/ARXIV.2301.05750"},{"key":"12_CR10","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. SEI Series in Software Engineering. Addison-Wesley (2003). ISBN:9780321154958"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Bayerstadler, A., et al.: Industry quantum computing applications. EPJ Quantum Technol. 8(1), (Nov. 2021). https:\/\/doi.org\/10.1140\/epjqt\/s40507-021-00114-x. https:\/\/epjquantumtechnology.springeropen.com\/track\/pdf\/10.1140\/epjqt\/s40507-021-00114-x.pdf","DOI":"10.1140\/epjqt\/s40507-021-00114-x"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Becker, C.K.-U., Gheorghe-Pop, I.-D., Tcholtchev, N.: A Testing Pipeline for Quantum Computing Applications. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00016"},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Bharti, K., et al.: Noisy intermediate-scale quantum algorithms. Rev. Mod. Phys. 94(1), 015004 (Feb. 2022). https:\/\/doi.org\/10.1103\/RevModPhys.94.015004. https:\/\/link.aps.org\/doi\/10.1103\/RevModPhys.94.015004","DOI":"10.1103\/RevModPhys.94.015004"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Bichsel, B., et al.: Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, pp. 286\u2013300. Association for Computing Machinery, London, UK (2020). ISBN:9781450376136. https:\/\/doi.org\/10.1145\/3385412.3386007","DOI":"10.1145\/3385412.3386007"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Bittner, T., Groppe, S.: Avoiding Blocking by Scheduling Transactions Using Quantum Annealing. In: Proceedings of the 24th Symposium on International Database Engineering & Applications, IDEAS \u201920. Association for Computing Machinery, Seoul, Republic of Korea (2020). ISBN:9781450375030. https:\/\/doi.org\/10.1145\/3410566.3410593","DOI":"10.1145\/3410566.3410593"},{"issue":"4","key":"12_CR16","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1038\/nphys2252","volume":"8","author":"R Blatt","year":"2012","unstructured":"Blatt, R., Roos, C.F.: Quantum simulations with trapped ions. Nature Phys. 8(4), 277\u2013284 (2012)","journal-title":"Nature Phys."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Blekos, K., et al.: A Review on Quantum Approximate Optimization Algorithm and Its Variants (2023). arXiv:2306.09198 [quant-ph]","DOI":"10.1016\/j.physrep.2024.03.002"},{"key":"12_CR18","doi-asserted-by":"publisher","unstructured":"Buluta, I., Nori, F.: Quantum simulators. Science 326(5949), 108\u2013111 (2009). https:\/\/doi.org\/10.1126\/science.1177838. eprint: https:\/\/www.science.org\/doi\/pdf\/10.1126\/science.1177838. https:\/\/www.science.org\/doi\/abs\/10.1126\/science.1177838","DOI":"10.1126\/science.1177838"},{"key":"12_CR19","unstructured":"Business Value II for: The Quantum Decade: A Playbook for Achieving Awareness, Readiness, and Advantage. IBM Institute for Business Value (2021). ISBN:9781737401100. https:\/\/books.google.de\/books?id=MeN%5C_zgEACAAJ"},{"issue":"4","key":"12_CR20","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1038\/nphys2275","volume":"8","author":"JI Cirac","year":"2012","unstructured":"Cirac, J.I., Zoller, P.: Goals and opportunities in quantum simulation. Nature Phys. 8(4), 264\u2013266 (2012). https:\/\/doi.org\/10.1038\/nphys2275","journal-title":"Nature Phys."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Cross, A., et al.: OpenQASM 3: A broader and deeper quantum assembly language. ACM Trans. Quantum Comput. 3(3), (Sept. 2022). ISSN:2643-6809. https:\/\/doi.org\/10.1145\/3505636","DOI":"10.1145\/3505636"},{"issue":"7581","key":"12_CR22","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1038\/nature16059","volume":"528","author":"TS Cubitt","year":"2015","unstructured":"Cubitt, T.S., Perez-Garcia, D., Wolf, M.M.: Undecidability of the spectral gap. Nature 528(7581), 207\u2013211 (2015). https:\/\/doi.org\/10.1038\/nature16059","journal-title":"Nature"},{"key":"12_CR23","unstructured":"D-Wave Systems Inc.: D-Wave Systems Leap Cloud Service (2023). https:\/\/cloud.dwavesys.com\/leap\/ visited 2023-03-03"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"De Andoin, M.G., et al.: Comparative Benchmark of a Quantum Algorithm for the Bin Packing Problem. In: 2022 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 930\u2013937. IEEE (2022)","DOI":"10.1109\/SSCI51031.2022.10022156"},{"issue":"9","key":"12_CR25","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1109\/TCAD.2020.3032072","volume":"40","author":"A Deb","year":"2020","unstructured":"Deb, A., Dueck, G.W., Wille, R.: Exploring the potential benefits of alternative quantum computing architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(9), 1825\u20131835 (2020)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Delgado, A., et al.: Simulating key properties of lithium-ion batteries with a fault-tolerant quantum computer. Phys. Rev. A 106(3), 032428 (Sept. 2022). https:\/\/doi.org\/10.1103\/PhysRevA.106.032428. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.106.032428","DOI":"10.1103\/PhysRevA.106.032428"},{"key":"12_CR27","doi-asserted-by":"publisher","unstructured":"Deng, Y.-H., et al.: Solving graph problems using Gaussian Boson sampling. Phys. Rev. Lett. 130(19), 190601 (May 2023). https:\/\/doi.org\/10.1103\/PhysRevLett.130.190601. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.130.190601","DOI":"10.1103\/PhysRevLett.130.190601"},{"issue":"10","key":"12_CR28","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/3524109","volume":"65","author":"A Deshpande","year":"2022","unstructured":"Deshpande, A.: Assessing the quantum-computing landscape. Commun. ACM 65(10), 57\u201365 (2022)","journal-title":"Commun. ACM"},{"key":"12_CR29","unstructured":"Dey, N., et al.: QDLC \u2013 The Quantum Development Life Cycle (2020). arXiv:2010.08053 [cs.ET]"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Ding, Y., et al.: Systematic Crosstalk Mitigation for Superconducting Qubits via Frequency-Aware Compilation. In: 2020 53rd Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO), pp. 201\u2013214 (2020). https:\/\/doi.org\/10.1109\/MICRO50266.2020.00028","DOI":"10.1109\/MICRO50266.2020.00028"},{"issue":"1","key":"12_CR31","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1038\/s42254-022-00535-2","volume":"5","author":"A Elben","year":"2023","unstructured":"Elben, A., et al.: The randomized measurement toolbox. Nature Rev. Phys. 5(1), 9\u201324 (2023). https:\/\/doi.org\/10.1038\/s42254-022-00535-2","journal-title":"Nature Rev. Phys."},{"key":"12_CR32","doi-asserted-by":"crossref","unstructured":"Evans, A., et al.: MCBeth: A Measurement Based Quantum Programming Language (2022). arXiv:2204.10784 [cs.PL]","DOI":"10.1109\/Q-SE59154.2023.00007"},{"key":"12_CR33","doi-asserted-by":"publisher","unstructured":"Farhi, E., Goldstone, J., Gutmann, S.: A Quantum Approximate Optimization Algorithm (2014). https:\/\/doi.org\/10.48550\/ARXIV.1411.4028. https:\/\/arxiv.org\/abs\/1411.4028","DOI":"10.48550\/ARXIV.1411.4028"},{"issue":"1","key":"12_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1186\/s41313-021-00032-6","volume":"6","author":"DA Fedorov","year":"2022","unstructured":"Fedorov, D.A., et al.: VQE method: a short survey and recent developments. Mater. Theory 6(1), 2 (2022). https:\/\/doi.org\/10.1186\/s41313-021-00032-6","journal-title":"Mater. Theory"},{"key":"12_CR35","doi-asserted-by":"crossref","unstructured":"Feng, Y., Duan, R., Ying, M.: Bisimulation for quantum processes. ACM Trans. Program. Lang. Syst. 34(4), (2012). https:\/\/doi.org\/10.1145\/2400676.2400680","DOI":"10.1145\/2400676.2400680"},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Fortnow, L.: One Complexity Theorist\u2019s View of Quantum Computing. In: Electronic Notes in Theoretical Computer Science. 31 CATS 2000 Computing: the Australasian Theory Symposium, pp. 58\u201372 (2000). ISSN:1571-0661. https:\/\/doi.org\/10.1016\/S1571-0661(05)80330-5. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066105803305","DOI":"10.1016\/S1571-0661(05)80330-5"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Furutanpey, A., et al.: Architectural Vision for Quantum Computing in the Edge-Cloud Continuum. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00021"},{"key":"12_CR38","doi-asserted-by":"publisher","unstructured":"Garc\u00eca de la Barrera, A., et al.: Quantum software testing: State of the art. J. Software Evol. Process 35(4), e2419 (2023). https:\/\/doi.org\/10.1002\/smr.2419. https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1002\/smr.2419","DOI":"10.1002\/smr.2419"},{"issue":"9","key":"12_CR39","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/s11128-021-03239-1","volume":"20","author":"FG Gemeinhardt","year":"2021","unstructured":"Gemeinhardt, F.G., Wille, R., Wimmer, M.: Quantum k-community detection: algorithm proposals and cross-architectural evaluation. Quantum Inf. Process. 20(9), 302 (2021)","journal-title":"Quantum Inf. Process."},{"issue":"1","key":"12_CR40","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1103\/RevModPhys.86.153","volume":"86","author":"IM Georgescu","year":"2014","unstructured":"Georgescu, I.M., Ashhab, S., Nori, F.: Quantum simulation. Rev. Modern Phys. 86(1), 153 (2014)","journal-title":"Rev. Modern Phys."},{"issue":"1","key":"12_CR41","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s00165-017-0440-4","volume":"30","author":"M Gerhold","year":"2018","unstructured":"Gerhold, M., Stoelinga, M.: Model-based testing of probabilistic systems. Formal Aspects Comput. 30(1), 77\u2013106 (Jan. 2018). ISSN:0934-5043. https:\/\/doi.org\/10.1007\/s00165-017-0440-4","journal-title":"Formal Aspects Comput."},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"Girbal, S., et al.: On the convergence of mainstream and mission-critical markets. In: 2013 50th ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 1\u201310 (May 2013). https:\/\/doi.org\/10.1145\/2463209.2488962","DOI":"10.1145\/2463209.2488962"},{"key":"12_CR43","doi-asserted-by":"crossref","unstructured":"Greiwe, F., Kr\u00fcger, T., Mauerer, W.: Effects of Imperfections on Quantum Algorithms: A Software Engineering Perspective. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00014"},{"key":"12_CR44","doi-asserted-by":"publisher","unstructured":"Hangleiter, D., Eisert, J.: Computational advantage of quantum random sampling. Rev. Modern Phys. 95(3), (July 2023). https:\/\/doi.org\/10.1103\/revmodphys.95.035001","DOI":"10.1103\/revmodphys.95.035001"},{"key":"12_CR45","isbn-type":"print","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-23866-6_18","volume-title":"Knowledge-Based and Intelligent Information and Engineering Systems","author":"K Heckemann","year":"2011","unstructured":"Heckemann, K., et al.: Safe Automotive Software. In: K\u00f6nig, A., et al. (eds.) Knowledge-Based and Intelligent Information and Engineering Systems, pp. 167\u2013176. Springer, Berlin, Heidelberg (2011). ISBN:978-3-642-23866-6","ISBN":"https:\/\/id.crossref.org\/isbn\/9783642238666"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Herrmann, N., et al.: Quantum Utility\u2014Definition and Assessment of a Practical Quantum Advantage. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00028"},{"key":"12_CR47","doi-asserted-by":"crossref","unstructured":"Klamroth, J., et al.: QIn: Enabling Formal Methods to Deal with Quantum Circuits. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00029"},{"issue":"10","key":"12_CR48","doi-asserted-by":"publisher","first-page":"2375","DOI":"10.1109\/TCAD.2019.2962753","volume":"39","author":"A Kole","year":"2019","unstructured":"Kole, A., et al.: Improved mapping of quantum circuits to IBM QX architectures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(10), 2375\u20132383 (2019)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"12_CR49","doi-asserted-by":"publisher","unstructured":"Kreppel, F., et al.: Quantum Circuit Compiler for a Shuttling-Based Trapped-Ion Quantum Computer (2022). https:\/\/doi.org\/10.48550\/ARXIV.2207.01964. https:\/\/arxiv.org\/abs\/2207.01964","DOI":"10.48550\/ARXIV.2207.01964"},{"key":"12_CR50","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, T., Mauerer, W.: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving (2020). Q-SE@ICSE. https:\/\/arxiv.org\/abs\/2005.05465","DOI":"10.1145\/3387940.3391472"},{"issue":"1","key":"12_CR51","first-page":"1457981","volume":"3","author":"L Lamata","year":"2018","unstructured":"Lamata, L., et al.: Digital-analog quantum simulations with superconducting circuits. Adv. Phys. X 3(1), 1457981 (2018). https:\/\/doi.org\/10.1080\/23746149.2018.1457981","journal-title":"Adv. Phys. X"},{"key":"12_CR52","doi-asserted-by":"crossref","unstructured":"Li, G., et al.: On the Co-Design of Quantum Software and Hardware. In: Proceedings of the Eight Annual ACM International Conference on Nanoscale Computing and Communication NANOCOM \u201921 Association for Computing Machinery, Virtual Event, Italy (2021). ISBN:9781450387101. https:\/\/doi.org\/10.1145\/3477206.3477464","DOI":"10.1145\/3477206.3477464"},{"key":"12_CR53","unstructured":"Liu, J., et al.: Noise can be helpful for variational quantum algorithms (Oct. 2022). arXiv: 2210.06723 [quant-ph]"},{"key":"12_CR54","doi-asserted-by":"publisher","unstructured":"Lloyd, S.: Universal quantum simulators. Science 273(5278), 1073\u20131078 (1996). https:\/\/doi.org\/10.1126\/science.273.5278.1073. eprint: https:\/\/www.science.org\/doi\/pdf\/10.1126\/science.273.5278.1073. https:\/\/www.science.org\/doi\/abs\/10.1126\/science.273.5278.1073","DOI":"10.1126\/science.273.5278.1073"},{"key":"12_CR55","unstructured":"Lobe, E., Stollenwerk, T.: QUARK (Feb. 2022). https:\/\/quantum-computing-software.gitlab.io\/quark\/"},{"key":"12_CR56","doi-asserted-by":"publisher","unstructured":"Lubinski, T., et al.: Advancing hybrid quantum-classical computation with real-time execution. Front. Phys. 10, (2022). ISSN:2296-424X. https:\/\/doi.org\/10.3389\/fphy.2022.940293. https:\/\/www.frontiersin.org\/articles\/10.3389\/fphy.2022.940293","DOI":"10.3389\/fphy.2022.940293"},{"key":"12_CR57","doi-asserted-by":"crossref","unstructured":"Marwedel, P.: Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, Second Edition. Embedded Systems Springer (2011). ISBN: 978-94-007-0256-1. https:\/\/doi.org\/10.1007\/978-94-007-0257-8","DOI":"10.1007\/978-94-007-0257-8_1"},{"key":"12_CR58","doi-asserted-by":"publisher","unstructured":"Mauerer, W.: Semantics and simulation of communication in quantum programming (2005). https:\/\/doi.org\/10.48550\/ARXIV.QUANT-PH\/0511145. https:\/\/arxiv.org\/abs\/quant-ph\/0511145","DOI":"10.48550\/ARXIV.QUANT-PH\/0511145"},{"key":"12_CR59","doi-asserted-by":"publisher","unstructured":"Mauerer, W., Joblin, M., et al.: In search of socio-technical congruence: A large-scale longitudinal study. IEEE Trans. Software Eng. (01), 1\u20131 (May 2021). ISSN: 1939-3520. https:\/\/doi.org\/10.1109\/TSE.2021.3082074. https:\/\/www.computer.org\/csdl\/journal\/ts\/5555\/01\/09436025\/1tJsglfkGru","DOI":"10.1109\/TSE.2021.3082074"},{"key":"12_CR60","doi-asserted-by":"crossref","unstructured":"Mauerer, W., Scherzinger, S.: 1-2-3 Reproducibility for Quantum Software Experiments. Q-SANER@IEEE International Conference on Software Analysis, Evolution and Reengineering (2022)","DOI":"10.1109\/SANER53432.2022.00148"},{"key":"12_CR61","doi-asserted-by":"crossref","unstructured":"Medvidovi\u0107, M., Carleo, G.: Classical variational simulation of the quantum approximate optimization algorithm. npj Quantum Inf. 7(1), 101 (2021)","DOI":"10.1038\/s41534-021-00440-z"},{"key":"12_CR62","doi-asserted-by":"publisher","unstructured":"Miranskyy, A., Zhang, L.: On Testing Quantum Programs. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), pp. 57\u201360 (2019). https:\/\/doi.org\/10.1109\/ICSE-NIER.2019.00023","DOI":"10.1109\/ICSE-NIER.2019.00023"},{"issue":"2","key":"12_CR63","doi-asserted-by":"publisher","DOI":"10.1116\/5.0036562","volume":"3","author":"M Morgado","year":"2021","unstructured":"Morgado, M., Whitlock, S.: Quantum simulation and computing with Rydberg-interacting qubits. AVS Quantum Sci. 3(2), 023501 (June 2021). https:\/\/doi.org\/10.1116\/5.0036562","journal-title":"AVS Quantum Sci."},{"key":"12_CR64","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2000","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)"},{"key":"12_CR65","doi-asserted-by":"publisher","unstructured":"Pashayan, H., Wallman, J.J., Bartlett, S.D.: Estimating outcome probabilities of quantum circuits using quasiprobabilities. Phys. Rev. Lett. 115(7), 070501(Aug. 2015). https:\/\/doi.org\/10.1103\/PhysRevLett.115.070501. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevLett.115.070501","DOI":"10.1103\/PhysRevLett.115.070501"},{"issue":"3","key":"12_CR66","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1021\/acsengineeringau.1c00033","volume":"2","author":"HP Paudel","year":"2022","unstructured":"Paudel, H.P., et al.: Quantum computing and simulations for energy applications: review and perspective. ACS Eng. Au 2(3), 151\u2013196 (2022). https:\/\/doi.org\/10.1021\/acsengineeringau.1c00033","journal-title":"ACS Eng. Au"},{"key":"12_CR67","doi-asserted-by":"crossref","unstructured":"Peham, T., Burgholzer, L., Wille, R.: Equivalence checking paradigms in quantum circuit design: a case study. In: Oshana, R. (ed.) DAC \u201922: 59th ACM\/IEEE Design Automation Conference, San Francisco, California, USA, July 10\u201314, 2022, pp. 517\u2013522. ACM (2022). https:\/\/doi.org\/10.1145\/3489517.3530480","DOI":"10.1145\/3489517.3530480"},{"key":"12_CR68","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1140\/epjst\/e2015-02347-y","volume":"224","author":"A Perdomo-Ortiz","year":"2015","unstructured":"Perdomo-Ortiz, A., et al.: A quantum annealing approach for fault detection and diagnosis of graph-based systems. Eur. Phys. J. Special Top. 224, 131\u2013148 (2015)","journal-title":"Eur. Phys. J. Special Top."},{"key":"12_CR69","doi-asserted-by":"crossref","unstructured":"P\u00e9rez-Delgado, C.A., Perez-Gonzalez, H.G.: Towards a Quantum Software Modeling Language. In: Proceedings of the IEEE\/ACM 42nd International Conference on Software Engineering Workshops ICSEW\u201920, pp. 442\u2013444. Association for Computing Machinery, Seoul, Republic of Korea (2020). ISBN:9781450379632. https:\/\/doi.org\/10.1145\/3387940.3392183","DOI":"10.1145\/3387940.3392183"},{"key":"12_CR70","doi-asserted-by":"crossref","unstructured":"Poggel, B., et al.: Recommending Solution Paths for Solving Optimization Problems with Quantum Computing. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00017"},{"key":"12_CR71","doi-asserted-by":"publisher","unstructured":"Qiskit Contributors.: Qiskit: An Open-Source Framework for Quantum Computing (2023). https:\/\/doi.org\/10.5281\/zenodo.2573505","DOI":"10.5281\/zenodo.2573505"},{"key":"12_CR72","doi-asserted-by":"crossref","unstructured":"Quetschlich, N., Burgholzer, L., Wille, R.: Predicting good quantum circuit compilation options. In: 2023 IEEE International Conference on Quantum Software (QSW), pp. 43\u201353. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00015"},{"key":"12_CR73","doi-asserted-by":"publisher","unstructured":"Ramsauer, R., et al.: Static Hardware Partitioning on RISC-V - Shortcomings, Limitations, and Prospects. In: 8th IEEE World Forum on Internet of Things (IEEE WFIoT2022) (July 2022). https:\/\/doi.org\/10.48550\/arXiv.2208.02703. https:\/\/arxiv.org\/abs\/2208.02703","DOI":"10.48550\/arXiv.2208.02703"},{"key":"12_CR74","isbn-type":"print","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-54549-9_1","volume-title":"Computer Safety, Reliability, and Security","author":"J Reich","year":"2020","unstructured":"Reich, J., Schneider, D., et al.: Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities. In: Casimiro, A., et al. (eds.) Computer Safety, Reliability, and Security, pp. 3\u201317. Springer International Publishing, Cham (2020). ISBN:978-3-030-54549-9","ISBN":"https:\/\/id.crossref.org\/isbn\/9783030545499"},{"key":"12_CR75","isbn-type":"print","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-86507-8_1","volume-title":"Dependable Computing - EDCC 2021 Workshops","author":"J Reich","year":"2021","unstructured":"Reich, J., Wellstein, M., et al.: Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles. In: Adler, R., et al. (eds.) Dependable Computing - EDCC 2021 Workshops, pp. 3\u201311. Springer International Publishing, Cham (2021). ISBN:978-3-030-86507-8","ISBN":"https:\/\/id.crossref.org\/isbn\/9783030865078"},{"key":"12_CR76","doi-asserted-by":"crossref","unstructured":"Resch, S., Karpuzcu, U.R.: Benchmarking quantum computers and the impact of quantum noise. ACM Comput. Surv. 54(7), (July 2021). ISSN:0360-0300. https:\/\/doi.org\/10.1145\/3464420","DOI":"10.1145\/3464420"},{"key":"12_CR77","unstructured":"Rice, J.E., et al.: Quantum computation of dominant products in lithium\u2013sulfur batteries. J. Chem. Phys. 154(13), 134115 (Apr. 2021). ISSN:0021-9606. https:\/\/doi.org\/10.1063\/5.0044068. eprint: https:\/\/pubs.aip.org\/aip\/jcp\/article-pdf\/doi\/10.1063\/5.0044068\/15588046\/134115_1_online.pdf"},{"issue":"3","key":"12_CR78","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1080\/00107514.2019.1667078","volume":"60","author":"J Roffe","year":"2019","unstructured":"Roffe, J.: Quantum error correction: an introductory guide. Contemp. Phys. 60(3), 226\u2013245 (2019). https:\/\/doi.org\/10.1080\/00107514.2019.1667078","journal-title":"Contemp. Phys."},{"key":"12_CR79","doi-asserted-by":"crossref","unstructured":"Safi, H., Wintersperger, K., Mauerer, W.: Influence of HW-SW-Co-Design on Quantum Computing Scalability. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00022"},{"key":"12_CR80","doi-asserted-by":"crossref","unstructured":"Saurabh, N., Jha, S., Luckow, A.: A Conceptual Architecture for a Middleware for Hybrid Quantum-HPC Application Workflows. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00023"},{"key":"12_CR81","doi-asserted-by":"crossref","unstructured":"Sax, I., et al.: Approximate Approximation on a Quantum Annealer. In: Proceedings of the 17th ACM International Conference on Computing Frontiers, pp. 108\u2013117 (2020). https:\/\/arxiv.org\/pdf\/2004.09267","DOI":"10.1145\/3387902.3392635"},{"key":"12_CR82","doi-asserted-by":"publisher","unstructured":"Schmale, T., et al.: Backend compiler phases for trapped-ion quantum computers. In: 2022 IEEE International Conference on Quantum Software (QSW), pp. 32\u201337. IEEE Computer Society, Los Alamitos, CA, USA (July 2022). https:\/\/doi.org\/10.1109\/QSW55613.2022.00020. https:\/\/doi.ieeecomputersociety.org\/10.1109\/QSW55613.2022.00020","DOI":"10.1109\/QSW55613.2022.00020"},{"key":"12_CR83","doi-asserted-by":"publisher","unstructured":"Sch\u00f6nberger, M., Franz, M., et al.: Peel \u2014 Pile? Cross-Framework Portability of Quantum Software. In: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), pp. 164\u2013169 (2022). https:\/\/doi.org\/10.1109\/ICSA-C54293.2022.00039","DOI":"10.1109\/ICSA-C54293.2022.00039"},{"key":"12_CR84","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nberger, M., Scherzinger, S., Mauerer, W.: Ready to Leap (by Co-Design)? Join Order Optimisation on Quantum Hardware. In: Proceedings of ACM SIGMOD\/PODS International Conference on Management of Data (2023)","DOI":"10.1145\/3588946"},{"key":"12_CR85","unstructured":"Sch\u00f6nberger, M., Trummer, I., Mauerer, W.: Quantum Optimisation of General Join Trees. In: Proceedings of the International Workshop on Quantum Data Science and Management, QDSM \u201923 (Aug. 2023)"},{"key":"12_CR86","unstructured":"Schreiber, F.J., Eisert, J., Meyer, J.J.: Classical surrogates for quantum learning models (2022). arXiv: 2206.11740 [quant-ph]"},{"key":"12_CR87","doi-asserted-by":"publisher","unstructured":"Schuld, M., Sweke, R., Meyer, J.J.: Effect of data encoding on the expressive power of variational quantum-machine-learning models. Phys. Rev. A 103(3), 032430 (Mar. 2021). https:\/\/doi.org\/10.1103\/PhysRevA.103.032430. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevA.103.032430","DOI":"10.1103\/PhysRevA.103.032430"},{"issue":"04","key":"12_CR88","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/MCSE.2022.3221845","volume":"24","author":"M Schulz","year":"2022","unstructured":"Schulz, M., et al.: Accelerating HPC with quantum computing: It is a software challenge too. Comput. Sci. Eng. 24(04), 60\u201364 (July 2022). ISSN:1558-366X. https:\/\/doi.org\/10.1109\/MCSE.2022.3221845","journal-title":"Comput. Sci. Eng."},{"key":"12_CR89","doi-asserted-by":"crossref","unstructured":"Serrano, M.A., Perez-Castillo, R., Piattini, M., (eds.): Quantum Software Engineering. Springer (2022). ISBN:978-3-031-05323-8. https:\/\/doi.org\/10.1007\/978-3-031-05324-5","DOI":"10.1007\/978-3-031-05324-5"},{"key":"12_CR90","unstructured":"Sitdikov, I., et al.: Middleware for Quantum: An orchestration of hybrid quantum-classical systems. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)"},{"key":"12_CR91","doi-asserted-by":"crossref","unstructured":"Sivarajah, S., et al.: t$$|\\text{ket}\\rangle $$: a retargetable compiler for NISQ devices. Quantum Sci. Technol. 6(1), 014003 (Nov. 2020). https:\/\/doi.org\/10.1088\/2058-9565\/ab8e92","DOI":"10.1088\/2058-9565\/ab8e92"},{"key":"12_CR92","isbn-type":"print","volume-title":"Software Engineering","author":"I Sommerville","year":"2010","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Harlow, England (2010). ISBN:978-0-13-703515-1","ISBN":"https:\/\/id.crossref.org\/isbn\/9780137035151","edition":"9"},{"key":"12_CR93","doi-asserted-by":"crossref","unstructured":"Steiner, L., et al.: An LPDDR4 Safety Model for Automotive Applications. In: The International Symposium on Memory Systems MEMSYS 2021 Association for Computing Machinery, Washington DC, DC, USA (2022). ISBN:9781450385701. https:\/\/doi.org\/10.1145\/3488423.3519333","DOI":"10.1145\/3488423.3519333"},{"key":"12_CR94","doi-asserted-by":"crossref","unstructured":"Stollenwerk, T., Lobe, E., Jung, M.: Flight gate assignment with a quantum annealer. In: International Workshop on Quantum Technology and Optimization Problems, pp. 99\u2013110. Springer, Berlin (2019). https:\/\/elib.dlr.de\/123777\/. https:\/\/doi.org\/10.1007\/978-3-030-14082-3_9","DOI":"10.1007\/978-3-030-14082-3_9"},{"issue":"1","key":"12_CR95","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1109\/TITS.2019.2891235","volume":"21","author":"T Stollenwerk","year":"2019","unstructured":"Stollenwerk, T., O\u2019Gorman, B., et al.: Quantum annealing applied to de-conflicting optimal trajectories for air traffic management. IEEE Trans. Intell. Transp. Syst. 21(1), 285\u2013297 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"3","key":"12_CR96","doi-asserted-by":"publisher","DOI":"10.1088\/2058-9565\/ab8c2b","volume":"5","author":"M Streif","year":"2020","unstructured":"Streif, M., Leib, M.: Training the quantum approximate optimization algorithm without access to a quantum processing unit. Quantum Sci. Technol. 5(3), 034008 (May 2020). https:\/\/doi.org\/10.1088\/2058-9565\/ab8c2b","journal-title":"Quantum Sci. Technol."},{"key":"12_CR97","doi-asserted-by":"crossref","unstructured":"Tilly, J., et al.: The Variational Quantum Eigensolver: A review of methods and best practices. Physics Reports, 986 The Variational Quantum Eigensolver: a review of methods and best practices, pp. 1\u2013128 (2022). ISSN:0370-1573. https:\/\/doi.org\/10.1016\/j.physrep.2022.08.003. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0370157322003118","DOI":"10.1016\/j.physrep.2022.08.003"},{"issue":"9","key":"12_CR98","doi-asserted-by":"publisher","first-page":"648","DOI":"10.14778\/2947618.2947621","volume":"9","author":"I Trummer","year":"2016","unstructured":"Trummer, I., Koch, C.: Multiple query optimization on the D-wave 2X adiabatic quantum computer. Proc. VLDB Endow. 9(9), 648\u2013659 (May 2016). ISSN:2150-8097. https:\/\/doi.org\/10.14778\/2947618.2947621","journal-title":"Proc. VLDB Endow."},{"key":"12_CR99","doi-asserted-by":"publisher","unstructured":"Ufrecht, C., et al.: Cutting multi-control quantum gates with ZX calculus (2023). https:\/\/doi.org\/10.48550\/ARXIV.2302.00387. https:\/\/arxiv.org\/abs\/2302.00387","DOI":"10.48550\/ARXIV.2302.00387"},{"issue":"1","key":"12_CR100","doi-asserted-by":"publisher","first-page":"6961","DOI":"10.1038\/s41467-021-27045-6","volume":"12","author":"S Wang","year":"2021","unstructured":"Wang, S., et al.: Noise-induced barren plateaus in variational quantum algorithms. Nature Commun. 12(1), 6961 (2021). https:\/\/doi.org\/10.1038\/s41467-021-27045-6","journal-title":"Nature Commun."},{"key":"12_CR101","doi-asserted-by":"crossref","unstructured":"Weder, B., et al.: Quantum software development lifecycle. Quantum Software Engineering, pp. 61\u201383. Springer (2022)","DOI":"10.1007\/978-3-031-05324-5_4"},{"issue":"6","key":"12_CR102","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1007\/s11128-011-0303-5","volume":"10","author":"H Weimer","year":"2011","unstructured":"Weimer, H., et al.: Digital quantum simulation with Rydberg atoms. Quantum Inf. Process. 10(6), 885 (2011). https:\/\/doi.org\/10.1007\/s11128-011-0303-5","journal-title":"Quantum Inf. Process."},{"issue":"3","key":"12_CR103","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3491246","volume":"3","author":"R Wille","year":"2022","unstructured":"Wille, R., Hillmich, S., Burgholzer, L.: Tools for quantum computing based on decision diagrams. ACM Trans. Quantum Comput. 3(3), 1\u201317 (2022)","journal-title":"ACM Trans. Quantum Comput."},{"key":"12_CR104","doi-asserted-by":"crossref","unstructured":"Wintersperger, K., Dommert, F., et al.: Neutral Atom Quantum Computing Hardware: Performance and End-User Perspective (2023)","DOI":"10.1140\/epjqt\/s40507-023-00190-1"},{"key":"12_CR105","doi-asserted-by":"crossref","unstructured":"Wintersperger, K., Safi, H., Mauerer, W.: QPU-System Co-Design for Quantum HPC Accelerators. In: Proceedings of the 35th GI\/ITG International Conference on the Architecture of Computing Systems (Aug. 2022). Gesellschaft f\u00fcr Informatik","DOI":"10.1007\/978-3-031-21867-5_7"},{"key":"12_CR106","doi-asserted-by":"crossref","unstructured":"Xia, S., Zhao, J.: Static Entanglement Analysis of Quantum Programs (2023). arXiv: 2304.05049 [cs.SE]","DOI":"10.1109\/Q-SE59154.2023.00013"},{"key":"12_CR107","doi-asserted-by":"crossref","unstructured":"Yamaguchi, M., Yoshioka, N.: Design by Contract Framework for Quantum Software (2023). arXiv: 2303.17750 [cs.CL]","DOI":"10.1109\/Q-SE59154.2023.00010"},{"key":"12_CR108","doi-asserted-by":"crossref","unstructured":"Yarkoni, S., et al.: Multi-car paint shop optimization with quantum annealing. In: 2021 IEEE International Conference on Quantum Computing and Engineering (QCE), pp. 35\u201341. IEEE (2021)","DOI":"10.1109\/QCE52317.2021.00019"},{"issue":"1","key":"12_CR109","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-018-0465-3","volume":"31","author":"M Ying","year":"2019","unstructured":"Ying, M.: Toward automatic verification of quantum programs. Formal Aspects Comput. 31(1), 3\u201325 (2019). https:\/\/doi.org\/10.1007\/s00165-018-0465-3","journal-title":"Formal Aspects Comput."},{"key":"12_CR110","doi-asserted-by":"crossref","unstructured":"Yue, T., et al.: Challenges and Opportunities in Quantum Software Architecture. In: Weber, I., Kazman, R., Pellicione, P. (eds.) Software Architecture Research Roadmaps from the Community. Springer (2023)","DOI":"10.1007\/978-3-031-36847-9_1"},{"key":"12_CR111","unstructured":"Zhao, J.: Quantum Software Engineering: Landscapes and Horizons. CoRR. abs\/2007.07047 (2020). arXiv: 2007.07047. https:\/\/arxiv.org\/abs\/2007.07047"},{"key":"12_CR112","doi-asserted-by":"crossref","unstructured":"Zhao, P., Wu, X., Li, Z., et al.: QChecker: Detecting Bugs in Quantum Programs via Static Analysis (2023). arXiv: 2304.04387 [cs.SE]","DOI":"10.1109\/Q-SE59154.2023.00014"},{"key":"12_CR113","doi-asserted-by":"crossref","unstructured":"Zhao, P., Wu, X., Luo, J., et al.: An Empirical Study of Bugs in Quantum Machine Learning Frameworks. In: Proceedings of the IEEE International Conference on Quantum Software. IEEE (2023)","DOI":"10.1109\/QSW59989.2023.00018"},{"key":"12_CR114","doi-asserted-by":"publisher","unstructured":"Zhou, L., et al.: Quantum approximate optimization algorithm: performance, mechanism, and implementation on near-term devices. Phys. Rev. X 10(2), 021067 (June 2020). https:\/\/doi.org\/10.1103\/PhysRevX.10.021067. https:\/\/link.aps.org\/doi\/10.1103\/PhysRevX.10.021067","DOI":"10.1103\/PhysRevX.10.021067"}],"container-title":["Quantum Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64136-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T13:08:45Z","timestamp":1727356125000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64136-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031641350","9783031641367"],"references-count":114,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64136-7_12","relation":{},"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"23 August 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}