{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:17:33Z","timestamp":1743135453720,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319787220"},{"type":"electronic","value":"9783319787237"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-78723-7_47","type":"book-chapter","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T05:16:28Z","timestamp":1522127788000},"page":"543-552","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Use of Betweenness Centrality for Selection of Plausible Trajectories in Qualitative Biological Regulatory Networks"],"prefix":"10.1007","author":[{"given":"Muhammad Tariq","family":"Saeed","sequence":"first","affiliation":[]},{"given":"Jamil","family":"Ahmad","sequence":"additional","affiliation":[]},{"given":"Amjad","family":"Ali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,28]]},"reference":[{"issue":"4","key":"47_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, J.P., Lime, D., Roux, O.: Hybrid modelling and dynamical analysis of gene regulatory networks with delays. Complexus 3(4), 231\u2013251 (2006). https:\/\/doi.org\/10.1159\/000110010","journal-title":"Complexus"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"Ahmad, J., Niazi, U., Mansoor, S., Siddique, U., Bibby, J.: Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria 7(3) (2012)","DOI":"10.1371\/journal.pone.0033532"},{"key":"47_CR3","doi-asserted-by":"crossref","unstructured":"Aslam, B., Ahmad, J., Ali, A., Zafar Paracha, R., Tareen, S.H.K., Niazi, U., Saeed, T.: On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance. Comput. Biol. Chem. 53, 277\u2013291 (2014). http:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1476927114001261","DOI":"10.1016\/j.compbiolchem.2014.10.003"},{"issue":"3698","key":"47_CR4","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1126\/science.150.3698.851","volume":"150","author":"DE Atkinson","year":"1965","unstructured":"Atkinson, D.E.: Biological feedback control at the molecular level. Science 150(3698), 851\u2013857 (1965)","journal-title":"Science"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"Baker, M., Carpenter, B., Shafi, A.: MPJ express: towards thread safe Java HPC. In: 2006 IEEE International Conference on Cluster Computing, pp. 1\u201310. IEEE (2006)","DOI":"10.1109\/CLUSTR.2006.311890"},{"issue":"2","key":"47_CR6","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1038\/nrg1272","volume":"5","author":"AL Barabasi","year":"2004","unstructured":"Barabasi, A.L., Oltvai, Z.N.: Network biology: understanding the cell\u2019s functional organization. Nat. Rev. Genet. 5(2), 101\u2013113 (2004)","journal-title":"Nat. Rev. Genet."},{"issue":"3","key":"47_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2004.01.038","volume":"180","author":"G Bernot","year":"2007","unstructured":"Bernot, G., Cassez, F., Comet, J.P., Delaplace, F., M\u00fcller, C., Roux, O.: Semantics of biological regulatory networks. Electron. Notes Theor. Comput. Sci. 180(3), 3\u201314 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"3","key":"47_CR8","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. J. Theor. Biol. 229(3), 339\u2013347 (2004)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"47_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H De Jong","year":"2002","unstructured":"De Jong, H.: Modeling and simulation of genetic regulatory systems: a literature review. J. Comput. Biol. 9(1), 67\u2013103 (2002)","journal-title":"J. Comput. Biol."},{"key":"47_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/9780470253489","volume-title":"Analysis of Biological Networks","author":"B Juncker","year":"2008","unstructured":"Juncker, B., Schreiber, F.: Analysis of Biological Networks. Wiley, Hoboken (2008)"},{"issue":"10","key":"47_CR11","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1038\/nrm2503","volume":"9","author":"G Karlebach","year":"2008","unstructured":"Karlebach, G., Shamir, R.: Modelling and analysis of gene regulatory networks. Nat. Rev. Mol. Cell Biol. 9(10), 770\u2013780 (2008)","journal-title":"Nat. Rev. Mol. Cell Biol."},{"issue":"1","key":"47_CR12","first-page":"15","volume":"3","author":"Z Khalis","year":"2009","unstructured":"Khalis, Z., Comet, J.P., Richard, A., Bernot, G.: The smbionet method for discovering models of gene regulatory networks. Genes Genomes Genomics 3(1), 15\u201322 (2009)","journal-title":"Genes Genomes Genomics"},{"issue":"2","key":"47_CR13","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1016\/j.biosystems.2009.04.008","volume":"97","author":"A Naldi","year":"2009","unstructured":"Naldi, A., Berenguier, D., Faur\u00e9, A., Lopez, F., Thieffry, D., Chaouiya, C.: Logical modelling of regulatory networks with GINsim 2.3. Biosystems 97(2), 134\u2013139 (2009)","journal-title":"Biosystems"},{"key":"47_CR14","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-4223-X_5","volume":"5","author":"A Richard","year":"2006","unstructured":"Richard, A., Comet, J.P., Bernot, G.: Formal methods for modeling biological regulatory networks. Mod. Formal Methods Appl. 5, 83\u2013122 (2006)","journal-title":"Mod. Formal Methods Appl."},{"key":"47_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-4223-X_5","volume-title":"Modern Formal Methods and Applications","author":"A Richard","year":"2006","unstructured":"Richard, A., Comet, J.-P., Bernot, G.: Formal methods for modeling biological regulatory networks. In: Gabbar, H.A. (ed.) Modern Formal Methods and Applications, pp. 83\u2013122. Springer, Dordrecht (2006). https:\/\/doi.org\/10.1007\/1-4020-4223-X_5"},{"key":"47_CR16","doi-asserted-by":"publisher","first-page":"e2348","DOI":"10.7717\/peerj.2348","volume":"4","author":"MT Saeed","year":"2016","unstructured":"Saeed, M.T., Ahmad, J., Kanwal, S., Holowatyj, A.N., Sheikh, I.A., Paracha, R.Z., Shafi, A., Siddiqa, A., Bibi, Z., Khan, M., et al.: Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression. PeerJ 4, e2348 (2016)","journal-title":"PeerJ"},{"key":"47_CR17","unstructured":"Saeed, T., Ahmad, J.: A parallel approach for accelerated parameter identification of gene regulatory networks"},{"key":"47_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.3389\/fenvs.2015.00047","volume":"3","author":"SHK Tareen","year":"2015","unstructured":"Tareen, S.H.K., Ahmad, J., Roux, O.: Parametric linear hybrid automata for complex environmental systems modeling. Front. Environ. Sci. 3, 47 (2015)","journal-title":"Front. Environ. Sci."},{"issue":"2","key":"47_CR19","first-page":"277","volume":"57","author":"D Thieffry","year":"1995","unstructured":"Thieffry, D., Thomas, R.: Dynamical behaviour of biological regulatory networks\u2013II. Immunity control in bacteriophage lambda. Bull. Math. Biol. 57(2), 277\u2013297 (1995)","journal-title":"Bull. Math. Biol."},{"issue":"3","key":"47_CR20","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. J. Theor. Biol. 42(3), 563\u2013585 (1973)","journal-title":"J. Theor. Biol."},{"issue":"4","key":"47_CR21","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1016\/0022-5193(78)90127-3","volume":"73","author":"R Thomas","year":"1978","unstructured":"Thomas, R.: Logical analysis of systems comprising feedback loops. J. Theor. Biol. 73(4), 631\u2013656 (1978)","journal-title":"J. Theor. Biol."},{"issue":"1","key":"47_CR22","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.: Regulatory networks seen as asynchronous automata: a logical description. J. Theor. Biol. 153(1), 1\u201323 (1991)","journal-title":"J. Theor. Biol."}],"container-title":["Lecture Notes in Computer Science","Bioinformatics and Biomedical Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-78723-7_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:19:16Z","timestamp":1709824756000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-78723-7_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319787220","9783319787237"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78723-7_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"28 March 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IWBBIO","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bioinformatics and Biomedical Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Granada","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 April 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 April 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iwbbio2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/iwbbio.ugr.es\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}