{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T17:38:49Z","timestamp":1779385129042,"version":"3.53.1"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319084930","type":"print"},{"value":"9783319084947","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08494-7_16","type":"book-chapter","created":{"date-parts":[[2014,7,5]],"date-time":"2014-07-05T14:50:00Z","timestamp":1404571800000},"page":"201-215","source":"Crossref","is-referenced-by-count":33,"title":["Equivalence Checking in Multi-level Quantum Systems"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Niemann","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"6","key":"16_CR1","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/TCAD.2013.2244643","volume":"32","author":"M. Amy","year":"2013","unstructured":"Amy, M., Maslov, D., Mosca, M., Roetteler, M.: A meet-in-the-middle algorithm for fast synthesis of depth-optimal quantum circuits. IEEE Trans. on CAD\u00a032(6), 818\u2013830 (2013)","journal-title":"IEEE Trans. on CAD"},{"issue":"5","key":"16_CR2","doi-asserted-by":"publisher","first-page":"3457","DOI":"10.1103\/PhysRevA.52.3457","volume":"52","author":"A. Barenco","year":"1995","unstructured":"Barenco, A., Bennett, C.H., Cleve, R., DiVincenzo, D.P., Margolus, N., Shor, P., Sleator, T., Smolin, J.A., Weinfurter, H.: Elementary gates for quantum computation. Physical Review A\u00a052(5), 3457\u20133467 (1995)","journal-title":"Physical Review A"},{"issue":"3","key":"16_CR3","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0020-0190(00)00084-3","volume":"75","author":"P.O. Boykin","year":"2000","unstructured":"Boykin, P.O., Mor, T., Pulver, M., Roychowdhury, V., Vatan, F.: A new universal and fault-tolerant quantum basis. Information Processing Letters\u00a075(3), 101\u2013107 (2000)","journal-title":"Information Processing Letters"},{"issue":"23","key":"16_CR4","doi-asserted-by":"publisher","first-page":"230502","DOI":"10.1103\/PhysRevLett.94.230502","volume":"94","author":"S.S. Bullock","year":"2005","unstructured":"Bullock, S.S., O\u2019Leary, D.P., Brennen, G.K.: Asymptotically optimal quantum circuits for d-level systems. Physical Review Letters\u00a094(23), 230502 (2005)","journal-title":"Physical Review Letters"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Cabello, A., D\u2019Ambrosio, V., Nagali, E., Sciarrino, F.: Hybrid ququart-encoded quantum cryptography protected by Kochen-Specker contextuality. Physical Review A\u00a084(3), 030302 (2011)","DOI":"10.1103\/PhysRevA.84.030302"},{"issue":"20","key":"16_CR6","doi-asserted-by":"publisher","first-page":"4091","DOI":"10.1103\/PhysRevLett.74.4091","volume":"74","author":"J.I. Cirac","year":"1995","unstructured":"Cirac, J.I., Zoller, P.: Quantum computations with cold trapped ions. Physical Review Letters\u00a074(20), 4091\u20134094 (1995)","journal-title":"Physical Review Letters"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Di, Y.M., Wei, H.R.: Synthesis of multivalued quantum logic circuits by elementary gates. Physical Review A\u00a087, 012325 (2013)","DOI":"10.1103\/PhysRevA.87.012325"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Galiautdinov, A.: Generation of high-fidelity controlled-not logic gates by coupled superconducting qubits. Physical Review A\u00a075(5), 052303 (2007)","DOI":"10.1103\/PhysRevA.75.052303"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Greentree, A.D., Schirmer, S., Green, F., Hollenberg, L.C., Hamilton, A., Clark, R.: Maximizing the Hilbert space for a finite number of distinguishable quantum states. Physical Review Letters\u00a092(9), 097901 (2004)","DOI":"10.1103\/PhysRevLett.92.097901"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Theory of Computing, pp. 212\u2013219 (1996)","DOI":"10.1145\/237814.237866"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Klimov, A., Guzman, R., Retamal, J., Saavedra, C.: Qutrit quantum computer with trapped ions. Physical Review A\u00a067(6), 062313 (2003)","DOI":"10.1103\/PhysRevA.67.062313"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1038\/nphys1150","volume":"5","author":"B.P. Lanyon","year":"2008","unstructured":"Lanyon, B.P., Barbieri, M., Almeida, M.P., Jennewein, T., Ralph, T.C., Resch, K.J., Pryde, G.J., O\u2019Brien, J.L., Gilchrist, A., White, A.G.: Simplifying quantum logic using higher-dimensional Hilbert spaces. Nature Physics\u00a05(2), 134\u2013140 (2008)","journal-title":"Nature Physics"},{"issue":"1","key":"16_CR13","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1088\/1367-2630\/7\/1\/174","volume":"7","author":"D. Mc Hugh","year":"2005","unstructured":"Mc Hugh, D., Twamley, J.: Trapped-ion qutrit spin molecule quantum computer. New Journal of Physics\u00a07(1), 174 (2005)","journal-title":"New Journal of Physics"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511813870"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Thornton, M.A.: QMDD: A decision diagram structure for reversible and quantum circuits. In: Int\u2019l Symp. on Multi-Valued Logic, p. 30 (2006)","DOI":"10.1109\/ISMVL.2006.35"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Moreva, E., Maslennikov, G., Straupe, S., Kulik, S.: Realization of four-level qudits using biphotons. Physical Review Letters\u00a097(2), 023602 (2006)","DOI":"10.1103\/PhysRevLett.97.023602"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Muthukrishnan, A., Stroud Jr, C.: Multivalued logic gates for quantum computation. Physical Review A\u00a062(5), 052309 (2000)","DOI":"10.1103\/PhysRevA.62.052309"},{"issue":"5941","key":"16_CR18","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1126\/science.1173440","volume":"325","author":"M. Neeley","year":"2009","unstructured":"Neeley, M., Ansmann, M., Bialczak, R.C., Hofheinz, M., Lucero, E., O\u2019Connell, A.D., Sank, D., Wang, H., Wenner, J., Cleland, A.N., et al.: Emulation of a quantum spin with a superconducting phase qudit. Science\u00a0325(5941), 722\u2013725 (2009)","journal-title":"Science"},{"key":"16_CR19","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge Univ. Press (2000)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-38986-3_11","volume-title":"Reversible Computation","author":"P. Niemann","year":"2013","unstructured":"Niemann, P., Wille, R., Drechsler, R.: On the \u201cQ\u201d in QMDDs: Efficient representation of quantum functionality in the QMDD data-structure. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol.\u00a07948, pp. 125\u2013140. Springer, Heidelberg (2013)"},{"issue":"12","key":"16_CR21","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1038\/nphoton.2009.229","volume":"3","author":"J.L. O\u2019Brien","year":"2009","unstructured":"O\u2019Brien, J.L., Akira Furusawa, J.V.: Photonic quantum technologies. Nature Photonics\u00a03(12), 687\u2013695 (2009)","journal-title":"Nature Photonics"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Sasanian, Z., Wille, R., Miller, D.M.: Realizing reversible circuits using a new class of quantum gates. In: Design Automation Conf., pp. 36\u201341 (2012)","DOI":"10.1145\/2228360.2228368"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Shor, P.W.: Algorithms for quantum computation: discrete logarithms and factoring. Foundations of Computer Science, 124\u2013134 (1994)","DOI":"10.1109\/SFCS.1994.365700"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Viamontes, G.F., Markov, I.L., Hayes, J.P.: Checking equivalence of quantum circuits and states. In: Int\u2019l Conf. on CAD, pp. 69\u201374 (2007)","DOI":"10.1109\/ICCAD.2007.4397246"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Viamontes, G.F., Markov, I.L., Hayes, J.P.: Quantum Circuit Simulation. Springer, New York (December 2009)","DOI":"10.1007\/978-90-481-3065-8"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Wang, S.A., Lu, C.Y., Tsai, I.M., Kuo, S.Y.: An XQDD-based verification method for quantum circuits. IEICE Transactions\u00a091-A(2), 584\u2013594 (2008)","DOI":"10.1093\/ietfec\/e91-a.2.584"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Wille, R., Gro\u00dfe, D., Teuber, L., Dueck, G.W., Drechsler, R.: RevLib: an online resource for reversible functions and reversible circuits. In: Int\u2019l Symp. on Multi-Valued Logic, pp. 220\u2013225 (2008), RevLib is available at http:\/\/www.revlib.org","DOI":"10.1109\/ISMVL.2008.43"},{"issue":"9&10","key":"16_CR28","doi-asserted-by":"crossref","first-page":"721","DOI":"10.26421\/QIC10.9-10-1","volume":"10","author":"S. Yamashita","year":"2010","unstructured":"Yamashita, S., Markov, I.L.: Fast equivalence-checking for quantum circuits. Quantum Information & Computation\u00a010(9&10), 721\u2013734 (2010)","journal-title":"Quantum Information & Computation"}],"container-title":["Lecture Notes in Computer Science","Reversible Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08494-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:49:22Z","timestamp":1746294562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08494-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084930","9783319084947"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08494-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}