{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T19:38:54Z","timestamp":1726083534512},"publisher-location":"Cham","reference-count":130,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030061692"},{"type":"electronic","value":"9783030061708"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-06170-8_8","type":"book-chapter","created":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T23:05:27Z","timestamp":1588892727000},"page":"265-302","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Artificial Intelligence in Biological Modelling"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,5,8]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J Ahmad","year":"2006","unstructured":"Ahmad J, Bernot G, Comet JP, Lime D, Roux O (2006) Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComplexUs 3:231\u2013251","journal-title":"ComplexUs"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Alur R, Belta C, Ivanicic F, Kumar V, Mintz M, Pappas GJ, Rubin H, Schug J (2001) Hybrid modeling and simulation of biomolecular networks. In: Proceedings of the 4th international workshop on hybrid systems: computation and control, HSCC\u201901, Springer-Verlag, Rome, Italy. Lecture notes in computer science, vol 2034, pp 19\u201332","DOI":"10.1007\/3-540-45351-2_6"},{"key":"8_CR3","unstructured":"Angelopoulos N, Muggleton SH (2002a) Machine learning metabolic pathway descriptions using a probabilistic relational representation. Electron Trans Artif Intell 7(9); also in Proceedings of Machine Intelligence 19"},{"key":"8_CR4","unstructured":"Angelopoulos N, Muggleton SH (2002b) SLPs for probabilistic pathways: modeling and parameter estimation. Technical Report TR 2002\/12, Department of Computing, Imperial College, London, UK"},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M Antoniotti","year":"2003","unstructured":"Antoniotti M, Policriti A, Ugel N, Mishra B (2003) Model building and model checking for biochemical processes. Cell Biochem Biophys 38:271\u2013286","journal-title":"Cell Biochem Biophys"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"M Ashburner","year":"2000","unstructured":"Ashburner M, Ball CA, Blake JA, Botstein D, Butler H, Cherry JM, Davis AP, Dolinski K, Dwight SS, Eppig JT, Harris MA, Hill DP, Issel-Tarver L, Kasarskis A, Lewis S, Matese JC, Richardson JE, Ringwald M, Rubin GM, Sherlock G (2000) Gene ontology: tool for the unification of biology. Nat Genet 25:25\u201329","journal-title":"Nat Genet"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Ballesta A, Dulong S, Abbara C, Cohen B, Okyar A, Clairambault J, Levi F (2011) A combined experimental and mathematical approach for molecular-based optimization of irinotecan circadian delivery. PLOS Comput Biol 7(9). \nhttps:\/\/doi.org\/10.1371\/journal.pcbi.1002143","DOI":"10.1371\/journal.pcbi.1002143"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Banga JR (2008) Optimization in computational systems biology. BMC Syst Biol 2: \nhttps:\/\/doi.org\/10.1186\/1752-0509-2-47","DOI":"10.1186\/1752-0509-2-47"},{"key":"8_CR9","volume-title":"Network science","author":"AL Barab\u00e1si","year":"2016","unstructured":"Barab\u00e1si AL (2016) Network science. Cambridge University Press, Cambridge"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Batt G, Bergamini D, de\u00a0Jong H, Garavel H, Mateescu R (2004) Model checkinggenetic regulatory networks using GNA and CADP. In: Proceedings of the 11th international SPIN workshop on model checking of software SPIN\u20192004, Barcelona, Spain","DOI":"10.1007\/978-3-540-24732-6_12"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Batt G, Ropers D, de Jong H, Geiselmann J, Mateescu R, Page M, Schneider D (2005) Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. Bioinformatics 21(Suppl. 1):i19\u2013i28","DOI":"10.1093\/bioinformatics\/bti1048"},{"issue":"18","key":"8_CR12","doi-asserted-by":"publisher","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","volume":"23","author":"G Batt","year":"2007","unstructured":"Batt G, Yordanov B, Weiss R, Belta C (2007) Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18):2415\u20132422","journal-title":"Bioinformatics"},{"issue":"18","key":"8_CR13","doi-asserted-by":"publisher","first-page":"i603","DOI":"10.1093\/bioinformatics\/btq387","volume":"26","author":"G Batt","year":"2010","unstructured":"Batt G, Page M, Cantone I, Goessler G, Monteiro P, de Jong H (2010) Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18):i603\u2013i610","journal-title":"Bioinformatics"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Batt G, Besson B, Ciron P, de Jong H, Dumas E, Geiselmann J, Monte R, Monteiro P, Page M, Rechenmann F, Ropers D (2012) Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks. Bacterial molecular networks. Springer, Berlin, pp 439\u2013462","DOI":"10.1007\/978-1-61779-361-5_22"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Berestovsky N, Zhou W, Nagrath D, Nakhleh L (2013) Modeling integrated cellular machinery using hybrid Petri-Boolean networks. PLoS Comput Biol 9(11):1003,306. \nhttps:\/\/doi.org\/10.1371\/journal.pcbi.1003306","DOI":"10.1371\/journal.pcbi.1003306"},{"issue":"3","key":"8_CR16","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","volume":"229","author":"G Bernot","year":"2004","unstructured":"Bernot G, Comet JP, Richard A, Guespin J (2004) A fruitful application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic. J Theor Biol 229(3):339\u2013347","journal-title":"J Theor Biol"},{"key":"8_CR17","unstructured":"Bryant CH, Muggleton SH, Oliver SG, Kell DB, Reiser PGK, King RD (2001) Combining inductive logic programming, active learning and robotics to discover the function of genes. Electron Trans Artif Intell 6(12)"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Calzone L, Chabrier-Rivier N, Fages F, Soliman S (2006a) Machine learning biochemical networks from temporal logic properties. In: Plotkin G (ed) Transactions on computational systems biology VI. Lecture notes in bioinformatics, vol 4220. Springer, Berlin, pp 68\u201394. \nhttps:\/\/doi.org\/10.1007\/11880646_4\n\n; cMSB\u201905 Special Issue","DOI":"10.1007\/11880646_4"},{"issue":"14","key":"8_CR19","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone L, Fages F, Soliman S (2006b) BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14):1805\u20131807. \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btl172","journal-title":"Bioinformatics"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Carcano A, Fages F, Soliman S (2017) Probably approximately correct learning of regulatory networks from time-series data. In: CMSB\u201917: Proceedings of the fiveteen international conference on computational methods in systems biology, vol 10545, pp 74\u201390. DOI \nhttps:\/\/doi.org\/10.1007\/978-3-319-67471-1_5","DOI":"10.1007\/978-3-319-67471-1_5"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Chabrier N, Fages F (2003) Symbolic model checking of biochemical networks. In: Priami C (ed) CMSB\u201903: proceedings of the first workshop on computational methods in systems biology, Springer-Verlag, Rovereto, Italy. Lecture notes in computer science, vol 2602, pp 149\u2013162","DOI":"10.1007\/3-540-36481-1_13"},{"issue":"1","key":"8_CR22","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 (2004) Modeling and querying biochemical interaction networks. Theor Comput Sci 325(1):25\u201344","journal-title":"Theor Comput Sci"},{"issue":"12","key":"8_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/2380656.2380679","volume":"55","author":"B Chazelle","year":"2012","unstructured":"Chazelle B (2012) Natural algorithms and influence systems. Commun ACM 55(12):101\u2013110. \nhttps:\/\/doi.org\/10.1145\/2380656.2380679","journal-title":"Commun ACM"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Chiang HJ, Fages F, Jiang JH, Soliman S (2015) Hybrid simulations of heterogeneous biochemical models in SBML. ACM Trans Model Comput Simul (TOMACS) 25(2):14:1\u201314:22. \nhttps:\/\/doi.org\/10.1145\/2742545","DOI":"10.1145\/2742545"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Enrico\u00a0Giunchiglia FG, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) NuSMV 2: an opensource tool for symbolic model checking. In: Proceedings of the international conference on computer-aided verification, CAV\u201902, Copenhagen, Danmark","DOI":"10.1007\/3-540-45657-0_29"},{"key":"8_CR26","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Colom JM, Silva M (1991) Convex geometry and semiflows in P\/T nets. a comparative study of algorithms for computation of minimal p-semiflows. In: Rozenberg G (ed) Advances in Petri Nets 1990. Lecture notes in computer science, vol 483. Springer, London, UK, pp 79\u2013112. \nhttps:\/\/doi.org\/10.1007\/3-540-53863-1_22","DOI":"10.1007\/3-540-53863-1_22"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Springer, Berlin, pp 543\u2013584. \nhttps:\/\/doi.org\/10.1007\/978-3-540-88869-7_27","DOI":"10.1007\/978-3-540-88869-7_27"},{"issue":"6","key":"8_CR29","doi-asserted-by":"publisher","first-page":"844","DOI":"10.1109\/TSMCA.2005.853504","volume":"35","author":"R Cordone","year":"2005","unstructured":"Cordone R, Ferrarini L, Piroddi L (2005) Enumeration algorithms for minimal siphons in petri nets based on place constraints. IEEE Trans Syst Man Cybern Part A Syst Hum 35(6):844\u2013854","journal-title":"IEEE Trans Syst Man Cybern Part A Syst Hum"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Courbet A, Endy D, Renard E, Molina F, Bonnet J (2015) Detection of pathological biomarkers in human clinical samples via amplifying genetic switches and logic gates. Sci Transl Med 352(6281):289ra83","DOI":"10.1126\/scitranslmed.aaa3601"},{"key":"8_CR31","unstructured":"Courbet A, Amar P, Fages F, Renard E, Molina F (2018) Computer-aided biochemical programming of synthetic microreactors as diagnostic devices. Mol Syst Biol 14(4):10.15252. \narXiv:msb.20177845"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Cousot P, Cousot R (1977) Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL\u201977: proceedings of the 6th ACM symposium on principles of programming languages, ACM Press, New York, pp 238\u2013252 (Los Angeles)","DOI":"10.1145\/512950.512973"},{"key":"8_CR33","doi-asserted-by":"publisher","unstructured":"De Maria E, Fages F, Rizk A, Soliman S (2011) Design, optimization, and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints. Theor Comput Sci 412(21):2108\u20132127. \nhttps:\/\/doi.org\/10.1016\/j.tcs.2010.10.036","DOI":"10.1016\/j.tcs.2010.10.036"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Delzanno G, Podelski A (2001) Constraint-based deductive model checking. STTT 3(3):250\u2013270","DOI":"10.1007\/s100090100049"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Deng K, Bourke C, Scott SD, Sunderman J, Zheng Y (2007) Bandit-based algorithms for budgeted learning. In: ICDM","DOI":"10.1109\/ICDM.2007.91"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Deng K, Zheng Y, Bourke C, Scott S, Masciale J (2013) New algorithms for budgeted learning. Mach Learn 90. \nhttps:\/\/doi.org\/10.1007\/s10994-012-5299-2","DOI":"10.1007\/s10994-012-5299-2"},{"key":"8_CR37","unstructured":"Donz\u00e9 A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. In: FORMATS 2010, Springer-Verlag. Lecture notes in computer science, vol 6246, pp 92\u2013106"},{"key":"8_CR38","unstructured":"Eisenberg M (1991) The kineticist\u2019s workbench: Combining symbolic and numerical methods in the simulation of chemical reaction mechanisms. Technical Report 1306, MIT Technical Report"},{"key":"8_CR39","unstructured":"Eker S, Knapp M, Laderoute K, Lincoln P, Meseguer J, S\u00f6nmez MK (2002) Pathway logic: symbolic analysis of biological signaling. In: Proceedings of the seventh pacific symposium on biocomputing, pp 400\u2013412"},{"key":"8_CR40","first-page":"51","volume":"1","author":"F Fages","year":"1994","unstructured":"Fages F (1994) Consistency of Clark\u2019s completion and existence of stable models. Methods Log Comput Sci 1:51\u201360","journal-title":"Methods Log Comput Sci"},{"issue":"1","key":"8_CR41","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","volume":"408","author":"F Fages","year":"2008","unstructured":"Fages F, Rizk A (2008) On temporal logic constraint solving for the analysis of numerical data time series. Theor Comput Sci 408(1):55\u201365. \nhttps:\/\/doi.org\/10.1016\/j.tcs.2008.07.004","journal-title":"Theor Comput Sci"},{"key":"8_CR42","doi-asserted-by":"publisher","unstructured":"Fages F, Rizk A (2009) From model-checking to temporal logic constraint solving. In: Proceedings of CP\u20192009, 15th international conference on principles and practice of constraint programming, vol 5732. Lecture notes in computer science. Springer, pp 319\u2013334. \nhttps:\/\/doi.org\/10.1007\/978-3-642-04244-7_26","DOI":"10.1007\/978-3-642-04244-7_26"},{"issue":"1","key":"8_CR43","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.tcs.2008.04.024","volume":"403","author":"F Fages","year":"2008","unstructured":"Fages F, Soliman S (2008a) Abstract interpretation and types for systems biology. Theoret Comput Sci 403(1):52\u201370. \nhttps:\/\/doi.org\/10.1016\/j.tcs.2008.04.024","journal-title":"Theoret Comput Sci"},{"key":"8_CR44","doi-asserted-by":"publisher","unstructured":"Fages F, Soliman S (2008b) Formal cell biology in BIOCHAM. In: Bernardo M, Degano P, Zavattaro G (eds) 8th international school on formal methods for the design of computer, communication and software systems: computational systems biology SFM\u201908, Springer-Verlag, Bertinoro, Italy. Lecture notes in computer science, vol 5016, pp 54\u201380. \nhttps:\/\/doi.org\/10.1007\/978-3-540-68894-5_3","DOI":"10.1007\/978-3-540-68894-5_3"},{"key":"8_CR45","doi-asserted-by":"publisher","unstructured":"Fages F, Soliman S (2008c) Model revision from temporal logic properties in systems biology. In: de\u00a0Raedt L, Frasconi P, Kersting K, Muggleton S (eds) Probabilistic inductive logic programming. Lecture notes in computer science, vol 4911. Springer, pp 287\u2013304. \nhttps:\/\/doi.org\/10.1007\/978-3-540-78652-8_11","DOI":"10.1007\/978-3-540-78652-8_11"},{"issue":"12","key":"8_CR46","doi-asserted-by":"publisher","first-page":"1569","DOI":"10.1039\/b907562n","volume":"5","author":"A Faur\u00e9","year":"2009","unstructured":"Faur\u00e9 A, Thieffry D (2009) Logical modelling of cell cycle control in eukaryotes: a comparative study. Mol Biosyst 5(12):1569\u20131581","journal-title":"Mol Biosyst"},{"key":"8_CR47","doi-asserted-by":"publisher","unstructured":"Fages F, Traynard P (2014) Temporal logic modeling of dynamical behaviors: first-order patterns and solvers. In: del Cerro LF, Inoue K (eds) Logical modeling of biological systems. Wiley, pp 291\u2013323. \nhttps:\/\/doi.org\/10.1002\/9781119005223.ch8","DOI":"10.1002\/9781119005223.ch8"},{"key":"8_CR48","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.tcs.2014.07.032","volume":"599","author":"F Fages","year":"2015","unstructured":"Fages F, Gay S, Soliman S (2015) Inferring reaction systems from ordinary differential equations. Theoret Comput Sci 599:64\u201378. \nhttps:\/\/doi.org\/10.1016\/j.tcs.2014.07.032","journal-title":"Theoret Comput Sci"},{"key":"8_CR49","doi-asserted-by":"publisher","unstructured":"Fages F, Le\u00a0Guludec G, Bournez O, Pouly A (2017) Strong turing completeness of continuous chemical reaction networks and compilation of mixed analog-digital programs (best paper award). In: CMSB\u201917: Proceedings of the fiveteen international conference on computational methods in systems biology, Springer-Verlag. Lecture notes in computer science, vol 10545, pp 108\u2013127. \nhttps:\/\/doi.org\/10.1007\/978-3-319-67471-1_7","DOI":"10.1007\/978-3-319-67471-1_7"},{"key":"8_CR50","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2018.2805686","author":"F Fages","year":"2018","unstructured":"Fages F, Martinez T, Rosenblueth D, Soliman S (2018) Influence networks compared with reaction networks: semantics, expressivity and attractors. IEEE\/ACM Trans Comput Biol Bioinform. \nhttps:\/\/doi.org\/10.1109\/TCBB.2018.2805686","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"key":"8_CR51","doi-asserted-by":"crossref","unstructured":"Faur\u00e9 A, Naldi A, Lopez F, Chaouiya C, Ciliberto A, Thieffry D (2009) Modular logical modelling of the budding yeast cell cycle. Mol Biosyst 5:1787\u20131796","DOI":"10.1039\/b910101m"},{"key":"8_CR52","unstructured":"Feinberg M (1977) Mathematical aspects of mass action kinetics. In: Lapidus L, Amundson NR (eds) Chemical reactor theory: a review. Prentice-Hall, pp 1\u201378"},{"issue":"1","key":"8_CR53","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1093\/bioinformatics\/btn621","volume":"25","author":"LF de Figueiredo","year":"2009","unstructured":"de Figueiredo LF, Schuster S, Kaleta C, Fell DA (2009) Can sugars be produced from fatty acids? A test case for pathway analysis tools. Bioinformatics 25(1):152\u2013158. \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btn621","journal-title":"Bioinformatics"},{"key":"8_CR54","doi-asserted-by":"publisher","unstructured":"Funahashi A, Matsuoka Y, Jouraku A, Morohashi M, Kikuchi N, Kitano H (2008) Celldesigner 3.5: a versatile modeling tool for biochemical networks. Proc IEEE 96(8):1254\u20131265. \nhttps:\/\/doi.org\/10.1109\/JPROC.2008.925458","DOI":"10.1109\/JPROC.2008.925458"},{"key":"8_CR55","doi-asserted-by":"publisher","unstructured":"Gay S, Soliman S, Fages F (2010) A graphical method for reducing and relating models in systems biology. Bioinformatics 26(18):i575\u2013i581. \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btq388\n\n, special issue ECCB\u201910","DOI":"10.1093\/bioinformatics\/btq388"},{"key":"8_CR56","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.dam.2013.08.008","volume":"162","author":"S Gay","year":"2014","unstructured":"Gay S, Fages F, Martinez T, Soliman S, Solnon C (2014) On the subgraph epimorphism problem. Discret Appl Math 162:214\u2013228. \nhttps:\/\/doi.org\/10.1016\/j.dam.2013.08.008","journal-title":"Discret Appl Math"},{"key":"8_CR57","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaufmann B, Neumann A, Schaub T (2007) Clasp: a conflict-driven answer set solver. In: Proceedings of the LPNMR\u201907. Springer, pp 260\u2013265","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"8_CR58","doi-asserted-by":"publisher","unstructured":"Gebser M, Schaub T, Thiele S, Usadel B, Veber P (2008) Detecting inconsistencies in large biological networks with answer set programming. In: de\u00a0la Banda MG, Pontelli E (eds) ICLP\u201908, Proceedings of the 24th international conference on logic programming, Springer-Verlag. Lecture notes in computer science, vol 5366, pp 130\u2013144. \nhttps:\/\/doi.org\/10.1007\/978-3-540-89982-2_19","DOI":"10.1007\/978-3-540-89982-2_19"},{"key":"#cr-split#-8_CR59.1","doi-asserted-by":"crossref","unstructured":"Ghosh R, Tomlin C (2001) Lateral inhibition through delta-notch signaling: a piecewise affine hybrid model. In: Springer-Verlag","DOI":"10.1007\/3-540-45351-2_21"},{"key":"#cr-split#-8_CR59.2","unstructured":"(ed) Proceedings of the 4th international workshop on hybrid systems: computation and control, HSCC'01, Rome, Italy. Lecture Notes in Computer Science, vol 2034, pp 232-246"},{"issue":"25","key":"8_CR60","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340\u20132361","journal-title":"J Phys Chem"},{"issue":"1","key":"8_CR61","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L Glass","year":"1973","unstructured":"Glass L, Kauffman SA (1973) The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol 39(1):103\u2013129","journal-title":"J Theor Biol"},{"key":"8_CR62","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/btn266","volume":"24","author":"AG Gonz\u00e1lez","year":"2008","unstructured":"Gonz\u00e1lez AG, Chaouiya C, Thieffry D (2008) Qualitative dynamical modelling of the formation of the anterior-posterior compartment boundary in the drosophila wing imaginal disc. Bioinformatics 24:234\u2013240","journal-title":"Bioinformatics"},{"key":"8_CR63","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/2593882.2593900","volume":"2014","author":"AD Gordon","year":"2014","unstructured":"Gordon AD, Henzinger TA, Nori AV, Rajamani SK (2014) Probabilistic programming. Proceedings of the on future of software engineering, ACM, New York, NY, USA, FOSE 2014:167\u2013181. \nhttps:\/\/doi.org\/10.1145\/2593882.2593900","journal-title":"Proceedings of the on future of software engineering, ACM, New York, NY, USA, FOSE"},{"key":"8_CR64","unstructured":"Grieco L, Calzone L, Bernard-Pierrot I, Radvanyi F, Kahn-Perl\u00e8s B, Thieffry D (2013) Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLOS Comput Biol 9(10):e1003,286"},{"issue":"2","key":"8_CR65","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1162\/106365601750190398","volume":"9","author":"N Hansen","year":"2001","unstructured":"Hansen N, Ostermeier A (2001) Completely derandomized self-adaptation in evolution strategies. Evol Comput 9(2):159\u2013195","journal-title":"Evol Comput"},{"key":"8_CR66","doi-asserted-by":"publisher","unstructured":"Heitzler D, Durand G, Gallay N, Rizk A, Ahn S, Kim J, Violin JD, Dupuy L, Gauthier C, Piketty V, Cr\u00e9pieux P, Poupon A, Cl\u00e9ment F, Fages F, Lefkowitz RJ, Reiter E (2012) Competing G protein-coupled receptor kinases balance G protein and $$\\beta $$-arrestin signaling. Mol Syst Biol 8(590). \nhttps:\/\/doi.org\/10.1038\/msb.2012.22","DOI":"10.1038\/msb.2012.22"},{"key":"8_CR67","unstructured":"Helmfelt A, Weinberger ED, Ross J (1991) Chemical implementation of neural networks and turing machines. PNAS 88:10,983\u201310,987"},{"key":"8_CR68","unstructured":"Henzinger TA (1996) The theory of hybrid automata. In: Proceedings of the 11th annual symposium on logic in computer science (LICS). IEEE Computer Society Press, pp 278\u2013292; an extended version appeared in Verification of Digital and Hybrid Systems"},{"issue":"10","key":"8_CR69","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1038\/nbt1492","volume":"26","author":"MJ Herrg\u00e5rd","year":"2008","unstructured":"Herrg\u00e5rd MJ, Swainston N, Dobson P, Dunn WB, Arga KY et al (2008) A consensus yeast metabolic network reconstruction obtained from a community approach to systems biology. Nat Biotechnol 26(10):1155\u20131160. \nhttps:\/\/doi.org\/10.1038\/nbt1492","journal-title":"Nat Biotechnol"},{"issue":"24","key":"8_CR70","doi-asserted-by":"publisher","first-page":"3067","DOI":"10.1093\/bioinformatics\/btl485","volume":"22","author":"S Hoops","year":"2006","unstructured":"Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, Singhal M, Xu L, Mendes P, Kummer U (2006) Copasi - a complex pathway simulator. Bioinformatics 22(24):3067\u20133074","journal-title":"Bioinformatics"},{"key":"8_CR71","unstructured":"Huang CY, Ferrell JE (1996) Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93(19):10,078\u201310,083"},{"issue":"4","key":"8_CR72","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M Hucka","year":"2003","unstructured":"Hucka M et al (2003) The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19(4):524\u2013531","journal-title":"Bioinformatics"},{"key":"8_CR73","doi-asserted-by":"publisher","DOI":"10.1038\/npre.2008.2715.1","author":"M Hucka","year":"2008","unstructured":"Hucka M, Hoops S, Keating SM, Nicolas LN, Sahle S, Wilkinson D (2008) Systems biology markup language (SBML) level 2: structures and facilities for model definitions. Nat Preced. \nhttps:\/\/doi.org\/10.1038\/npre.2008.2715.1","journal-title":"Nat Preced"},{"key":"8_CR74","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1146\/annurev.genom.2.1.343","volume":"2","author":"T Ideker","year":"2001","unstructured":"Ideker T, Galitski T, Hood L (2001) A new approach to decoding life: systems biology. Annu Rev Genomics Hum Genet 2:343\u2013372","journal-title":"Annu Rev Genomics Hum Genet"},{"key":"8_CR75","doi-asserted-by":"publisher","unstructured":"Inoue K (2011) Logic programming for boolean networks. In: Proceedings of the twenty-second international joint conference on artificial intelligence - volume two, AAAI Press, IJCAI\u201911, pp 924\u2013930. \nhttps:\/\/doi.org\/10.5591\/978-1-57735-516-8\/IJCAI11-160","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-160"},{"issue":"2","key":"8_CR76","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H de Jong","year":"2004","unstructured":"de Jong H, Gouz\u00e9 JL, Hernandez C, Page M, Sari T, Geiselmann J (2004) Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bull Math Biol 66(2):301\u2013340","journal-title":"Bull Math Biol"},{"key":"8_CR77","unstructured":"von Kamp A, Schuster S (2006) Metatool 5.0: fast and flexible elementary modes analysis. Bioinformatics 22(15):1930\u20131931"},{"issue":"1","key":"8_CR78","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M Kanehisa","year":"2000","unstructured":"Kanehisa M, Goto S (2000) KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Res 28(1):27\u201330","journal-title":"Nucleic Acids Res"},{"key":"8_CR79","doi-asserted-by":"crossref","unstructured":"Karr JR, Sanghvi JC, Macklin DN, Gutschow MV, Jacobs JM, Bolival B, Assad-Garcia N, Glass JI, Covert MW (2012) A whole-cell computational model predicts phenotype from genotype. Cell 150(2):389,401","DOI":"10.1016\/j.cell.2012.05.044"},{"key":"8_CR80","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1038\/msb4100179","volume":"3","author":"H Kitano","year":"2007","unstructured":"Kitano H (2007) Towards a theory of biological robustness. Mol Syst Biol 3:137","journal-title":"Mol Syst Biol"},{"key":"8_CR81","first-page":"3","volume-title":"Representation of events in nerve nets and finite automata","author":"S Kleene","year":"1956","unstructured":"Kleene S (1956) Representation of events in nerve nets and finite automata. Princeton University Press, Princeton, pp 3\u201341"},{"issue":"8","key":"8_CR82","doi-asserted-by":"publisher","first-page":"2703","DOI":"10.1091\/mbc.10.8.2703","volume":"10","author":"KW Kohn","year":"1999","unstructured":"Kohn KW (1999) Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Mol Biol Cell 10(8):2703\u20132734","journal-title":"Mol Biol Cell"},{"issue":"3","key":"8_CR83","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0304-4149(78)90020-0","volume":"6","author":"TG Kurtz","year":"1978","unstructured":"Kurtz TG (1978) Strong approximation theorems for density dependent Markov chains. Stoch Process Appl 6(3):223\u2013240. \nhttps:\/\/doi.org\/10.1016\/0304-4149(78)90020-0","journal-title":"Stoch Process Appl"},{"key":"8_CR84","doi-asserted-by":"publisher","unstructured":"Larhlimi A, Bockmayr A (2009) A new constraint-based description of the steady-state flux cone of metabolic networks. Discret Appl Math 157(10):2257\u20132266. \nhttps:\/\/doi.org\/10.1016\/j.dam.2008.06.039\n\n; networks in Computational Biology","DOI":"10.1016\/j.dam.2008.06.039"},{"issue":"34","key":"8_CR85","doi-asserted-by":"publisher","first-page":"D689","DOI":"10.1093\/nar\/gkj092","volume":"1","author":"N le Nov\u00e8re","year":"2006","unstructured":"le Nov\u00e8re N, Bornstein B, Broicher A, Courtot M, Donizelli M, Dharuri H, Li L, Sauro H, Schilstra M, Shapiro B, Snoep JL, Hucka M (2006) BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acid Res 1(34):D689\u2013D691","journal-title":"Nucleic Acid Res"},{"key":"8_CR86","unstructured":"Llamosi A, Mezine A, d\u2019Alch\u00e9 Buc F, Letort V, Sebag M (2014) Experimental design in dynamical system identification: a bandit-based active learning approach. In: Calders T, Esposito F, H\u00fcllermeier E, Meo R (eds) Machine learning and knowledge discovery in databases ECML PKKDD\u201914, Springer-Verlag. Lecture notes in artificial intelligence, vol 8724, pp 306\u2013321"},{"issue":"6","key":"8_CR87","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1103\/PhysRevLett.78.1190","volume":"78","author":"MO Magnasco","year":"1997","unstructured":"Magnasco MO (1997) Chemical kinetics is turing universal. Phys Rev Lett 78(6):1190\u20131193","journal-title":"Phys Rev Lett"},{"key":"8_CR88","unstructured":"Matsuno H, Doi A, Nagasaki M, Miyano S (2000) Hybrid petri net representation of gene regulatory network. In: Proceedings of the 5th pacific symposium on biocomputing, Stanford, Hawaii, USA, pp 338\u2013349"},{"key":"8_CR89","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W McCulloch","year":"1943","unstructured":"McCulloch W, Pitts W (1943) A logical calulus of ideas immanent in nervous activity. Bull Math Biophys 5:115\u2013133","journal-title":"Bull Math Biophys"},{"issue":"1","key":"8_CR90","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-8-13","volume":"8","author":"P Meyer","year":"2014","unstructured":"Meyer P, Cokelaer T, Chandran D, Kim KH, Loh PR, Tucker G, Lipson M, Berger B, Kreutz C, Raue A, Steiert B, Timmer J, Bilal E, Sauro HM, Stolovitzky G, Saez-Rodriguez J (2014) Network topology and parameter estimation: from experimental design methods to gene regulatory network kinetics using a community based approach. BMC Syst Biol 8(1):1\u201318. \nhttps:\/\/doi.org\/10.1186\/1752-0509-8-13","journal-title":"BMC Syst Biol"},{"key":"8_CR91","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"SH Muggleton","year":"1995","unstructured":"Muggleton SH (1995) Inverse entailment and progol. New Gener Comput 13:245\u2013286","journal-title":"New Gener Comput"},{"key":"8_CR92","doi-asserted-by":"publisher","unstructured":"Naldi A, Berenguier D, Faur\u00e9 A, Lopez F, Thieffry D, Chaouiya C (2009) Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2):134\u2013139. \nhttps:\/\/doi.org\/10.1016\/j.biosystems.2009.04.008","DOI":"10.1016\/j.biosystems.2009.04.008"},{"key":"8_CR93","doi-asserted-by":"publisher","unstructured":"Naldi A, Carneiro J, Chaouiya C, Thieffry D (2010) Diversity and plasticity of the cell types predicted from regulatory network modelling. PLoS Comput Biol 6(9):e1000,912. \nhttps:\/\/doi.org\/10.1371\/journal.pcbi.1000912","DOI":"10.1371\/journal.pcbi.1000912"},{"issue":"2","key":"8_CR94","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10601-015-9190-1","volume":"21","author":"F Nabli","year":"2016","unstructured":"Nabli F, Martinez T, Fages F, Soliman S (2016) On enumerating minimal siphons in petri nets using CLP and SAT solvers: theoretical and practical complexity. Constraints 21(2):251\u2013276. \nhttps:\/\/doi.org\/10.1007\/s10601-015-9190-1","journal-title":"Constraints"},{"key":"8_CR95","unstructured":"Neumann JV (1966) Theory of self replicating automata. University of Illinois Press"},{"key":"8_CR96","doi-asserted-by":"publisher","unstructured":"Nielsen AAK, Der BS, Shin J, Vaidyanathan P, Paralanov V, Strychalski EA, Ross D, Densmore D, Voigt CA (2016) Genetic circuit design automation. Science 352(6281). \nhttps:\/\/doi.org\/10.1126\/science.aac7341","DOI":"10.1126\/science.aac7341"},{"key":"8_CR97","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.biosystems.2016.07.009","volume":"149","author":"M Ostrowski","year":"2016","unstructured":"Ostrowski M, Paulev\u00e9 L, Schaub T, Siegel A, Guziolowski C (2016) Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming. Biosystems 149:139\u2013153. \nhttps:\/\/doi.org\/10.1016\/j.biosystems.2016.07.009","journal-title":"Biosystems"},{"key":"8_CR98","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality: models, reasoning and inference","author":"J Pearl","year":"2009","unstructured":"Pearl J (2009) Causality: models, reasoning and inference, 2nd edn. Cambridge University Press, New York","edition":"2"},{"key":"8_CR99","doi-asserted-by":"crossref","unstructured":"Peres S, M M, Simon L, (2014) Sat-based metabolics pathways analysis without compilation. In: et\u00a0al (Eds): CMSB PM. Lecture note in bioinformatics, vol 8859. Springer International Publishing, pp 20\u201331","DOI":"10.1007\/978-3-319-12982-2_2"},{"key":"8_CR100","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice Hall, New Jersey"},{"key":"8_CR101","unstructured":"Reddy VN, Mavrovouniotis ML, Liebman MN (1993) Petri net representations in metabolic pathways. In: Hunter L, Searls DB, Shavlik JW (eds) Proceedings of the 1st international conference on intelligent systems for molecular biology (ISMB), AAAI Press, pp 328\u2013336"},{"key":"8_CR102","doi-asserted-by":"publisher","unstructured":"Remy E, Ruet P, Thieffry D (2008) Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework. Adv Appl Math 41(3):335\u2013350. \nhttps:\/\/doi.org\/10.1016\/j.aam.2007.11.003","DOI":"10.1016\/j.aam.2007.11.003"},{"key":"8_CR103","doi-asserted-by":"crossref","unstructured":"Rezola A, de Figueiredo LF, Brock M, Pey J, Podhorski A, Wittmann C, Schuster S, Bockmayr A, Planes FJ (2011) Exploring metabolic pathways in genome-scale networks via generating flux modes. Bioinformatics 27(4):534\u2013540. 10.1093\/bioinformatics\/btq681, \nhttp:\/\/bioinformatics.oxfordjournals.org\/content\/27\/4\/534.full.pdf+html","DOI":"10.1093\/bioinformatics\/btq681"},{"key":"8_CR104","doi-asserted-by":"publisher","unstructured":"Rizk A, Batt G, Fages F, Soliman S (2009) A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 12(25):il69-il78. \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btp200","DOI":"10.1093\/bioinformatics\/btp200"},{"issue":"26","key":"8_CR105","doi-asserted-by":"publisher","first-page":"2827","DOI":"10.1016\/j.tcs.2010.05.008","volume":"412","author":"A Rizk","year":"2011","unstructured":"Rizk A, Batt G, Fages F, Soliman S (2011) Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures. Theor Comput Sci 412(26):2827\u20132839. \nhttps:\/\/doi.org\/10.1016\/j.tcs.2010.05.008","journal-title":"Theor Comput Sci"},{"key":"8_CR106","doi-asserted-by":"publisher","unstructured":"Rosenblueth DA, Mu\u00f1oz S, Carrillo M, Azpeitia E (2014) Inference of Boolean networks from gene interaction graphs using a SAT solver. In: AlCoB 2014: proceedings of the 1st international conference on algorithms for computational biology, Springer-Verlag. Lecture notes in bioinformatics, vol 8542, pp 235\u2013246. \nhttps:\/\/doi.org\/10.1007\/978-3-319-07953-0_19","DOI":"10.1007\/978-3-319-07953-0_19"},{"issue":"4","key":"8_CR107","first-page":"702","volume":"26","author":"P Ruet","year":"2016","unstructured":"Ruet P (2016) Local cycles and dynamical properties of Boolean networks. Math Found Comput Sci 26(4):702\u2013718","journal-title":"Math Found Comput Sci"},{"key":"8_CR108","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L S\u00e1nchez","year":"2008","unstructured":"S\u00e1nchez L, Chaouiya C, Thieffry D (2008) Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int J Dev Biol 52:1059\u20131075","journal-title":"Int J Dev Biol"},{"key":"8_CR109","doi-asserted-by":"crossref","unstructured":"Singhania R, Sramkoski RM, Jacobberger JW, Tyson JJ (2011) A hybrid model of mammalian cell cycle regulation. PLOS Comput Biol 7(2):e1001,077","DOI":"10.1371\/journal.pcbi.1001077"},{"key":"8_CR110","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/S0218339098000042","volume":"6","author":"EH Snoussi","year":"1998","unstructured":"Snoussi EH (1998) Necessary conditions for multistationarity and stable periodicity. J Biol Syst 6:3\u20139. \nhttps:\/\/doi.org\/10.1142\/S0218339098000042","journal-title":"J Biol Syst"},{"key":"8_CR111","doi-asserted-by":"publisher","unstructured":"Soliman S (2012) Invariants and other structural properties of biochemical models as a constraint satisfaction problem. Algorithms Mol Biol 7(15). \nhttps:\/\/doi.org\/10.1186\/1748-7188-7-15","DOI":"10.1186\/1748-7188-7-15"},{"issue":"11","key":"8_CR112","doi-asserted-by":"publisher","first-page":"2289","DOI":"10.1007\/s11538-013-9893-7","volume":"75","author":"S Soliman","year":"2013","unstructured":"Soliman S (2013) A stronger necessary condition for the multistationarity of chemical reaction networks. Bull Math Biol 75(11):2289\u20132303. \nhttps:\/\/doi.org\/10.1007\/s11538-013-9893-7","journal-title":"Bull Math Biol"},{"key":"8_CR113","doi-asserted-by":"crossref","unstructured":"Soul\u00e9 C (2003) Graphic requirements for multistationarity. ComplexUs 1:123\u2013133","DOI":"10.1159\/000076100"},{"issue":"1","key":"8_CR114","first-page":"185","volume":"9","author":"J Sun","year":"2011","unstructured":"Sun J, Garibaldi JM, Hodgman C (2011) Parameter estimation using meta-heuristics in systems biology: a comprehensive review. IEEE\/ACM Trans Comput Biol Bioinform (New Jersey) 9(1):185\u2013202","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform (New Jersey)"},{"key":"8_CR115","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R Thomas","year":"1973","unstructured":"Thomas R (1973) Boolean formalisation of genetic control circuits. J Theor Biol 42:565\u2013583","journal-title":"J Theor Biol"},{"key":"8_CR116","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-642-81703-8_24","volume":"9","author":"R Thomas","year":"1981","unstructured":"Thomas R (1981) On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. Springer Ser Synerg 9:180\u2013193","journal-title":"Springer Ser Synerg"},{"key":"8_CR117","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-5193(05)80350-9","volume":"153","author":"R Thomas","year":"1991","unstructured":"Thomas R (1991) Regulatory networks seen as asynchronous automata: a logical description. J Theor Biol 153:1\u201323","journal-title":"J Theor Biol"},{"key":"8_CR118","volume-title":"Biological feedback","author":"R Thomas","year":"1990","unstructured":"Thomas R, D\u2019Ari R (1990) Biological feedback. CRC Press, Boca Raton"},{"issue":"1","key":"8_CR119","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1063\/1.1350439","volume":"11","author":"R Thomas","year":"2001","unstructured":"Thomas R, Kaufman M (2001) Multistationarity, the basis of cell differentiation and memory. Chaos 11(1):170\u2013195","journal-title":"Chaos"},{"issue":"17","key":"8_CR120","doi-asserted-by":"publisher","first-page":"i772","DOI":"10.1093\/bioinformatics\/btw457","volume":"32","author":"P Traynard","year":"2016","unstructured":"Traynard P, Faur\u00e9 A, Fages F, Thieffry D (2016a) Logical model specification aided by model- checking techniques: application to the mammalian cell cycle regulation. Bioinformatics 32(17):i772\u2013i780. \nhttps:\/\/doi.org\/10.1093\/bioinformatics\/btw457","journal-title":"Bioinformatics"},{"key":"8_CR121","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.biosystems.2016.07.003","volume":"149","author":"P Traynard","year":"2016","unstructured":"Traynard P, Feillet C, Soliman S, Delaunay F, Fages F (2016b) Model-based investigation of the circadian clock and cell cycle coupling in mouse embryonic fibroblasts: prediction of reverb-alpha up-regulation during mitosis. Biosystems 149:59\u201369. \nhttps:\/\/doi.org\/10.1016\/j.biosystems.2016.07.003","journal-title":"Biosystems"},{"key":"8_CR122","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"49","author":"A Turing","year":"1950","unstructured":"Turing A (1950) Computing machinery and intelligence. Mind 49:433\u2013460","journal-title":"Mind"},{"issue":"16","key":"8_CR123","doi-asserted-by":"publisher","first-page":"7328","DOI":"10.1073\/pnas.88.16.7328","volume":"88","author":"JJ Tyson","year":"1991","unstructured":"Tyson JJ (1991) Modeling the cell division cycle: cdc2 and cyclin interactions. Proc Natl Acad Sci 88(16):7328\u20137332","journal-title":"Proc Natl Acad Sci"},{"key":"8_CR124","doi-asserted-by":"publisher","unstructured":"Uhlendorf J, Miermont A, Delaveau T, Charvin G, Fages F, Bottani S, Batt G, Hersen P (2012) Long-term model predictive control of gene expression at the population and single-cell levels. Proc Natl Acad Sci USA 109(35):14,271\u201314,276. \nhttps:\/\/doi.org\/10.1073\/pnas.1206810109","DOI":"10.1073\/pnas.1206810109"},{"key":"8_CR125","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0004-3702(94)00073-A","volume":"74","author":"R Vald\u00e8s-P\u00e9r\u00e8","year":"1995","unstructured":"Vald\u00e8s-P\u00e9r\u00e8 R (1995) Machine discovery in chemistry: new results. Artif Intell 74:191\u2013201","journal-title":"Artif Intell"},{"issue":"11","key":"8_CR126","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L Valiant","year":"1984","unstructured":"Valiant L (1984) A theory of the learnable. Commun ACM 27(11):1134\u20131142","journal-title":"Commun ACM"},{"key":"8_CR127","volume-title":"Probably approximately correct","author":"L Valiant","year":"2013","unstructured":"Valiant L (2013) Probably approximately correct. Basic Books, New York"},{"issue":"10","key":"8_CR128","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1038\/nbt1094-994","volume":"12","author":"A Varma","year":"1994","unstructured":"Varma A, Palsson B (1994) Metabolic flux balancing: basic concepts, scientific and practical use. Nat Biotechnol 12(10):994\u2013998","journal-title":"Nat Biotechnol"},{"key":"8_CR129","unstructured":"Zevedei-Oancea I, Schuster S (2003) Topological analysis of metabolic networks based on Petri net theory. Silico Biology 3(29)"}],"container-title":["A Guided Tour of Artificial Intelligence Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-06170-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T23:12:49Z","timestamp":1588893169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-06170-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030061692","9783030061708"],"references-count":130,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-06170-8_8","relation":{},"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"8 May 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}