{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:04Z","timestamp":1725472024924},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540461661"},{"type":"electronic","value":"9783540461678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11885191_15","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T10:53:49Z","timestamp":1160391229000},"page":"212-226","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Reachability Analysis of Genetic Networks"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Ivanci\u0107, F.: Reachability analysis of hybrid systems via predicate abstraction. Trans. on Embedded Computing Systems (2004)","DOI":"10.1007\/3-540-36580-X_4"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-24732-6_12","volume-title":"Model Checking Software","author":"G. Batt","year":"2004","unstructured":"Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model checking genetic regulatory networks using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 158\u2013163. Springer, Heidelberg (2004)"},{"key":"15_CR3","unstructured":"Batt, G., de Jong, H., Geiselmann, J., Page, M., Ropers, D., Schneider, D.: Symbolic reachability analysis of genetic regulatory networks using qualitative abstraction. Research Report 5362, INRIA, France (2004)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-31954-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"G. Batt","year":"2005","unstructured":"Batt, G., Ropers, D., de Jong, H., Geiselmann, J., Page, M., Schneider, D.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in escherichia coli. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 134\u2013150. Springer, Heidelberg (2005)"},{"issue":"3","key":"15_CR5","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, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: Extending Thomas asynchronous logical approach with temporal logic. Journal of Theoretical Biology\u00a0229(3), 339\u2013348 (2004)","journal-title":"Journal of Theoretical Biology"},{"key":"15_CR6","first-page":"99","volume":"4","author":"R. Blossey","year":"2006","unstructured":"Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. Trans. on Comput. Syst. Biol.\u00a04, 99\u2013122 (2006)","journal-title":"Trans. on Comput. Syst. Biol."},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s00285-005-0338-2","volume":"52","author":"R. Casey","year":"2006","unstructured":"Casey, R., de Jong, H., Gouz\u00e9, J.-L.: Piecewise-linear models of genetic regulatory networks: Equilibria and their stability. Mathematical Biology\u00a052(1), 27\u201356 (2006)","journal-title":"Mathematical Biology"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27793-4_9","volume-title":"Applications and Theory of Petri Nets 2004","author":"C. Chaouiya","year":"2004","unstructured":"Chaouiya, C., Remy, E., Ruet, P., Thieffry, D.: Qualitative modelling of genetic networks: From logical regulatory graphs to standard petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 137\u2013156. Springer, Heidelberg (2004)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/11494744_13","volume-title":"Applications and Theory of Petri Nets 2005","author":"J.-P. Comet","year":"2005","unstructured":"Comet, J.-P., Klaudel, H., Liauzu, S.: Modeling multi-valued genetic regulatory networks using high-level petri nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 208\u2013227. Springer, Heidelberg (2005)"},{"issue":"1","key":"15_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology\u00a09(1), 69\u2013105 (2002)","journal-title":"Journal of Computational Biology"},{"issue":"2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/j.bulm.2003.08.009","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Geiselmann, J., Batt, G., Hernandez, C., Page, M.: Qualitative simulation of the initiation of sporulation in Bacillus subtilis. Bulletin of Mathematical Biology\u00a066(2), 261\u2013300 (2004)","journal-title":"Bulletin of Mathematical Biology"},{"issue":"3","key":"15_CR13","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"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/j.bulm.2003.08.010","volume":"66","author":"H. Jong de","year":"2004","unstructured":"de Jong, H., Gouz\u00e9, J.-L., Hernandez, C., Page, M., Sari, T., Geiselmann, J.: Qualitative simulation of genetic regulatory networks using piecewise-linear models. Bulletin of Mathematical Biology\u00a066, 301\u2013340 (2004)","journal-title":"Bulletin of Mathematical Biology"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Talcott, C.: Pathway logic: Executable models of biological networks. ENTCS\u00a071 (2002)","DOI":"10.1016\/S1571-0661(05)82533-2"},{"issue":"2","key":"15_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4024\/2040402.jbpc.04.02","volume":"4","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. of Biological Physics and Chemistry\u00a04(2), 64\u201372 (2004)","journal-title":"J. of Biological Physics and Chemistry"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Filippov, A.F.: Differential equations with discontinuous righthand side. Mathematics and its Applications\u00a018 (1988)","DOI":"10.1007\/978-94-015-7793-9"},{"key":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2003","unstructured":"Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 233\u2013248. Springer, Heidelberg (2003)"},{"issue":"1","key":"15_CR19","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, S.A.: The logical analysis of continuous, non-linear biochemical control networks. Journal of Theoretical Biology\u00a039(1), 103\u2013129 (1973)","journal-title":"Journal of Theoretical Biology"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science","author":"G. G\u00f6ssler","year":"2003","unstructured":"G\u00f6ssler, G., Sifakis, J.: Component-based construction of deadlock-free systems (extended abstract). In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol.\u00a02914, Springer, Heidelberg (2003)"},{"issue":"4","key":"15_CR21","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1080\/1468936021000041681","volume":"17","author":"J.-L. Gouz\u00e9","year":"2003","unstructured":"Gouz\u00e9, J.-L., Sari, T.: A class of piecewise linear differential equations arising in biological models. Dynamical Systems\u00a017(4), 299\u2013316 (2003)","journal-title":"Dynamical Systems"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-27793-4_13","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 216\u2013237. Springer, Heidelberg (2004)"},{"key":"15_CR23","unstructured":"Larrinaga, A., Naldi, A., S\u00e1nchez, L., Thieffry, D., Chaouiya, C.: GINsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems (2005)"},{"key":"15_CR24","first-page":"326","volume-title":"Proc. PSB 2000","author":"G. Marnellos","year":"2000","unstructured":"Marnellos, G., Deblandre, G.A., Mjolsness, E., Kintner, G.: Delta-Notch lateral inhibitory patterning in the emergence of ciliated cells in Xenopus: Experimental observations and a gene network model. In: Proc. PSB 2000, vol.\u00a05, pp. 326\u2013337. World Scientific Publishing, Singapore (2000)"},{"key":"15_CR25","doi-asserted-by":"publisher","first-page":"763","DOI":"10.1126\/science.1078563","volume":"298","author":"Z.N. Oltvai","year":"2002","unstructured":"Oltvai, Z.N., Barab\u00e1si, A.L.: Life\u2019s complexity pyramid. Science\u00a0298, 763\u2013764 (2002)","journal-title":"Science"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11513988_3","volume-title":"Computer Aided Verification","author":"C. Piazza","year":"2005","unstructured":"Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic algebraic model checking I: Challenges form systems biology. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 5\u201319. Springer, Heidelberg (2005)"},{"issue":"1","key":"15_CR27","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1016\/j.tig.2004.11.010","volume":"21","author":"O. Resendis-Antonio","year":"2005","unstructured":"Resendis-Antonio, O., Freyre-Gonz\u00e1lez, J.A., Menchaca-M\u00e9ndez, R., Guti\u00e9rrez-R\u00edos, R.M., Mart\u00ednez-Antonio, A., Avila-S\u00e1nchez, C., Collado-Vides, J.: Modular analysis of the transcriptional regulatory network of e.\u00a0coli. Trends in Genetics\u00a021(1), 16\u201320 (2005)","journal-title":"Trends in Genetics"},{"issue":"suppl. 2","key":"15_CR28","first-page":"190","volume":"21","author":"E. Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o, E., Remy, E., Thieffry, D., Chaouiya, C.: Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in e.coli. Bioinformatics\u00a021(suppl. 2), ii190\u2013ii196 (2005)","journal-title":"Bioinformatics"},{"key":"15_CR29","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.: Boolean formalisation of genetic control circuits. J. Theor. Biol.\u00a042, 565\u2013583 (1973)","journal-title":"J. Theor. Biol."}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11885191_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T14:51:19Z","timestamp":1605624679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11885191_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540461661","9783540461678"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11885191_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}