{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:46:33Z","timestamp":1743018393670,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288388"},{"type":"electronic","value":"9783642288395"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-28839-5_27","type":"book-chapter","created":{"date-parts":[[2012,3,5]],"date-time":"2012-03-05T22:33:40Z","timestamp":1330986820000},"page":"231-239","source":"Crossref","is-referenced-by-count":2,"title":["Compact Representation of Biological Sequences Using Set Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Ignacio","family":"Requeno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Manuel","family":"Colom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"crossref","unstructured":"Benson, D.A., Karsch-Mizrachi, I., Lipman, D.J., Ostell, J., Sayers, E.W.: GenBank. Nucleic. Acids Res.\u00a051, D46\u2013D51 (2010)","DOI":"10.1093\/nar\/gkp1024"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B. Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs Is NP-Complete. IEEE Trans. Comput.\u00a045, 993\u20131002 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Bryant, R.E.: Symbolic manipulation of boolean functions using a graphical representation. In: Proc. of the 22nd ACM\/IEEE Design Automation Conference, pp. 688\u2013694. ACM (1985)","DOI":"10.1109\/DAC.1985.1586017"},{"key":"27_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/3-540-48068-4_8","volume-title":"Application and Theory of Petri Nets 2002","author":"J.-M. Couvreur","year":"2002","unstructured":"Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D., Wacrenier, P.-A.: Data Decision Diagrams for Petri Net Analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.\u00a02360, pp. 101\u2013120. Springer, Heidelberg (2002)"},{"key":"27_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/11562436_32","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"J.-M. Couvreur","year":"2005","unstructured":"Couvreur, J.-M., Thierry-Mieg, Y.: Hierarchical decision diagrams to exploit model structure. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 443\u2013457. Springer, Heidelberg (2005)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Denzumi, S., Arimura, H., Minato, S.: Implementation of sequence BDDs in Erlang. In: Proceedings of the 10th ACM SIGPLAN W. on Erlang, pp. 90\u201391. ACM (2011)","DOI":"10.1145\/2034654.2034672"},{"key":"27_CR7","unstructured":"Denzumi, S., Yoshinaka, R., Arimura, H., Minato, S.: Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations. In: Holub, J., et al. (eds.) Proc. of the Prague Stringology Conference 2011, pp. 147\u2013161, Prague Stringology Club (2011)"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"1575","DOI":"10.1093\/bioinformatics\/btp117","volume":"25","author":"R. Giancarlo","year":"2009","unstructured":"Giancarlo, R., Scaturro, D., Utro, F.: Textual data compression in computational biology: a synopsis. Bioinformatics\u00a025, 1575\u20131586 (2009)","journal-title":"Bioinformatics"},{"key":"27_CR9","unstructured":"LIP6\/Move: the libDDD environment (2011), http:\/\/ddd.lip6.fr"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s10115-009-0252-9","volume":"24","author":"E. Loekito","year":"2010","unstructured":"Loekito, E., Bailey, J., Pei, J.: A binary decision diagram based approach for mining frequent subsequences. Knowl. Inf. Syst.\u00a024, 235\u2013268 (2010)","journal-title":"Knowl. Inf. Syst."},{"key":"27_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and data structures in VLSI design: OBDD - Foundations and applications","author":"C. Meinel","year":"1998","unstructured":"Meinel, C., Theobald, T.: Algorithms and data structures in VLSI design: OBDD - Foundations and applications. Springer, Heidelberg (1998)"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Miller, D.M.: Multiple-valued logic design tools. In: Proceedings of the 23rd Int. Symposium on Multiple-Valued Logic, pp. 2\u201311. IEEE (1993)","DOI":"10.1109\/ISMVL.1993.289589"},{"key":"27_CR13","doi-asserted-by":"publisher","first-page":"34","DOI":"10.3390\/e12010034","volume":"12","author":"\u00d6.U. Nalbantoglu","year":"2009","unstructured":"Nalbantoglu, \u00d6.U., Russell, D.J., Sayood, K.: Data compression concepts and algorithms and their applications to bioinformatics. Entropy\u00a012, 34\u201352 (2009)","journal-title":"Entropy"},{"key":"27_CR14","volume-title":"Bioinformatics","author":"A. Polanski","year":"2007","unstructured":"Polanski, A., Kimmel, M.: Bioinformatics. Springer, Heidelberg (2007)"},{"key":"27_CR15","unstructured":"Requeno, J.I.: An\u00e1lisis filogen\u00e9tico mediante l\u00f3gica temporal y model checking. Master Thesis in Computer Science and Engineering, University of Zaragoza (2010)"},{"key":"27_CR16","series-title":"AISC","first-page":"167","volume-title":"5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011)","author":"J.I. Requeno","year":"2011","unstructured":"Requeno, J.I., Blanco, R., de Miguel Casado, G., Colom, J.M.: Phylogenetic Analysis Using an SMV Tool. In: Rocha, M.P., Rodr\u00edguez, J.M.C., Fdez-Riverola, F., Valencia, A. (eds.) 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). AISC, vol.\u00a093, pp. 167\u2013174. Springer, Heidelberg (2011)"},{"key":"27_CR17","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: Proc. of the 1993 IEEE\/ACM Int. Conf. on Computer-aided Design, pp. 42\u201347. IEEE (1993)"},{"key":"27_CR18","first-page":"557","volume":"11","author":"V.B. Strelets","year":"1995","unstructured":"Strelets, V.B., Lim, H.A.: Compression of protein sequence databases. Comput. Appl. Biosci.\u00a011, 557\u2013561 (1995)","journal-title":"Comput. Appl. Biosci."},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1186\/1471-2105-9-242","volume":"9","author":"W.T. White","year":"2008","unstructured":"White, W.T., Hendy, M.: Compressing DNA sequence databases with coil. BMC Bioinformatics\u00a09, 242\u2013257 (2008)","journal-title":"BMC Bioinformatics"}],"container-title":["Advances in Intelligent and Soft Computing","6th International Conference on Practical Applications of Computational Biology & Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28839-5_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T13:10:34Z","timestamp":1742649034000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-28839-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288388","9783642288395"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28839-5_27","relation":{},"ISSN":["1867-5662","1867-5670"],"issn-type":[{"type":"print","value":"1867-5662"},{"type":"electronic","value":"1867-5670"}],"subject":[],"published":{"date-parts":[[2012]]}}}