{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:11Z","timestamp":1725663371443},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540542339"},{"type":"electronic","value":"9783540475163"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54233-7_132","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:36:56Z","timestamp":1330209416000},"page":"163-173","source":"Crossref","is-referenced-by-count":1,"title":["Program checkers for probability generation"],"prefix":"10.1007","author":[{"given":"Sampath","family":"Kannan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"12_CR1","unstructured":"M. Blum, W. Evans, P. Gemmell, S. Kannan, and M. Naor, Checking the Correctness of Memories, preprint."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"M. Blum and S.Kannan, Designing Programs That Check Their Work, Proc. 21st ACM Symposium on Theory of Computing, 86\u201397, 1989.","DOI":"10.1145\/73007.73015"},{"key":"12_CR3","unstructured":"M. Blum, M. Luby, and R. Rubinfeld, Self-testing and self-correcting programs with applications to numerical problems."},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1215\/S0012-7094-40-00718-9","volume":"7","author":"K.L. Brooks","year":"1940","unstructured":"K.L. Brooks, C.A.B. Smith, A.H. Stone, and W.T. Tutte, The Dissection of Rectangles into Squares, Duke Math. J. 7, 312\u2013340 (1940).","journal-title":"Duke Math. J."},{"key":"12_CR5","unstructured":"I.P. Goulden and D.M. Jackson, Combinatorial Enumeration, Wiley \u2014 Interscience Series in Discrete Mathematics 1983."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"R. Impagliazzo, L. Levin, and M. Luby, Pseudo-random generation from one-way functions, Proc. 21st ACM Symp. on Theory of Computing, 12\u201324, 1989.","DOI":"10.1145\/73007.73009"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"R. Impagliazzo and M. Luby, One-way Functions are Essential for Complexity Based Cryptography, Proc. 30th Symp. on Foundations of Comp. Sci., 230\u2013235, 1989.","DOI":"10.1109\/SFCS.1989.63483"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0304-3975(86)90174-X","volume":"43","author":"M.R. Jerrum","year":"1986","unstructured":"M.R. Jerrum, L.G. Valiant, and V.V. Vazirani, Random Generation of Combinatorial Structures from a Uniform Distribution, Theoretical Computer Science 43 (1986) 169\u2013188.","journal-title":"Theoretical Computer Science"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"R.M. Karp and M. Luby, Monte-Carlo Algorithms for Enumeration and Reliability Problems 24th Annual FOCS, pp. 56\u201364 1983.","DOI":"10.1109\/SFCS.1983.35"},{"key":"12_CR10","first-page":"357","volume-title":"Algorithms and Complexity","author":"D.E. Knuth","year":"1976","unstructured":"D.E. Knuth and A.C. Yao, Algorithms and Complexity, ed. J.F. Traub, pp. 357\u2013428 New York: Acad. Press 1976."},{"key":"12_CR11","unstructured":"J. von Neumann, Various Techniques in Connection with Random Digits, Collected Works, Volume V, pp. 768\u2013770 MacMillan New York 1963."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54233-7_132.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:53:09Z","timestamp":1605646389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54233-7_132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540542339","9783540475163"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54233-7_132","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}