乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:37:26Z","timestamp":1742949446464,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030172961"},{"type":"electronic","value":"9783030172978"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-17297-8_2","type":"book-chapter","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T13:04:12Z","timestamp":1560258252000},"page":"37-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated Reasoning for the Synthesis and Analysis of Biological Programs"],"prefix":"10.1007","author":[{"given":"Sara-Jane","family":"Dunn","sequence":"first","affiliation":[]},{"given":"Boyan","family":"Yordanov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,12]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abou-Jaoud\u00e9 W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C et\u00a0al (2015) Model checking to assess T-helper cell plasticity. Front Bioeng Biotechnol 2","DOI":"10.3389\/fbioe.2014.00086"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci E, Li\u00f3 P (2016) Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol 12(1):1\u201322","journal-title":"PLoS Comput Biol"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-642-31424-7_50","volume-title":"Computer Aided Verification","author":"David Benque","year":"2012","unstructured":"Benque D, Bourton S, Cockerton C, Cook B, Fisher J, Ishtiaq S et\u00a0al (2012) BMA: visual tool for modeling and analyzing biological networks. Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics). LNCS, vol 7358, pp 686\u2013692"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-49059-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Armin Biere","year":"1999","unstructured":"Biere A, Cimatti A, Clarke E, Zhu Y (1999) Symbolic model checking without BDDs. In: Cleaveland WR (ed) Tools and algorithms for the construction and analysis of systems. Lecture notes in computer science, vol 1579. Springer, Berlin, pp 193\u2013207"},{"issue":"9","key":"2_CR5","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"N Bjorner","year":"2011","unstructured":"Bjorner N, Moura LD (2011) Satisfiability modulo theories: introduction and applications. Commun ACM 54(9):69\u201377","journal-title":"Commun ACM"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Chabrier N, Fages F (2003) Symbolic model checking of biochemical networks. Lect Notes Comput Sci 2602:149\u2013162","DOI":"10.1007\/3-540-36481-1_13"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1186\/1471-2105-11-385","volume":"11","author":"F Corblin","year":"2010","unstructured":"Corblin F, Fanchon E, Trilling L (2010) Applications of a formal approach to decipher discrete genetic networks. BMC Bioinform 11:385","journal-title":"BMC Bioinform"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2009.07.007","volume":"98","author":"Fabien Corblin","year":"2009","unstructured":"Corblin F, Tripodi S, Fanchon E, Ropers D, Trilling L (2009) A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems 98(2):91\u2013104","journal-title":"Biosystems"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"De Moura L, Bj\u00f8rner N (2008) Z3: an efficient SMT solver. Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp 337\u2013340","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"2_CR10","unstructured":"Dunn SJ, Li MA, Carbognin E, Smith AG, Martello G (2018) A common molecular logic determines embryonic stem cell self-renewal and reprogramming. bioRxiv, p 200501"},{"issue":"6188","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1126\/science.1248882","volume":"344","author":"SJ Dunn","year":"2014","unstructured":"Dunn SJ, Martello G, Yordanov B, Emmott S, Smith AG (2014) Defining an essential transcription factor program for naive pluripotency. Science 344(6188):1156\u20131160","journal-title":"Science"},{"issue":"2","key":"2_CR12","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F Fages","year":"2002","unstructured":"Fages F (2002) Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J Biol Phys Chem 4(2):64\u201373","journal-title":"J Biol Phys Chem"},{"issue":"6","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"102","author":"J Fisher","year":"2005","unstructured":"Fisher J, Piterman N, Hubbard EJA, Stern MJ, Harel D (2005) Computational insights into Caenorhabditis elegans vulval development. Proc Natl Acad Sci 102(6):1951\u20131956","journal-title":"Proc Natl Acad Sci"},{"issue":"11","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"Jasmin Fisher","year":"2007","unstructured":"Fisher J, Henzinger T (2007) Executable cell biology. Nat Biotechnol 25(11):1239\u20131249","journal-title":"Nature Biotechnology"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/978-3-662-46681-0_47","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Mirco Giacobbe","year":"2015","unstructured":"Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paix\u00e3o T, Petrov T (2015) Model checking gene regulatory networks. Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics), vol 9035, pp 469\u2013483"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Gong H, Zuliani P, Wang Q, Clarke EM (2011) Formal analysis for logical models of pancreatic cancer. In: IEEE conference on decision and control and European control conference, pp 4855\u20134860","DOI":"10.1109\/CDC.2011.6161052"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Guziolowski C, Videla S, Eduati F, Cokelaer T, Siegel A, Saez-rodriguez J et al (2013) Exhaustively characterizing feasible logic models of a signaling network using answer set programming. Bioinformatics 393","DOI":"10.1093\/bioinformatics\/btt393"},{"issue":"10","key":"2_CR18","doi-asserted-by":"publisher","first-page":"e46798","DOI":"10.1371\/journal.pone.0046798","volume":"7","author":"Franziska Herrmann","year":"2012","unstructured":"Herrmann F, Gro\u00df A, Zhou D, Kestler Ha, Kuhl M (2012) A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLoS ONE 7(10):e46798","journal-title":"PLoS ONE"},{"issue":"7611","key":"2_CR19","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1038\/nature18320","volume":"535","author":"Philipp S. Hoppe","year":"2016","unstructured":"Hoppe PS, Schwarzfischer M, Loeffler D, Kokkaliaris KD, Hilsenbeck O, Moritz N et\u00a0al (2016) Early myeloid lineage choice is not initiated by random PU.1 to GATA1 protein ratios. Nature 535(7611):299\u2013302","journal-title":"Nature"},{"issue":"1","key":"2_CR20","first-page":"15","volume":"3","author":"Z Khalis","year":"2009","unstructured":"Khalis Z, Comet JP, Richard A, Bernot G (2009) The SMBioNet method for discovering models of gene regulatory networks. Genes Genomes Genomics 3(1):15\u201322","journal-title":"Genes Genomes Genomics"},{"issue":"8","key":"2_CR21","doi-asserted-by":"publisher","first-page":"e22649","DOI":"10.1371\/journal.pone.0022649","volume":"6","author":"Jan Krumsiek","year":"2011","unstructured":"Krumsiek J, Marr C, Schroeder T, Theis FJ (2011) Hierarchical differentiation of myeloid progenitors is encoded in the transcription factor network. PloS One 6(8):e22649","journal-title":"PLoS ONE"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Kugler H, Dunn SJ, Yordanov B (2018) Formal analysis of network motifs. In: Ceska M, Safranek D (eds) Computational methods in systems biology. Springer International Publishing, New York, pp 111\u2013128","DOI":"10.1007\/978-3-319-99429-1_7"},{"key":"2_CR23","unstructured":"Kwiatkowska M, Norman G, Parker D (2010) Probabilistic model checking for systems biology. In: Iyengar MS (ed)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"Marta Kwiatkowska","year":"2011","unstructured":"Kwiatkowska M, Norman G, Parker D (2011) PRISM 4.0: verification of probabilistic real-time systems. Formal modeling and verification of cyber-physical systems. Springer Fachmedien Wiesbaden, Wiesbaden, pp 585\u2013591"},{"key":"2_CR25","first-page":"165","volume":"36","author":"M Kwiatkowska","year":"2014","unstructured":"Kwiatkowska M, Thachuk C (2014) Probabilistic model checking for biology. Softw Syst Saf 36:165","journal-title":"Softw Syst Saf"},{"issue":"3","key":"2_CR26","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1038\/nrg3885","volume":"16","author":"N Nov\u00e8re Le","year":"2015","unstructured":"Le Nov\u00e8re N (2015) Quantitative and logic modelling of molecular and gene networks. Nat Rev Genet 16(3):146\u2013158","journal-title":"Nat Rev Genet"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"Mishra A, Oul\u00e8s B, Pisco AO, Ly T, Liakath-Ali K, Walko G et\u00a0al (2017) A protein phosphatase network controls the temporal and spatial dynamics of differentiation commitment in human epidermis. Elife 6:1\u201320","DOI":"10.7554\/eLife.27356"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1038\/nbt.3154","volume":"33","author":"V Moignard","year":"2015","unstructured":"Moignard V, Woodhouse S, Haghverdi L, Lilly AJ, Tanaka Y, Wilkinson AC et al (2015) Decoding the regulatory network of early blood development from single-cell gene expression measurements. Nat Biotechnol 33:269\u2013276","journal-title":"Nat Biotechnol"},{"issue":"8","key":"2_CR29","doi-asserted-by":"publisher","first-page":"a008128","DOI":"10.1101\/cshperspect.a008128","volume":"4","author":"J Nichols","year":"2012","unstructured":"Nichols J, Smith A (2012) Pluripotency in the embryo and in culture. Cold Spring Harb Perspect Biol 4(8):a008128\u2013a008128","journal-title":"Cold Spring Harb Perspect Biol"},{"issue":"45","key":"2_CR30","doi-asserted-by":"publisher","first-page":"17692","DOI":"10.1073\/pnas.0707045104","volume":"104","author":"JE Pimanda","year":"2007","unstructured":"Pimanda JE, Ottersbach K, Knezevic K, Kinston S, Chan WYI, Wilson NK et al (2007) Gata2, Fli1, and Scl form a recursively wired gene-regulatory circuit during early hematopoietic development. PNAS 104(45):17692\u201317697","journal-title":"PNAS"},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"Kauffman SA","year":"1969","unstructured":"SA Kauffman (1969) Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol 22(3):437\u2013467","journal-title":"J Theor Biol"},{"key":"2_CR32","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1002\/9781119005223.ch2","volume-title":"Logical Modeling of Biological Systems","author":"Torsten Schaub","year":"2014","unstructured":"Schaub T, Siegel A, Videla S (2014) Reasoning on the response of logical signaling networks with ASP. Logical modeling of biological systems. Wiley, Hoboken, pp 49\u201392"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.biosystems.2016.03.012","volume":"146","author":"Y Shavit","year":"2016","unstructured":"Shavit Y, Yordanov B, Dunn SJ, Wintersteiger CM, Otani T, Hamadi Y et al (2016) Automated synthesis and analysis of switching gene regulatory networks. BioSystems 146:26\u201334","journal-title":"BioSystems"},{"issue":"4","key":"2_CR34","doi-asserted-by":"publisher","first-page":"888","DOI":"10.1016\/j.cell.2013.07.020","volume":"154","author":"AB Stergachis","year":"2013","unstructured":"Stergachis AB, Neph S, Reynolds A, Humbert R, Miller B, Paige SL et al (2013) Developmental fate and cellular maturity encoded in human regulatory DNA landscapes. Cell 154(4):888\u2013903","journal-title":"Cell"},{"issue":"4","key":"2_CR35","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1016\/j.cell.2006.07.024","volume":"126","author":"K Takahashi","year":"2006","unstructured":"Takahashi K, Yamanaka S (2006) Induction of pluripotent stem cells from mouse embryonic and adult fibroblast cultures by defined factors. Cell 126(4):663\u2013676","journal-title":"Cell"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.tcs.2014.06.022","volume":"599","author":"Santiago Videla","year":"2015","unstructured":"Videla S, Guziolowski C, Eduati F, Thiele S, Gebser M, Nicolas J et\u00a0al (2015) Learning Boolean logic models of signaling networks with ASP. Theor Comput Sci 599:79\u2013101","journal-title":"Theoretical Computer Science"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Wang Q, Clarke EM (2016) Formal modeling of biological systems. In: 2016 IEEE international high level design validation and test workshop (HLDVT). IEEE, pp 178\u2013184","DOI":"10.1109\/HLDVT.2016.7748273"},{"issue":"1","key":"2_CR38","doi-asserted-by":"publisher","first-page":"e7952","DOI":"10.15252\/msb.20177952","volume":"14","author":"Ayako Yachie\u2010Kinoshita","year":"2018","unstructured":"Yachie-Kinoshita A, Onishi K, Ostblom J, Langley MA, Posfai E, Rossant J et al (2018) Modeling signaling dependent pluripotency with Boolean logic to predict cell fate transitions. Mol Syst Biol 14(1):e7952","journal-title":"Molecular Systems Biology"},{"key":"2_CR39","doi-asserted-by":"crossref","unstructured":"Yordanov B, Dunn SJ, Kugler H, Smith A, Martello G, Emmott S (2016) A method to identify and analyze biological programs through automated reasoning. NPJ Syst Biol Appl 2:16010","DOI":"10.1038\/npjsba.2016.10"},{"key":"2_CR40","first-page":"78","volume-title":"Lecture Notes in Computer Science","author":"Boyan Yordanov","year":"2013","unstructured":"Yordanov B, Wintersteiger CM, Hamadi Y, Kugler H (2013) SMT-based analysis of biological computation. In: NASA formal methods symposium, pp 78\u201392"},{"issue":"7446","key":"2_CR41","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1038\/nature11981","volume":"496","author":"N Yosef","year":"2013","unstructured":"Yosef N, Shalek AK, Gaublomme JT, Jin H, Lee Y, Awasthi A et al (2013) Dynamic regulatory network controlling TH17 cell differentiation. Nature 496(7446):461\u2013468","journal-title":"Nature"}],"container-title":["Computational Biology","Automated Reasoning for Systems Biology and Medicine"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17297-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,17]],"date-time":"2023-09-17T10:39:03Z","timestamp":1694947143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17297-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030172961","9783030172978"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17297-8_2","relation":{},"ISSN":["1568-2684","2662-2432"],"issn-type":[{"type":"print","value":"1568-2684"},{"type":"electronic","value":"2662-2432"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}