{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:12:58Z","timestamp":1761621178363},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084930"},{"type":"electronic","value":"9783319084947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08494-7_15","type":"book-chapter","created":{"date-parts":[[2014,7,5]],"date-time":"2014-07-05T14:50:00Z","timestamp":1404571800000},"page":"189-200","source":"Crossref","is-referenced-by-count":2,"title":["Cross-Level Validation of Topological Quantum Circuits"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Paler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Devitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kae","family":"Nemoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilia","family":"Polian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Quantum Computation and Information","author":"M. Nielsen","year":"2000","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Information, 2nd edn. Cambridge University Press, Cambridge (2000)","edition":"2"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1038\/nature08812","volume":"464","author":"T.D. Ladd","year":"2010","unstructured":"Ladd, T.D., Jelezko, F., Laflamme, R., Nakamura, Y., Monroe, C., O\u2019Brien, J.: Quantum Computers. Nature\u00a0464, 45\u201353 (2010)","journal-title":"Nature"},{"key":"15_CR3","first-page":"721","volume":"9","author":"A. Fowler","year":"2009","unstructured":"Fowler, A., Goyal, K.: Topological cluster state quantum computing. Quant. Inf. Comp.\u00a09, 721 (2009)","journal-title":"Quant. Inf. Comp."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1088\/1367-2630\/9\/6\/199","volume":"9","author":"R. Raussendorf","year":"2007","unstructured":"Raussendorf, R., Harrington, J., Goyal, K.: Topological fault-tolerance in cluster state quantum computation. New J. Phys.\u00a09, 199 (2007)","journal-title":"New J. Phys."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"83032","DOI":"10.1088\/1367-2630\/11\/8\/083032","volume":"11","author":"S. Devitt","year":"2009","unstructured":"Devitt, S., Fowler, A., Stephens, A., Greentree, A., Hollenberg, L., Munro, W., Nemoto, K.: Architectural design for a topological cluster state quantum computer. New. J. Phys.\u00a011, 83032 (2009)","journal-title":"New. J. Phys."},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Jones, N.C., Meter, R.V., Fowler, A., McMahon, P., Kim, J., Ladd, T., Yamamoto, Y.: A layered architecture for quantum computing using quantum dots. Phys. Rev. X.\u00a02, 031007 (2012)","DOI":"10.1103\/PhysRevX.2.031007"},{"key":"15_CR7","unstructured":"Fowler, A., Devitt, S.: A bridge to lower overhead quantum computation, arxiv:1209.0510 (2012)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Miller, D.M., Drechsler, R.: Equivalence checking of reversible circuits. In: 39th International Symposium on Multiple-Valued Logic, ISMVL 2009, pp. 324\u2013330 (2009)","DOI":"10.1109\/ISMVL.2009.19"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Paler, A., Devitt, S.J., Nemoto, K., Polian, I.: Mapping of topological quantum circuits to physical hardware. Scientific reports\u00a04 (2014)","DOI":"10.1038\/srep04657"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Aaronson, S., Gottesman, D.: Improved simulation of stabilizer circuits. Phys. Rev. A.\u00a070, 052328 (2004)","DOI":"10.1103\/PhysRevA.70.052328"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08494-7_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T06:31:28Z","timestamp":1558938688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08494-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084930","9783319084947"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08494-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}