{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T00:24:47Z","timestamp":1779927887302,"version":"3.53.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642358722","type":"print"},{"value":"9783642358739","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"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":[[2013]]},"DOI":"10.1007\/978-3-642-35873-9_22","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:57Z","timestamp":1357107777000},"page":"355-374","source":"Crossref","is-referenced-by-count":9,"title":["Knockout Prediction for Reaction Networks with Partial Kinetic Information"],"prefix":"10.1007","author":[{"given":"Mathias","family":"John","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirabelle","family":"Nebut","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joachim","family":"Niehren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Andrianantoandro, E., Basu, S., Karig, D.K., Weiss, R.: Synthetic biology: new engineering rules for an emerging discipline.. Molecular Systems Biology\u00a02(1), msb4100073\u2013E1\u2013msb4100073\u2013E14 (2006)","DOI":"10.1038\/msb4100073"},{"issue":"7","key":"22_CR2","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1038\/nrg1637","volume":"6","author":"S.A. Benner","year":"2005","unstructured":"Benner, S.A., Michael Sismour, A.: Synthetic biology. Nature Reviews Genetics\u00a06(7), 533\u2013543 (2005)","journal-title":"Nature Reviews Genetics"},{"issue":"8","key":"22_CR3","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1016\/S0167-7799(97)01067-6","volume":"15","author":"H.P.J. Bonarius","year":"1997","unstructured":"Bonarius, H.P.J., Schmid, G., Tramper, J.: Flux analysis of underdetermined metabolic networks: the quest for the missing constraints. Trends in Biotechnology\u00a015(8), 308\u2013314 (1997)","journal-title":"Trends in Biotechnology"},{"issue":"24","key":"22_CR4","doi-asserted-by":"publisher","first-page":"6357","DOI":"10.1128\/JB.00937-10","volume":"192","author":"S.R. Brinsmade","year":"2010","unstructured":"Brinsmade, S.R., Kleijn, R.J., Sauer, U., Sonenshein, A.L.: Regulation of CodY Activity through Modulation of Intracellular Branched-Chain Amino Acid Pools. J. Bacteriol.\u00a0192(24), 6357\u20136368 (2010)","journal-title":"J. Bacteriol."},{"issue":"6","key":"22_CR5","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1002\/bit.10803","volume":"84","author":"A.P. Burgard","year":"2003","unstructured":"Burgard, A.P., Pharkya, P., Maranas, C.D.: Optknock: a bilevel programming framework for identifying gene knockout strategies for microbial strain optimization. Biotechnology and Bioengineering\u00a084(6), 647\u2013657 (2003)","journal-title":"Biotechnology and Bioengineering"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Camporesi, F., Feret, J.: Formal reduction for rule-based models. In: Mislove, M., Ouaknine, J. (eds.) The 27th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2011, Pittsburgh, \u00c9tats-Unis. Electronic Notes in Theoretical Computer Science, vol.\u00a0276, pp. 29\u201359. Elsevier (September 2011)","DOI":"10.1016\/j.entcs.2011.09.014"},{"key":"22_CR7","unstructured":"Cousot, P.: The calculational design of a generic abstract interpreter. In: Broy, M., Steinbr\u00fcggen, R. (eds.) Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: POPL, pp. 269\u2013282 (1979)","DOI":"10.1145\/567752.567778"},{"issue":"1","key":"22_CR9","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1006\/jtbi.2001.2405","volume":"213","author":"M.W. Covert","year":"2001","unstructured":"Covert, M.W., Schilling, C.H., Palsson, B.: Regulation of gene expression in flux balance models of metabolism. Journal of Theoretical Biology\u00a0213(1), 73\u201388 (2001)","journal-title":"Journal of Theoretical Biology"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: LICS, pp. 362\u2013381. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.44"},{"issue":"6767","key":"22_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M.B. Elowitz","year":"2000","unstructured":"Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature\u00a0403(6767), 335\u2013338 (2000)","journal-title":"Nature"},{"issue":"1","key":"22_CR12","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.: Abstract interpretation and types for systems biology. Theor. Comput. Sci.\u00a0403(1), 52\u201370 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Feret, J., Henzinger, T., Koeppl, H., Petrov, T.: Lumpability abstractions of rule-based systems. In: Theoretical Computer Science (2012)","DOI":"10.1016\/j.tcs.2011.12.059"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Ferrell, J.E.: Feedback regulation of opposing enzymes generates robust, all-or-none bistable responses. Current biology: CB, 18(6) (March 2008)","DOI":"10.1016\/j.cub.2008.02.035"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Florez, L., Gunka, K., Polania, R., Tholen, S., Stulke, J.: SPABBATS: A pathway-discovery method based on Boolean satisfiability that facilitates the characterization of suppressor mutants. BMC Systems Biology 5(1), 5+ (2011)","DOI":"10.1186\/1752-0509-5-5"},{"issue":"2","key":"22_CR16","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1101\/gr.234503","volume":"13","author":"J. F\u00f6rster","year":"2003","unstructured":"F\u00f6rster, J., Famili, I., Fu, P., Palsson, B.\u00d8., Nielsen, J.: Genome-scale reconstruction of the Saccharomyces cerevisiae metabolic network. Genome Research\u00a013(2), 244\u2013253 (2003)","journal-title":"Genome Research"},{"issue":"1","key":"22_CR17","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1049\/iet-syb:20070031","volume":"3","author":"C.S. Gillespie","year":"2009","unstructured":"Gillespie, C.S.: Moment-closure approximations for mass-action models. IET Systems Biology\u00a03(1), 52\u201358 (2009)","journal-title":"IET Systems Biology"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry\u00a081, 2340\u20132361 (1977)","journal-title":"Journal of Physical Chemistry"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Goelzer, A., Brikci, F.B., Verstraete, I.M., Noirot, P., Bessieres, P., Aymerich, S., Fromion, V.: Reconstruction and analysis of the genetic and metabolic regulatory networks of the central metabolism of Bacillus subtilis. BMC Systems Biology, 2(1), 20+ (2008)","DOI":"10.1186\/1752-0509-2-20"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Henry, C.S., Zinner, J.F., Cohoon, M.P., Stevens, R.L.: iBsu1103: a new genome-scale metabolic model of Bacillus subtilis based on SEED annotations. Genome Biology 10(6), R69+ (2009)","DOI":"10.1186\/gb-2009-10-6-r69"},{"issue":"1","key":"22_CR21","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1021\/cb7002434","volume":"3","author":"J.D. Keasling","year":"2008","unstructured":"Keasling, J.D.: Synthetic biology for synthetic chemistry. ACS Chemical Biology\u00a03(1), 64\u201376 (2008)","journal-title":"ACS Chemical Biology"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"B.N. Kholodenko","year":"2006","unstructured":"Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nature Reviews Molecular Cell Biology\u00a07, 165\u2013176 (2006)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Kim, J., Reed, J.: OptORF: Optimal metabolic and regulatory perturbations for metabolic engineering of microbial strains. BMC Systems Biology 4(1), 53+ (2010)","DOI":"10.1186\/1752-0509-4-53"},{"issue":"4","key":"22_CR24","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1038\/nrmicro2107","volume":"7","author":"T. Koide","year":"2009","unstructured":"Koide, T., Pang, W.L.L., Baliga, N.S.: The role of predictive modelling in rationally re-engineering biological systems. Nature Reviews. Microbiology\u00a07(4), 297\u2013305 (2009)","journal-title":"Nature Reviews. Microbiology"},{"issue":"39","key":"22_CR25","doi-asserted-by":"publisher","first-page":"28791","DOI":"10.1074\/jbc.M703759200","volume":"282","author":"Y.-K. Oh","year":"2007","unstructured":"Oh, Y.-K., Palsson, B.O., Park, S.M., Schilling, C.H., Mahadevan, R.: Genome-scale Reconstruction of Metabolic Network in Bacillus subtilis Based on High-throughput Phenotyping and Gene Essentiality Data. Journal of Biological Chemistry\u00a0282(39), 28791\u201328799 (2007)","journal-title":"Journal of Biological Chemistry"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Patil, K.R.R., Rocha, I., F\u00f6rster, J., Nielsen, J.: Evolutionary programming as a platform for in silico metabolic engineering. BMC Bioinformatics 6(1), 308+ (2005)","DOI":"10.1186\/1471-2105-6-308"},{"issue":"11","key":"22_CR27","doi-asserted-by":"publisher","first-page":"2367","DOI":"10.1101\/gr.2872004","volume":"14","author":"P. Pharkya","year":"2004","unstructured":"Pharkya, P., Burgard, A.P., Maranas, C.D.: OptStrain: A computational framework for redesign of microbial production systems. Genome Research\u00a014(11), 2367\u20132376 (2004)","journal-title":"Genome Research"},{"issue":"1","key":"22_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ymben.2005.08.003","volume":"8","author":"P. Pharkya","year":"2006","unstructured":"Pharkya, P., Maranas, C.D.: An optimization framework for identifying reaction activation\/inhibition or elimination candidates for overproduction in microbial systems. Metabolic Engineering\u00a08(1), 1\u201313 (2006)","journal-title":"Metabolic Engineering"},{"issue":"11","key":"22_CR29","doi-asserted-by":"publisher","first-page":"886","DOI":"10.1038\/nrmicro1023","volume":"2","author":"N.D. Price","year":"2004","unstructured":"Price, N.D., Reed, J.L., Palsson, B.\u00d8.: Genome-scale models of microbial cells: evaluating the consequences of constraints. Nature Reviews. Microbiology\u00a02(11), 886\u2013897 (2004)","journal-title":"Nature Reviews. Microbiology"},{"issue":"3","key":"22_CR30","doi-asserted-by":"crossref","first-page":"695","DOI":"10.1152\/ajpregu.2001.280.3.R695","volume":"280","author":"R. Ramakrishna","year":"2001","unstructured":"Ramakrishna, R., Edwards, J.S., McCulloch, A., Palsson, B.O.: Flux-balance analysis of mitochondrial energy metabolism: consequences of systemic stoichiometric constraints. American Journal of Physiology. Regulatory, Integrative and Comparative Physiology\u00a0280(3), R695\u2013R704 (2001)","journal-title":"American Journal of Physiology. Regulatory, Integrative and Comparative Physiology"},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Ranganathan, S., Suthers, P.F., Maranas, C.D.: OptForce: An Optimization Procedure for Identifying All Genetic Manipulations Leading to Targeted Overproductions. PLoS Comput. Biol. 6(4), e1000744+ (April 2010)","DOI":"10.1371\/journal.pcbi.1000744"},{"issue":"15","key":"22_CR32","doi-asserted-by":"publisher","first-page":"2037","DOI":"10.1016\/j.febslet.2012.02.031","volume":"586","author":"G. Rodrigo","year":"2012","unstructured":"Rodrigo, G., Carrera, J., Landrain, T.E., Jaramillo, A.: Perspectives on the automatic design of regulatory systems for synthetic biology. FEBS Letters\u00a0586(15), 2037\u20132042 (2012)","journal-title":"FEBS Letters"},{"key":"22_CR33","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier (2006)"},{"key":"22_CR34","doi-asserted-by":"crossref","unstructured":"Sauer, U.: Metabolic networks in motion: 13C-based flux analysis. Molecular Systems Biology, 2(1) (November 2006)","DOI":"10.1038\/msb4100109"},{"issue":"23","key":"22_CR35","doi-asserted-by":"publisher","first-page":"15112","DOI":"10.1073\/pnas.232349399","volume":"99","author":"D. Segr\u00e8","year":"2002","unstructured":"Segr\u00e8, D., Vitkup, D., Church, G.M.: Analysis of optimality in natural and perturbed metabolic networks. Proceedings of the National Academy of Sciences\u00a099(23), 15112\u201315117 (2002)","journal-title":"Proceedings of the National Academy of Sciences"},{"issue":"4","key":"22_CR36","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1093\/bioinformatics\/btp704","volume":"26","author":"N. Tepper","year":"2010","unstructured":"Tepper, N., Shlomi, T.: Predicting metabolic engineering knockout strategies for chemical production: accounting for competing pathways. Bioinformatics\u00a026(4), 536\u2013543 (2010)","journal-title":"Bioinformatics"},{"issue":"3","key":"22_CR37","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1016\/0022-5193(73)90247-6","volume":"42","author":"R. Thomas","year":"1973","unstructured":"Thomas, R.: Boolean formalization of genetic control circuits. Journal of Theoretical Biology\u00a042(3), 563\u2013585 (1973)","journal-title":"Journal of Theoretical Biology"},{"issue":"4","key":"22_CR38","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1006\/jtbi.1993.1203","volume":"165","author":"A. Varma","year":"1993","unstructured":"Varma, A., Palsson, B.O.: Metabolic Capabilities of Escherichia coli II. Optimal Growth Patterns. Journal of Theoretical Biology\u00a0165(4), 503\u2013522 (1993)","journal-title":"Journal of Theoretical Biology"},{"issue":"10","key":"22_CR39","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1038\/nbt1094-994","volume":"12","author":"A. Varma","year":"1994","unstructured":"Varma, A., Palsson, B.O.: Metabolic Flux Balancing: Basic Concepts, Scientific and Practical Use. Nature Biotechnology\u00a012(10), 994\u2013998 (1994)","journal-title":"Nature Biotechnology"},{"issue":"3","key":"22_CR40","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1109\/TNB.2004.833694","volume":"3","author":"O. Wolkenhauer","year":"2004","unstructured":"Wolkenhauer, O., Ullah, M., Kolch, W., Cho, K.-H.H.: Modeling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Transactions on Nanobioscience\u00a03(3), 200\u2013207 (2004)","journal-title":"IEEE Transactions on Nanobioscience"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35873-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:39:09Z","timestamp":1558316349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35873-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358722","9783642358739"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35873-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}