{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:13:47Z","timestamp":1725732827316},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"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-662-44602-7_1","type":"book-chapter","created":{"date-parts":[[2014,8,23]],"date-time":"2014-08-23T01:18:40Z","timestamp":1408756720000},"page":"1-12","source":"Crossref","is-referenced-by-count":1,"title":["Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults"],"prefix":"10.1007","author":[{"given":"Anna","family":"Bernasconi","sequence":"first","affiliation":[]},{"given":"Valentina","family":"Ciriani","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Akers, S.: Binary Decision Diagrams. IEEE Transactions on Computers\u00a027(6) (1978)","DOI":"10.1109\/TC.1978.1675141"},{"key":"1_CR2","unstructured":"Aumann, Y., Bender, M.A.: Fault Tolerant Data Structures. In: 37th Annual Symposium on Foundations of Computer Science, FOCS (1996)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bernasconi, A., Ciriani, V., Lago, L.: Error Resilient OBDDs. In: IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), pp. 246\u2013249 (2013)","DOI":"10.1109\/DDECS.2013.6549826"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Bernasconi, A., Ciriani, V., Lago, L.: On the Error Resilience of Ordered Binary Decision Diagrams. Technical Report arXiv:1404.3919 (2014)","DOI":"10.1016\/j.tcs.2015.05.050"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Bryant, R.: Graph Based Algorithm for Boolean Function Manipulation. IEEE Transactions on Computers (1986)","DOI":"10.1109\/TC.1986.1676819"},{"issue":"5","key":"1_CR6","doi-asserted-by":"crossref","first-page":"463","DOI":"10.3233\/JCS-2012-0449","volume":"20","author":"V. Ciriani","year":"2012","unstructured":"Ciriani, V., di Vimercati, S.D.C., Foresti, S., Livraga, G., Samarati, P.: An OBDD approach to enforce confidentiality and visibility constraints in data publishing. Journal of Computer Security\u00a020(5), 463\u2013508 (2012)","journal-title":"Journal of Computer Security"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Drechsler, R.: Verifying integrity of decision diagrams. In: Computer Safety, Reliability and Security (1998)","DOI":"10.1007\/3-540-49646-7_30"},{"key":"1_CR8","unstructured":"Ebendt, R., Fey, G., Drechsler, R.: Advanced BDD Optimization. Springer (2005)"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.cosrev.2007.10.001","volume":"1","author":"I. Finocchi","year":"2007","unstructured":"Finocchi, I., Grandoni, F., Italiano, G.: Designing reliable algorithms in unreliable memories. Computer Science Review\u00a01(2), 77\u201387 (2007)","journal-title":"Computer Science Review"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Finocchi, I., Italiano, G.: Sorting and Searching in Faulty Memories. Algorithmica (2008)","DOI":"10.1007\/s00453-007-9088-4"},{"issue":"44","key":"1_CR11","doi-asserted-by":"publisher","first-page":"4457","DOI":"10.1016\/j.tcs.2009.07.026","volume":"410","author":"I. Finocchi","year":"2009","unstructured":"Finocchi, I., Grandoni, F., Italiano, G.F.: Optimal resilient sorting and searching in the presence of memory faults. Theor. Comput. Sci.\u00a0410(44), 4457\u20134470 (2009)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Finocchi, I., Grandoni, F., Italiano, G.F.: Resilient dictionaries. ACM Transactions on Algorithms\u00a06(1) (2009)","DOI":"10.1145\/1644015.1644016"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Italiano, G.: Resilient Algorithms and Data Structures. In: Algorithms and Complexity (2010)","DOI":"10.1007\/978-3-642-13073-1_3"},{"key":"1_CR14","unstructured":"Jacob, B., Ng, S., Wang, D.: Cache, DRAM, Disk. Morgan Kaufmann (2008)"},{"key":"1_CR15","unstructured":"Knuth, D.: The Art of Computer Programming Volume 4, Fascicle 1: Bitwise Tricks & Techniques; Binary Decision Diagrams. Addison-Wesley Professional (2009)"},{"key":"1_CR16","unstructured":"Liaw, H.T., Lin, C.S.: On the OBDD-representation of general Boolean functions. IEEE Transactions on Computers (1992)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Minato, S.: Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. In: ACM\/IEEE 30th Design Automation Conference (DAC), pp. 272\u2013277 (1993)","DOI":"10.1145\/157485.164890"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Minato, S.: Data Mining Using Binary Decision Diagrams. In: Progress in Representation of Discrete Functions, ch.\u00a05, pp. 97\u2013109. Morgan & Claypoo (2010)","DOI":"10.1007\/978-3-031-79812-2_5"},{"issue":"7","key":"1_CR19","doi-asserted-by":"crossref","first-page":"1419","DOI":"10.1587\/transinf.E96.D.1419","volume":"96-D","author":"S. Minato","year":"2013","unstructured":"Minato, S.: Techniques of bdd\/zdd: Brief history and recent activity. IEICE Transactions\u00a096-D(7), 1419\u20131429 (2013)","journal-title":"IEICE Transactions"},{"issue":"1","key":"1_CR20","first-page":"300","volume":"2","author":"S. Minato","year":"2007","unstructured":"Minato, S., Kimihito, I.: Symmetric item set mining method using zero-suppressed bdds and application to biological data. Information and Media Technologies\u00a02(1), 300\u2013308 (2007)","journal-title":"Information and Media Technologies"},{"key":"1_CR21","series-title":"AISC","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-642-28839-5_27","volume-title":"6th International Conference on Practical Applications of Computational Biology & Bioinformatics","author":"J.I. Requeno","year":"2012","unstructured":"Requeno, J.I., Colom, J.M.: Compact representation of biological sequences using set decision diagrams. In: Rocha, M.P., Luscombe, N., Fdez-Riverola, F., Rodr\u00edguez, J.M.C. (eds.) 6th International Conference on PACBB. AISC, vol.\u00a0154, pp. 231\u2013240. Springer, Heidelberg (2012)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Taylor, D.: Error models for robust storage structures. In: 20th International Symposium on Fault-Tolerant Computing (1990)","DOI":"10.1109\/FTCS.1990.89396"},{"issue":"4","key":"1_CR23","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/TCBB.2005.55","volume":"2","author":"S. Yoon","year":"2005","unstructured":"Yoon, S., Nardini, C., Benini, L., De Micheli, G.: Discovering coherent biclusters from gene expression data using zero-suppressed binary decision diagrams. IEEE\/ACM Trans. Comput. Biol. Bioinformatics\u00a02(4), 339\u2013354 (2005)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinformatics"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44602-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T05:58:32Z","timestamp":1689487112000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44602-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44602-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}