{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:05:57Z","timestamp":1725768357952},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642540127"},{"type":"electronic","value":"9783642540134"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54013-4_18","type":"book-chapter","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T01:08:09Z","timestamp":1388711289000},"page":"322-336","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Parsimonious Putative Regulatory Networks: Complexity and Heuristic Approach"],"prefix":"10.1007","author":[{"given":"Vicente","family":"Acu\u00f1a","sequence":"first","affiliation":[]},{"given":"Andr\u00e9s","family":"Aravena","sequence":"additional","affiliation":[]},{"given":"Alejandro","family":"Maass","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"17","key":"18_CR1","doi-asserted-by":"publisher","first-page":"3389","DOI":"10.1093\/nar\/25.17.3389","volume":"25","author":"S.F. Altschul","year":"1997","unstructured":"Altschul, S.F., Madden, T.L., Sch\u00e4ffer, A.A., Zhang, J., Zhang, Z., Miller, W., Lipman, D.J.: Gapped blast and psi-blast: a new generation of protein database search programs. Nucleic Acids Res.\u00a025(17), 3389\u20133402 (1997)","journal-title":"Nucleic Acids Res."},{"key":"18_CR2","unstructured":"Aravena, A., Guziolowski, C., Ostrowski, M., Schaub, T., Eveillard, D., Maass, A., Siegel, A.: Deciphering regulatory relationships with a logic-based model of causality for gene expression associations (2013) (in preparation)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bailey, T.L., Boden, M., Buske, F.A., Frith, M., Grant, C.E., Clementi, L., Ren, J., Li, W.W., Noble, W.S.: Meme suite: tools for motif discovery and searching. Nucleic Acids Research\u00a037 (Web Server issue), W202 (2009)","DOI":"10.1093\/nar\/gkp335"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press (2003)","DOI":"10.1017\/CBO9780511543357"},{"key":"18_CR5","unstructured":"Butte, A.J., Kohane, I.S.: Mutual information relevance networks: functional genomic clustering using pairwise entropy measurements. In: Pac. Symp. Biocomput., pp. 418\u2013429 (2000)"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Calzone, L., Fages, F., Soliman, S.: Biocham: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics (2006)","DOI":"10.1093\/bioinformatics\/btl172"},{"issue":"1","key":"18_CR7","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Danos, V., Fages, F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"18_CR8","unstructured":"Csardi, G., Nepusz, T.: The igraph software package for complex network research. InterJournal, Complex Systems\u00a01695 (2006)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-74407-8_3","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"V. Danos","year":"2007","unstructured":"Danos, V., et al.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol.\u00a04703, pp. 17\u201341. Springer, Heidelberg (2007)"},{"key":"18_CR10","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Hayman, J., Krivine, J., Thompson-Walsh, C.D., Winskel, G.: Graphs, rewriting and pathway reconstruction for rule-based models. In: D\u2019Souza, D., Kavitha, T., Radhakrishnan, J. (eds.) IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012. LIPIcs, vol.\u00a018, pp. 276\u2013288. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2012)"},{"issue":"14","key":"18_CR11","doi-asserted-by":"publisher","first-page":"4935","DOI":"10.1073\/pnas.0502024102","volume":"102","author":"E. Davidson","year":"2005","unstructured":"Davidson, E., Levin, M.: Gene regulatory networks. Proceedings of the National Academy of Sciences of the United States of America\u00a0102(14), 4935 (2005)","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1093\/bioinformatics\/btf851","volume":"19","author":"H. Jong de","year":"2003","unstructured":"de Jong, H., Geiselmann, J., Hernandez, C., Page, M.: Genetic network analyzer: qualitative simulation of genetic regulatory networks. Bioinformatics\u00a019(3), 336\u2013344 (2003)","journal-title":"Bioinformatics"},{"issue":"1","key":"18_CR13","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"E. Dijkstra","year":"1959","unstructured":"Dijkstra, E.: A note on two problems in connexion with graphs. Numerische Mathematik\u00a01(1), 269\u2013271 (1959)","journal-title":"Numerische Mathematik"},{"key":"18_CR14","volume-title":"Computers and Intractability (A guide to the theory of NP-completeness)","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability (A guide to the theory of NP-completeness). W.H. Freeman and Company, New York (1979)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-642-04238-6_49","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., Kaminski, R., Ostrowski, M., Schaub, T., Thiele, S.: On the input language of ASP grounder gringo. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 502\u2013508. Springer, Heidelberg (2009)"},{"issue":"2","key":"18_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The potsdam answer set solving collection. AI Communications\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Communications"},{"key":"18_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, vol.\u00a088, pp. 1070\u20131080 (1988)"},{"issue":"1","key":"18_CR18","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.copbio.2003.11.002","volume":"15","author":"M.J. Herrg\u00e5rd","year":"2004","unstructured":"Herrg\u00e5rd, M.J., Covert, M.W., Palsson, B.\u00d8.: Reconstruction of microbial transcriptional regulatory networks. Curr. Opin. Biotechnol.\u00a015(1), 70\u201377 (2004)","journal-title":"Curr. Opin. Biotechnol."},{"issue":"3","key":"18_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0020-0190(88)90065-8","volume":"27","author":"D. Johnson","year":"1988","unstructured":"Johnson, D., Yannakakis, M., Papadimitriou, C.: On generating all maximal independent sets. Information Processing Letters\u00a027(3), 119\u2013123 (1988)","journal-title":"Information Processing Letters"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Karp, R.M.: Reducibility Among Combinatorial Problems. In: Miller, R.E., Thatcher, J.W. (eds.) Complexity of Computer Computations, pp. 85\u2013103. Plenum Press (1972)","DOI":"10.1007\/978-1-4684-2001-2_9"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.dam.2006.04.032","volume":"155","author":"L. Khachiyan","year":"2007","unstructured":"Khachiyan, L., Boros, E., Elbassioni, K., Gurvich, V., Makino, K.: Enumerating disjunctions and conjunctions of paths and cuts in reliability theory. Discrete Applied Mathematics\u00a0155(2), 137\u2013149 (2007)","journal-title":"Discrete Applied Mathematics"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Marbach, D., Prill, R.J., Schaffter, T., Mattiussi, C., Floreano, D., Stolovitzky, G.: Revealing strengths and weaknesses of methods for gene network inference. In: Proceedings of the National Academy of Sciences (2010)","DOI":"10.1073\/pnas.0913357107"},{"issue":"3","key":"18_CR23","doi-asserted-by":"publisher","first-page":"808","DOI":"10.1093\/nar\/gkq710","volume":"39","author":"A. Medina-Rivera","year":"2011","unstructured":"Medina-Rivera, A., Abreu-Goodger, C., Thomas-Chollier, M., Salgado, H., Collado-Vides, J., van Helden, J.: Theoretical and empirical quality assessment of transcription factor-binding motifs. Nucleic Acids Research\u00a039(3), 808\u2013824 (2011)","journal-title":"Nucleic Acids Research"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Meyer, P.E., Kontos, K., Lafitte, F., Bontempi, G.: Information-theoretic inference of large transcriptional regulatory networks. EURASIP J. Bioinform. Syst. Biol., 79879 (2007)","DOI":"10.1155\/2007\/79879"},{"key":"18_CR25","unstructured":"R Core Team: R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria (2012). ISBN 3-900051-07-0"},{"issue":"5","key":"18_CR26","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1002\/dvg.22359","volume":"51","author":"A. Streit","year":"2013","unstructured":"Streit, A., Tambalo, M., Chen, J., Grocott, T., Anwar, M., Sosinsky, A., Stern, C.D.: Experimental approaches for gene regulatory network construction: The chick as a model system. Genesis\u00a051(5), 296\u2013310 (2013)","journal-title":"Genesis"},{"issue":"Database issue","key":"18_CR27","doi-asserted-by":"crossref","first-page":"D627","DOI":"10.1093\/nar\/gkr1020","volume":"40","author":"B. Taboada","year":"2012","unstructured":"Taboada, B., Ciria, R., Martinez-Guerrero, C.E., Merino, E.: Proopdb: Prokaryotic operon database. Nucleic Acids Res.\u00a040(Database issue), D627\u2013D631 (2012)","journal-title":"Nucleic Acids Res."},{"issue":"7","key":"18_CR28","doi-asserted-by":"publisher","first-page":"511","DOI":"10.2174\/138920209789208237","volume":"10","author":"Y. Xiao","year":"2009","unstructured":"Xiao, Y.: A tutorial on analysis and simulation of boolean gene regulatory network models. Current Genomics\u00a010(7), 511 (2009)","journal-title":"Current Genomics"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54013-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,13]],"date-time":"2020-08-13T07:05:20Z","timestamp":1597302320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54013-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642540127","9783642540134"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54013-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}