{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:33:44Z","timestamp":1725978824151},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319916316"},{"type":"electronic","value":"9783319916323"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91632-3_9","type":"book-chapter","created":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T01:58:40Z","timestamp":1527040720000},"page":"113-126","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["$$\\mathtt {Entang{\\lambda }}$$Entang\u03bbe: A Translation Framework from Quipper Programs to Quantum Markov Chains"],"prefix":"10.1007","author":[{"given":"Linda","family":"Anticoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Taglialegne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Zuliani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,24]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-40578-0_16","volume-title":"Reversible Computation","author":"L Anticoli","year":"2016","unstructured":"Anticoli, L., Piazza, C., Taglialegne, L., Zuliani, P.: Towards quantum programs verification: from quipper circuits to QPMC. In: Devitt, S., Lanese, I. (eds.) RC 2016. LNCS, vol. 9720, pp. 213\u2013219. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-40578-0_16"},{"key":"9_CR2","unstructured":"Anticoli, L., Piazza, C., Taglialegne, L., Zuliani, P.: Verifying quantum programs: from quipper to QPMC (2017). CoRR, abs\/1708.06312"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1142\/S0219749908003530","volume":"6","author":"P Baltazar","year":"2008","unstructured":"Baltazar, P., Chadha, R., Mateus, P.: Quantum computation tree logic - model checking and complete calculus. Int. J. Quantum Inf. 6, 219 (2008)","journal-title":"Int. J. Quantum Inf."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Baltazar, P., Chadha, R., Mateus, P., Sernadas, A.: Towards model-checking quantum security protocols. In: Proceedings of the First Workshop on Quantum Security: QSEC 2007. IEEE Press (2007)","DOI":"10.1109\/ICQNM.2007.21"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/36068.36070","volume":"18","author":"CH Bennett","year":"1987","unstructured":"Bennett, C.H., Brassard, G.: Quantum public key distribution reinvented. SIGACT News 18(4), 51\u201353 (1987)","journal-title":"SIGACT News"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-19249-9_17","volume-title":"FM 2015: Formal Methods","author":"Y Feng","year":"2015","unstructured":"Feng, Y., Hahn, E.M., Turrini, A., Zhang, L.: QPMC: a model checker for quantum programs and protocols. In: Bj\u00f8rner, N., de Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 265\u2013272. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-19249-9_17"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"1181","DOI":"10.1016\/j.jcss.2013.04.002","volume":"79","author":"Y Feng","year":"2013","unstructured":"Feng, Y., Yu, N., Ying, M.: Model checking quantum markov chains. J. Comput. Syst. Sci. 79, 1181\u20131198 (2013)","journal-title":"J. Comput. Syst. Sci."},{"key":"9_CR8","unstructured":"Gay, S., Nagarajan, R., Papanikolaou, N.: Probabilistic model-checking of quantum protocols. In: Proceedings of the 2nd International Workshop on Developments in Computational Models (2006)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Gay, S.J., Papanikolaou, N., Nagarajan, R.: QMC: A model checker for quantum systems. In: Proceeding of the 20th International Conference on Computer Aided Verification (2008)","DOI":"10.1007\/978-3-540-70545-1_51"},{"issue":"6","key":"9_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1145\/2499370.2462177","volume":"48","author":"AS Green","year":"2013","unstructured":"Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. SIGPLAN Not. 48(6), 333\u2013342 (2013)","journal-title":"SIGPLAN Not."},{"issue":"5","key":"9_CR11","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects Comput. 6(5), 512\u2013535 (1994)","journal-title":"Formal Aspects Comput."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Knill, E.: Conventions for Quantum Pseudocode. Technical report, Los Alamos National Laboratory (1996)","DOI":"10.2172\/366453"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"9_CR14","volume-title":"Quantum Computation and Quantum Information","author":"MA Nielsen","year":"2011","unstructured":"Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2011)"},{"key":"9_CR15","unstructured":"Preskill, J.: Lecture Notes for Physics 229: Quantum Information and Computation. CreateSpace Independent Publishing Platform (1998)"},{"key":"9_CR16","unstructured":"Smith, J.M., Ross, N.J., Selinger, P., Valiron, B.: Quipper: concrete resource estimation in quantum algorithms. In: Extended Abstract for a Talk Given at the 12th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble. Available from \narxiv: 1412.0625\n\n (2014)"}],"container-title":["Communications in Computer and Information Science","New Frontiers in Quantitative Methods in Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91632-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T02:02:41Z","timestamp":1527040961000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91632-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319916316","9783319916323"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91632-3_9","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}