iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://api.crossref.org/works/10.1007/978-3-319-40648-0_26
{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:45:24Z","timestamp":1725857124797},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319406473"},{"type":"electronic","value":"9783319406480"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40648-0_26","type":"book-chapter","created":{"date-parts":[[2016,6,3]],"date-time":"2016-06-03T09:42:13Z","timestamp":1464946933000},"page":"344-352","source":"Crossref","is-referenced-by-count":3,"title":["Hierarchical Verification of Quantum Circuits"],"prefix":"10.1007","author":[{"given":"Sidi Mohamed","family":"Beillahi","sequence":"first","affiliation":[]},{"given":"Mohamed Yousri","family":"Mahmoud","sequence":"additional","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,4]]},"reference":[{"issue":"5945","key":"26_CR1","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1126\/science.1173731","volume":"325","author":"A Politi","year":"2009","unstructured":"Politi, A., Matthews, J.C.F., O\u2019Brien, J.L.: Shor\u2019s quantum factoring algorithm on a photonic chip. Science 325(5945), 1221 (2009)","journal-title":"Science"},{"key":"26_CR2","unstructured":"Beillahi, S.M., Mahmoud, M.Y.: Hierarchical Verification of Quantum Circuits (2016). http:\/\/hvg.ece.concordia.ca\/projects\/optics\/hvqc.html"},{"key":"26_CR3","unstructured":"Beillahi, S.M., Mahmoud, M.Y., Tahar, S.: Optical Quantum Gates Formalization in HOL Light. Technical report, ECE Department, Concordia University, Montreal, QC, Canada, February 2016"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Viamontes, G.F., Rajagopalan, M., Markov, I.L., Hayes, J.P.: Gate level simulation of quantum circuits. In: ASP-DAC, pp. 295\u2013301 (2003)","DOI":"10.1109\/ASPDAC.2003.1195031"},{"key":"26_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0031814","volume-title":"Formal Methods in Computer-Aided Design","author":"J Harrison","year":"1996","unstructured":"Harrison, J.: HOL light: a tutorial introduction. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol. 1166, pp. 265\u2013269. Springer, Heidelberg (1996)"},{"key":"26_CR6","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1038\/35051009","volume":"409","author":"E Knill","year":"2001","unstructured":"Knill, E., Laflamme, R., Milburn, G.J.: A scheme for efficient quantum computation with linear optics. Nature 409, 46\u201352 (2001)","journal-title":"Nature"},{"key":"26_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1103\/RevModPhys.79.135","volume":"79","author":"P Kok","year":"2007","unstructured":"Kok, P., Munro, W.J., Nemoto, K., Ralph, T.C., Dowling, J.P., Milburn, G.J.: Linear optical quantum computing with photonic qubits. Rev. Mod. Phys. 79, 135\u2013174 (2007)","journal-title":"Rev. Mod. Phys."},{"key":"26_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/978-3-319-19458-5_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"MY Mahmoud","year":"2015","unstructured":"Mahmoud, M.Y., Panangaden, P., Tahar, S.: On the formal verification of optical quantum gates in HOL. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 198\u2013211. Springer, Heidelberg (2015)"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-3-642-38088-4_28","volume-title":"NASA Formal Methods","author":"MY Mahmoud","year":"2013","unstructured":"Mahmoud, M.Y., Aravantinos, V., Tahar, S.: Formalization of infinite dimension linear spaces with application to quantum theory. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 413\u2013427. Springer, Heidelberg (2013)"},{"key":"26_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139644105","volume-title":"Optical Coherence and Quantum Optics","author":"L Mandel","year":"1995","unstructured":"Mandel, L., Wolf, E.: Optical Coherence and Quantum Optics. Cambridge University Press, Cambridge, UK (1995)"},{"issue":"6\u20137","key":"26_CR11","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"RP Feynman","year":"1982","unstructured":"Feynman, R.P.: Simulating physics with computers. Int. J. Theor. Phys. 21(6\u20137), 467\u2013488 (1982)","journal-title":"Int. J. Theor. Phys."},{"key":"26_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-642-38986-3_19","volume-title":"Reversible Computation","author":"S Franke-Arnold","year":"2013","unstructured":"Franke-Arnold, S., Gay, S.J., Puthoor, I.V.: Quantum process calculus for linear optical quantum computing. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 234\u2013246. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40648-0_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T11:41:27Z","timestamp":1498304487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40648-0_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319406473","9783319406480"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40648-0_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}
