{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T20:51:35Z","timestamp":1757623895906,"version":"3.44.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031947476"},{"type":"electronic","value":"9783031947483"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-94748-3_10","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:28Z","timestamp":1754939668000},"page":"112-119","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reconfiguring Staggered Quantum Walks with\u00a0ZX"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Jardim","sequence":"first","affiliation":[]},{"given":"Jaime","family":"Santos","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"issue":"9","key":"10_CR1","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1038\/s42254-021-00348-9","volume":"3","author":"M Cerezo","year":"2021","unstructured":"Cerezo, M., et al.: Variational quantum algorithms. Nature Rev. Phys. 3(9), 625\u2013644 (2021)","journal-title":"Nature Rev. Phys."},{"key":"10_CR2","doi-asserted-by":"publisher","unstructured":"Coecke, B., Duncan, R.: Interacting Quantum Observables. In: Aceto, L., Damg\u00e5rd, I., Goldberg, L.A., Halld\u00f3rsson, M.M., Ing\u00f3lfsd\u00f3ttir, A., Walukiewicz, I. (eds.) ICALP 2008. LNCS, vol. 5126, pp. 298\u2013310. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70583-3_25","DOI":"10.1007\/978-3-540-70583-3_25"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Coecke, B., Horsman, D., Kissinger, A., Wang, Q.: Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. Theor. Comput. Sci. 897, pp. 1\u201322, (2022)","DOI":"10.1016\/j.tcs.2021.07.024"},{"key":"10_CR4","unstructured":"de\u00a0Beaudrap, N., Kissinger, A., van\u00a0de Wetering, J.: Circuit extraction for ZX-diagrams can be #p-hard. In: 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Schloss Dagstuhl ? Leibniz-Zentrum f\u00fcr Informatik, (2022)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.22331\/q-2020-06-04-279","volume":"4","author":"R Duncan","year":"2020","unstructured":"Duncan, R., Kissinger, A., Perdrix, S., van de Wetering, J.: Graph-theoretic simplification of quantum circuits with the ZX-calculus. Quantum 4, 279 (2020)","journal-title":"Quantum"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Dunjko, V., Taylor, J.M., Briegel, H.J.: Quantum-enhanced machine learning. Phys. Rev. Lett. 117(13), (2016)","DOI":"10.1103\/PhysRevLett.117.130501"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Kissinger, A., van\u00a0de Wetering, J.: PyZX: Large scale automated diagrammatic reasoning. In: Electronic Proceedings in Theoretical Computer Science, 318, pp. 229\u2013241, (2020)","DOI":"10.4204\/EPTCS.318.14"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Kissinger, A., van\u00a0de Wetering, J.: Reducing the number of non-Clifford gates in quantum circuits. Phys. Rev. A, 102(2), (2020)","DOI":"10.1103\/PhysRevA.102.022406"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Portugal, R., de\u00a0Oliveira, M.C., Moqadam, J.K.: Staggered quantum walks with hamiltonians. Phys. Rev. A, 95(1), (2017)","DOI":"10.1103\/PhysRevA.95.012328"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"79","DOI":"10.22331\/q-2018-08-06-79","volume":"2","author":"J Preskill","year":"2018","unstructured":"Preskill, J.: Quantum computing in the NISQ era and beyond. Quantum 2, 79 (2018)","journal-title":"Quantum"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Portugal, R., Santos, R. A. M., Fernandes, T.D., Gon\u00e7alves, D.N.: The staggered quantum walk model. Quantum Inf. Process. 15(1), pp. 85\u2013101 (2016)","DOI":"10.1007\/s11128-015-1149-z"},{"key":"10_CR12","unstructured":"Santosm, J.: Quantum random walks: simulations and physical realizations. MSc Thesis in Engineering Physics, DI, Universidade do Minho, 2021"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.22331\/q-2023-10-23-1147","volume":"7","author":"C Ufrecht","year":"2023","unstructured":"Ufrecht, C., Periyasamy, M., Rietsch, S., Scherer, D.D., Plinge, A., Mutschler, C.: Cutting multi-control quantum gates with ZX calculus. Quantum 7, 1147 (2023)","journal-title":"Quantum"},{"issue":"5","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1007\/s11128-012-0432-5","volume":"11","author":"SE Venegas-Andraca","year":"2012","unstructured":"Venegas-Andraca, S.E.: Quantum walks: a comprehensive review. Quantum Inf. Process. 11(5), 1015\u20131106 (2012)","journal-title":"Quantum Inf. Process."},{"key":"10_CR15","unstructured":"van\u00a0de Wetering, J.: ZX-calculus for the working quantum computer scientist, (2020)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T10:33:46Z","timestamp":1757414026000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}