{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:11:33Z","timestamp":1725988293010},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319994284"},{"type":"electronic","value":"9783319994291"}],"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-99429-1_7","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T09:45:12Z","timestamp":1535017512000},"page":"111-128","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Formal Analysis of Network Motifs"],"prefix":"10.1007","author":[{"given":"Hillel","family":"Kugler","sequence":"first","affiliation":[]},{"given":"Sara-Jane","family":"Dunn","sequence":"additional","affiliation":[]},{"given":"Boyan","family":"Yordanov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"issue":"13","key":"7_CR1","doi-asserted-by":"publisher","first-page":"i241","DOI":"10.1093\/bioinformatics\/btn163","volume":"24","author":"N Alon","year":"2008","unstructured":"Alon, N., Dao, P., Hajirasouliha, I., Hormozdiari, F., Sahinalp, S.C.: Biomolecular network motif counting and discovery by color coding. Bioinformatics 24(13), i241\u2013i249 (2008)","journal-title":"Bioinformatics"},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1201\/9781420011432","volume-title":"An Introduction to Systems Biology: Design Principles of Biological Circuits","author":"U Alon","year":"2006","unstructured":"Alon, U.: An Introduction to Systems Biology: Design Principles of Biological Circuits. CRC Press, Boca Raton (2006)"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1038\/ng1987","volume":"39","author":"I Amit","year":"2007","unstructured":"Amit, I., et al.: A module of negative feedback regulators defines growth factor signaling. Nat. Genet. 39(4), 503 (2007)","journal-title":"Nat. Genet."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, pp. 171\u2013183. ACM (1983)","DOI":"10.1145\/800061.808746"},{"key":"7_CR5","unstructured":"Barnat, J., Brim, L., Cerna, I., et al.: From simple regulatory motifs to parallel model checking of complex transcriptional networks. Pre-proceedings of Parallel and Distributed Methods in Verification (PDMC 2008), Budapest, pp. 83\u201396 (2008)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Chen, J., Hsu, W., Lee, M.L., Ng, S.K.: NeMoFinder: dissecting genome-wide protein-protein interactions with meso-scale network motifs. In: Proceedings of the 12th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, pp. 106\u2013115. ACM (2006)","DOI":"10.1145\/1150402.1150418"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Dunn, S.J., Li, M.A., Carbognin, E., Smith, A.G., Martello, G.: A common molecular logic determines embryonic stem cell self-renewal and reprogramming. bioRxiv, p. 200501 (2017)","DOI":"10.1101\/200501"},{"issue":"6188","key":"7_CR8","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"SJ Dunn","year":"2014","unstructured":"Dunn, S.J., Martello, G., Yordanov, B., Emmott, S., Smith, A.: Defining an essential transcription factor program for na\u00efve pluripotency. Science 344(6188), 1156\u20131160 (2014)","journal-title":"Science"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71681-5_7","volume-title":"Research in Computational Molecular Biology","author":"JA Grochow","year":"2007","unstructured":"Grochow, J.A., Kellis, M.: Network motif discovery using subgraph enumeration and symmetry-breaking. In: Speed, T., Huang, H. (eds.) RECOMB 2007. LNCS, vol. 4453, pp. 92\u2013106. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71681-5_7"},{"key":"7_CR10","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-662-44485-6_10","volume-title":"Biomedical Engineering Systems and Technologies","author":"S Ito","year":"2014","unstructured":"Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Formal analysis of gene networks using network motifs. In: Fern\u00e1ndez-Chimeno, M., et al. (eds.) BIOSTEC 2013. CCIS, vol. 452, pp. 131\u2013146. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44485-6_10"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1186\/1471-2105-10-318","volume":"10","author":"ZRM Kashani","year":"2009","unstructured":"Kashani, Z.R.M., et al.: Kavosh: a new algorithm for finding network motifs. BMC Bioinform. 10(1), 318 (2009)","journal-title":"BMC Bioinform."},{"issue":"11","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1746","DOI":"10.1093\/bioinformatics\/bth163","volume":"20","author":"N Kashtan","year":"2004","unstructured":"Kashtan, N., Itzkovitz, S., Milo, R., Alon, U.: Efficient sampling algorithm for estimating subgraph concentrations and detecting network motifs. Bioinformatics 20(11), 1746\u20131758 (2004)","journal-title":"Bioinformatics"},{"issue":"7","key":"7_CR13","doi-asserted-by":"publisher","first-page":"e68073","DOI":"10.1371\/journal.pone.0068073","volume":"8","author":"S Khakabimamaghani","year":"2013","unstructured":"Khakabimamaghani, S., Sharafuddin, I., Dichter, N., Koch, I., Masoudi-Nejad, A.: QuateXelero: an accelerated exact network motif detection algorithm. PLoS One 8(7), e68073 (2013)","journal-title":"PLoS One"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Kugler, H., Dunn, S.J., Yordanov, B.: Formal analysis of network motifs. bioRxiv (2018)","DOI":"10.1101\/347500"},{"issue":"12","key":"7_CR15","doi-asserted-by":"publisher","first-page":"e50093","DOI":"10.1371\/journal.pone.0050093","volume":"7","author":"X Li","year":"2012","unstructured":"Li, X., Stones, D.S., Wang, H., Deng, H., Liu, X., Wang, G.: NetMODE: network motif detection without nauty. PLoS One 7(12), e50093 (2012)","journal-title":"PLoS One"},{"issue":"21","key":"7_CR16","doi-asserted-by":"publisher","first-page":"11980","DOI":"10.1073\/pnas.2133841100","volume":"100","author":"S Mangan","year":"2003","unstructured":"Mangan, S., Alon, U.: Structure and function of the feed-forward loop network motif. Proc. Nat. Acad. Sci. 100(21), 11980\u201311985 (2003)","journal-title":"Proc. Nat. Acad. Sci."},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.jmb.2003.09.049","volume":"334","author":"S Mangan","year":"2003","unstructured":"Mangan, S., Zaslaver, A., Alon, U.: The coherent feedforward loop serves as a sign-sensitive delay element in transcription networks. J. Mol. Biol. 334(2), 197\u2013204 (2003)","journal-title":"J. Mol. Biol."},{"key":"7_CR18","first-page":"45","volume":"30","author":"B McKay","year":"1981","unstructured":"McKay, B.: Practical graph isomorphism. Congr. Numerantium 30, 45\u201387 (1981)","journal-title":"Congr. Numerantium"},{"issue":"5","key":"7_CR19","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1109\/TCBB.2014.2321150","volume":"11","author":"LA Meira","year":"2014","unstructured":"Meira, L.A., M\u00e1ximo, V.R., Fazenda, \u00c1.L., Da Concei\u00e7\u00e3o, A.F.: acc-Motif: accelerated network motif detection. IEEE\/ACM Trans. Comput. Biol. Bioinform. (TCBB) 11(5), 853\u2013862 (2014)","journal-title":"IEEE\/ACM Trans. Comput. Biol. Bioinform. (TCBB)"},{"issue":"5594","key":"7_CR20","doi-asserted-by":"publisher","first-page":"824","DOI":"10.1126\/science.298.5594.824","volume":"298","author":"R Milo","year":"2002","unstructured":"Milo, R., Shen-Orr, S., Itzkovitz, S., Kashtan, N., Chklovskii, D., Alon, U.: Network motifs: simple building blocks of complex networks. Science 298(5594), 824\u2013827 (2002)","journal-title":"Science"},{"issue":"8","key":"7_CR21","doi-asserted-by":"publisher","first-page":"a008128","DOI":"10.1101\/cshperspect.a008128","volume":"4","author":"J Nichols","year":"2012","unstructured":"Nichols, J., Smith, A.: Pluripotency in the embryo and in culture. Cold Spring Harb. Perspect. Biol. 4(8), a008128 (2012)","journal-title":"Cold Spring Harb. Perspect. Biol."},{"issue":"7203","key":"7_CR22","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1038\/454424a","volume":"454","author":"P Nurse","year":"2008","unstructured":"Nurse, P.: Life, logic and information. Nature 454(7203), 424\u2013426 (2008)","journal-title":"Nature"},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"e177","DOI":"10.1093\/bioinformatics\/btl301","volume":"23","author":"N Pr\u017eulj","year":"2007","unstructured":"Pr\u017eulj, N.: Biological network comparison using graphlet degree distribution. Bioinformatics 23(2), e177\u2013e183 (2007)","journal-title":"Bioinformatics"},{"issue":"5586","key":"7_CR24","doi-asserted-by":"publisher","first-page":"1551","DOI":"10.1126\/science.1073374","volume":"297","author":"E Ravasz","year":"2002","unstructured":"Ravasz, E., Somera, A.L., Mongru, D.A., Oltvai, Z.N., Barab\u00e1si, A.L.: Hierarchical organization of modularity in metabolic networks. Science 297(5586), 1551\u20131555 (2002)","journal-title":"Science"},{"issue":"1","key":"7_CR25","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1186\/1741-7007-2-25","volume":"2","author":"M Reigl","year":"2004","unstructured":"Reigl, M., Alon, U., Chklovskii, D.B.: Search for computational modules in the C. elegans brain. BMC Biol. 2(1), 25 (2004)","journal-title":"BMC Biol."},{"issue":"17","key":"7_CR26","doi-asserted-by":"publisher","first-page":"3572","DOI":"10.1093\/bioinformatics\/bti556","volume":"21","author":"F Schreiber","year":"2005","unstructured":"Schreiber, F., Schw\u00f6bbermeyer, H.: MAVisto: a tool for the exploration of network motifs. Bioinformatics 21(17), 3572\u20133574 (2005)","journal-title":"Bioinformatics"},{"issue":"1","key":"7_CR27","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1038\/ng881","volume":"31","author":"SS Shen-Orr","year":"2002","unstructured":"Shen-Orr, S.S., Milo, R., Mangan, S., Alon, U.: Network motifs in the transcriptional regulation network of Escherichia coli. Nat. Genet. 31(1), 64 (2002)","journal-title":"Nat. Genet."},{"key":"7_CR28","unstructured":"Shervashidze, N., Vishwanathan, S., Petri, T., Mehlhorn, K., Borgwardt, K.: Efficient graphlet kernels for large graph comparison. In: Artificial Intelligence and Statistics, pp. 488\u2013495 (2009)"},{"issue":"3","key":"7_CR29","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1093\/bib\/bbu021","volume":"16","author":"NTL Tran","year":"2015","unstructured":"Tran, N.T.L., Mohan, S., Xu, Z., Huang, C.H.: Current innovations and future challenges of network motif detection. Brief. Bioinform. 16(3), 497\u2013525 (2015)","journal-title":"Brief. Bioinform."},{"issue":"9","key":"7_CR30","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1093\/bioinformatics\/btl038","volume":"22","author":"S Wernicke","year":"2006","unstructured":"Wernicke, S., Rasche, F.: FANMOD: a tool for fast network motif detection. Bioinformatics 22(9), 1152\u20131153 (2006)","journal-title":"Bioinformatics"},{"issue":"2","key":"7_CR31","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1093\/bib\/bbr033","volume":"13","author":"E Wong","year":"2011","unstructured":"Wong, E., Baur, B., Quader, S., Huang, C.H.: Biological network motif detection: principles and practice. Brief. Bioinform. 13(2), 202\u2013215 (2011)","journal-title":"Brief. Bioinform."},{"issue":"16","key":"7_CR32","doi-asserted-by":"publisher","first-page":"5934","DOI":"10.1073\/pnas.0306752101","volume":"101","author":"E Yeger-Lotem","year":"2004","unstructured":"Yeger-Lotem, E., et al.: Network motifs in integrated cellular networks of transcription-regulation and protein-protein interaction. Proc. Natl. Acad. Sci. U.S.A. 101(16), 5934\u20135939 (2004)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"7_CR33","doi-asserted-by":"crossref","unstructured":"Yordanov, B., Dunn, S.J., Kugler, H., Smith, A., Martello, G., Emmott, S.: A method to identify and analyze biological programs through automated reasoning. NPJ Syst. Biol. Appl. 2(16010) (2016)","DOI":"10.1038\/npjsba.2016.10"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99429-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T22:59:13Z","timestamp":1661813953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99429-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319994284","9783319994291"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99429-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}