{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T08:43:44Z","timestamp":1778057024491,"version":"3.51.4"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,12,1]],"date-time":"2018-12-01T00:00:00Z","timestamp":1543622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1186\/s12918-018-0670-y","type":"journal-article","created":{"date-parts":[[2018,12,29]],"date-time":"2018-12-29T10:43:01Z","timestamp":1546080181000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Parameter estimation of qualitative biological regulatory networks on high performance computing hardware"],"prefix":"10.1186","volume":"12","author":[{"given":"Muhammad Tariq","family":"Saeed","sequence":"first","affiliation":[]},{"given":"Jamil","family":"Ahmad","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Baumbach","sequence":"additional","affiliation":[]},{"given":"Josch","family":"Pauling","sequence":"additional","affiliation":[]},{"given":"Aamir","family":"Shafi","sequence":"additional","affiliation":[]},{"given":"Rehan Zafar","family":"Paracha","sequence":"additional","affiliation":[]},{"given":"Asad","family":"Hayat","sequence":"additional","affiliation":[]},{"given":"Amjad","family":"Ali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,29]]},"reference":[{"key":"670_CR1","unstructured":"Saeed MT. Formal modelling and analysis of the role of hexosamine biosynthetic pathway in cancer: Exploiting parallelism in qualitative biological regulatory networks. 2018. PhD thesis, Research Centre for Modelling and Simulation (RCMS), National University of Sciences and Technology (NUST), Islamabad, Pakistan."},{"issue":"1","key":"670_CR2","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. 2002; 9(1):67\u2013103.","journal-title":"J Comput Biol"},{"issue":"2","key":"670_CR3","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1006\/jtbi.1995.0199","volume":"176","author":"T Mestl","year":"1995","unstructured":"Mestl T, Plahte E, Omholt SW. A mathematical framework for describing and analysing gene regulatory networks. J Theor Biol. 1995; 176(2):291\u2013300.","journal-title":"J Theor Biol"},{"key":"670_CR4","doi-asserted-by":"crossref","unstructured":"Albert R. Boolean modeling of genetic regulatory networks. In: Complex Networks. Springer: 2004. p. 459\u201381.","DOI":"10.1007\/978-3-540-44485-5_21"},{"issue":"4","key":"670_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1159\/000110010","volume":"3","author":"J Ahmad","year":"2007","unstructured":"Ahmad J, Bernot G, Comet J-P, Lime D, Roux O. Hybrid modelling and dynamical analysis of gene regulatory networks with delays. ComPlexUs. 2007; 3(4):231\u201351.","journal-title":"ComPlexUs"},{"issue":"1","key":"670_CR6","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. The logical analysis of continuous, non-linear biochemical control networks. J Theor Biol. 1973; 39(1):103\u201329.","journal-title":"J Theor Biol"},{"issue":"4","key":"670_CR7","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. 1978; 73(4):631\u201356.","journal-title":"J Theor Biol"},{"issue":"3698","key":"670_CR8","doi-asserted-by":"publisher","first-page":"851","DOI":"10.1126\/science.150.3698.851","volume":"150","author":"DE Atkinson","year":"1965","unstructured":"Atkinson DE. Biological feedback control at the molecular level. Science. 1965; 150(3698):851\u20137.","journal-title":"Science"},{"issue":"5","key":"670_CR9","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1007\/BF02460695","volume":"55","author":"EH Snoussi","year":"1993","unstructured":"Snoussi EH, Thomas R. Logical identification of all steady states: the concept of feedback loop characteristic states. Bull Math Biol. 1993; 55(5):973\u201391.","journal-title":"Bull Math Biol"},{"key":"670_CR10","doi-asserted-by":"crossref","unstructured":"Thomas R. On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations. In: Numerical Methods in the Study of Critical Phenomena. Springer: 1981. p. 180\u201393.","DOI":"10.1007\/978-3-642-81703-8_24"},{"issue":"7","key":"670_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/j.drudis.2007.02.013","volume":"12","author":"W Materi","year":"2007","unstructured":"Materi W, Wishart DS. Computational systems biology in drug discovery and development: methods and applications. Drug Discov Today. 2007; 12(7):295\u2013303.","journal-title":"Drug Discov Today"},{"key":"670_CR12","unstructured":"Clarke EM, Emerson EA. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic: Springer; 1982."},{"key":"670_CR13","unstructured":"Clarke EM, Grumberg O, Peled D. Model Checking: MIT press; 1999."},{"issue":"11","key":"670_CR14","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA. Executable cell biology. Nat Biotechnol. 2007; 25(11):1239\u201349.","journal-title":"Nat Biotechnol"},{"key":"670_CR15","doi-asserted-by":"crossref","unstructured":"Pnueli A. The temporal logic of programs. In: Foundations of Computer Science, 1977., 18th Annual Symposium On. IEEE: 1977. p. 46\u201357.","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"670_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 J-P, Richard A, Guespin J. Application of formal methods to biological regulatory networks: extending thomas\u2019 asynchronous logical approach with temporal logic. J Theor Biol. 2004; 229(3):339\u201347.","journal-title":"J Theor Biol"},{"key":"670_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.3389\/fpls.2012.00155","volume":"3","author":"M Carrillo","year":"2012","unstructured":"Carrillo M, G\u00f3ngora PA, Rosenblueth DA. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front Plant Sci. 2012; 3:155.","journal-title":"Front Plant Sci"},{"issue":"1","key":"670_CR18","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. Gene Genomes Genom. 2009; 3(1):15\u201322.","journal-title":"Gene Genomes Genom"},{"key":"670_CR19","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A. Nusmv 2: An opensource tool for symbolic model checking. In: Computer Aided Verification. Springer: 2002. p. 359\u201364.","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"1","key":"670_CR20","doi-asserted-by":"publisher","first-page":"24651","DOI":"10.1371\/journal.pone.0024651","volume":"7","author":"A Richard","year":"2012","unstructured":"Richard A, Rossignol G, Comet J-P, Bernot G, Guespin-Michel J, Merieau A. Boolean models of biosurfactants production in pseudomonas fluorescens. PloS ONE. 2012; 7(1):24651.","journal-title":"PloS ONE"},{"key":"670_CR21","doi-asserted-by":"crossref","unstructured":"Richard A, Comet J-P, Bernot G. Formal methods for modeling biological regulatory networks. In: Modern Formal Methods and Applications. Springer: 2006. p. 83\u2013122.","DOI":"10.1007\/1-4020-4223-X_5"},{"issue":"3","key":"670_CR22","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1093\/bib\/bbp020","volume":"10","author":"P Ballarini","year":"2009","unstructured":"Ballarini P, Guido R, Mazza T, Prandi D. Taming the complexity of biological pathways through parallel computing. Brief Bioinform. 2009; 10(3):278\u201388.","journal-title":"Brief Bioinform"},{"issue":"3","key":"670_CR23","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1109\/TCBB.2011.110","volume":"9","author":"J Barnat","year":"2012","unstructured":"Barnat J, Brim L, Krejci A, Streck A, Safranek D, Vejnar M, Vejpustek T. On parameter synthesis by parallel model checking. IEEE\/ACM Trans Comput Biol Bioinforma (TCBB). 2012; 9(3):693\u2013705.","journal-title":"IEEE\/ACM Trans Comput Biol Bioinforma (TCBB)"},{"issue":"10","key":"670_CR24","doi-asserted-by":"publisher","first-page":"1506","DOI":"10.1093\/bioinformatics\/bth110","volume":"20","author":"M Swat","year":"2004","unstructured":"Swat M, Kel A, Herzel H. Bifurcation analysis of the regulatory modules of the mammalian g1\/s transition. Bioinformatics. 2004; 20(10):1506\u201311.","journal-title":"Bioinformatics"},{"issue":"3","key":"670_CR25","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/j.jbiotec.2009.09.003","volume":"144","author":"H Ma","year":"2009","unstructured":"Ma H, Boogerd FC, Goryanin I. Modelling nitrogen assimilation of escherichia coli at low ammonium concentration. J Biotechnol. 2009; 144(3):175\u201383.","journal-title":"J Biotechnol"},{"key":"670_CR26","doi-asserted-by":"crossref","unstructured":"Barnat J, Brim L, Ceska M, Rockai P. Divine: Parallel distributed model checker. In: Parallel and Distributed Methods in Verification, 2010 Ninth International Workshop On, and High Performance Computational Systems Biology, Second International Workshop On. IEEE: 2010. p. 4\u20137.","DOI":"10.1109\/PDMC-HiBi.2010.9"},{"key":"670_CR27","doi-asserted-by":"crossref","unstructured":"Klarner H, Streck A, \u0160afr\u00e1nek D, Kol\u010d\u00e1k J, Siebert H. Parameter identification and model ranking of thomas networks. In: Computational Methods in Systems Biology. Springer: 2012. p. 207\u201326.","DOI":"10.1007\/978-3-642-33636-2_13"},{"issue":"5","key":"670_CR28","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.1109\/TCBB.2012.61","volume":"9","author":"H Klarner","year":"2012","unstructured":"Klarner H, Siebert H, Bockmayr A. Time series dependent analysis of unparametrized thomas networks. IEEE\/ACM Trans Comput Biol Bioinforma (TCBB). 2012; 9(5):1338\u201351.","journal-title":"IEEE\/ACM Trans Comput Biol Bioinforma (TCBB)"},{"issue":"2","key":"670_CR29","first-page":"277","volume":"57","author":"D Thieffry","year":"1995","unstructured":"Thieffry D, Thomas R. Dynamical behaviour of biological regulatory networks\u2014ii. immunity control in bacteriophage lambda. Bull Math Biol. 1995; 57(2):277\u201397. Springer.","journal-title":"Bull Math Biol"},{"issue":"14","key":"670_CR30","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1093\/bioinformatics\/btl210","volume":"22","author":"A Faur\u00e9","year":"2006","unstructured":"Faur\u00e9 A, Naldi A, Chaouiya C, Thieffry D. Dynamical analysis of a generic boolean model for the control of the mammalian cell cycle. Bioinformatics. 2006; 22(14):124\u201331.","journal-title":"Bioinformatics"},{"key":"670_CR31","unstructured":"Tariq Saeed JA. A parallel approach for accelerated parameter identification of gene regulatory networks. In: Proceedings of the 2nd International Work Conference on Bioinformatics and Biomedical Engineering (IWBBIO), 7-9 April 2014; Spain: 2014."},{"key":"670_CR32","doi-asserted-by":"crossref","unstructured":"Barnat J, Brim L, Ro\u010dkai P. Scalable multi-core ltl model-checking. In: Model Checking Software. Springer: 2007. p. 187\u2013203.","DOI":"10.1007\/978-3-540-73370-6_13"},{"key":"670_CR33","unstructured":"Laarman AW. Scalable Multi-core Model Checking: University of Twente; 2014."},{"issue":"9","key":"670_CR34","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1016\/j.jpdc.2011.10.015","volume":"72","author":"J Barnat","year":"2012","unstructured":"Barnat J, Bauch P, Brim L, \u010ce\u0161ka M. Designing fast ltl model checking algorithms for many-core gpus. J Parallel Distrib Comput. 2012; 72(9):1083\u201397.","journal-title":"J Parallel Distrib Comput"},{"key":"670_CR35","unstructured":"Richard A, Comet J-p, Bernot G, Methods F. Formal Methods for Modeling Biological Regulatory Networks. 2014."},{"issue":"16","key":"670_CR36","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1093\/bioinformatics\/btn275","volume":"24","author":"PT Monteiro","year":"2008","unstructured":"Monteiro PT, Ropers D, Mateescu R, Freitas AT, de Jong H. Temporal logic patterns for querying dynamic models of cellular interaction networks. Bioinformatics (Oxford, England). 2008; 24(16):227\u201333. \n                    https:\/\/doi.org\/10.1093\/bioinformatics\/btn275\n                    \n                  .","journal-title":"Bioinformatics (Oxford, England)"},{"key":"670_CR37","doi-asserted-by":"crossref","unstructured":"Beyersdorff O, Meier A, Thomas M, Vollmer H, Mundhenk M, Schneider T. Model checking ctl is almost always inherently sequential. In: Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium On. IEEE: 2009. p. 21\u201328.","DOI":"10.1109\/TIME.2009.12"},{"issue":"3","key":"670_CR38","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. 2007; 180(3):3\u201314.","journal-title":"Electron Notes Theor Comput Sci"},{"key":"670_CR39","doi-asserted-by":"publisher","first-page":"33532","DOI":"10.1371\/journal.pone.0033532","volume":"7","author":"J Ahmad","year":"2012","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. PLoS ONE. 2012; 7:33532.","journal-title":"PLoS ONE"},{"issue":"17","key":"670_CR40","doi-asserted-by":"publisher","first-page":"1917","DOI":"10.1093\/bioinformatics\/btn336","volume":"24","author":"A Garg","year":"2008","unstructured":"Garg A, Di Cara A, Xenarios I, Mendoza L, De Micheli G. Synchronous versus asynchronous modeling of gene regulatory networks. Bioinformatics. 2008; 24(17):1917\u201325.","journal-title":"Bioinformatics"},{"issue":"3","key":"670_CR41","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2007.12.001","volume":"194","author":"J Barnat","year":"2008","unstructured":"Barnat J, Brim L, \u010cern\u00e1 I, Dra\u017ean S, \u0160afr\u00e1nek D. Parallel model checking large-scale genetic regulatory networks with divine. Electron Notes Theor Comput Sci. 2008; 194(3):35\u201350.","journal-title":"Electron Notes Theor Comput Sci"},{"issue":"10","key":"670_CR42","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TSE.2007.70724","volume":"33","author":"GJ Holzmann","year":"2007","unstructured":"Holzmann GJ, Bosnacki D. The design of a multicore extension of the spin model checker. Softw Eng IEEE Trans. 2007; 33(10):659\u201374.","journal-title":"Softw Eng IEEE Trans"},{"key":"670_CR43","doi-asserted-by":"crossref","unstructured":"Holzmann GJ, Bosnacki D. Multi-core model checking with spin. In: Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International. IEEE: 2007. p. 1\u20138.","DOI":"10.1109\/IPDPS.2007.370410"},{"key":"670_CR44","doi-asserted-by":"crossref","unstructured":"Chabrier N, Fages F. Symbolic model checking of biochemical networks. In: Computational Methods in Systems Biology. Springer: 2003. p. 149\u2013162.","DOI":"10.1007\/3-540-36481-1_13"},{"key":"670_CR45","doi-asserted-by":"crossref","unstructured":"Pnueli A, Sa\u2019ar Y, Zuck LD. Jtlv: A framework for developing verification algorithms. In: CAV. Springer: 2010. p. 171\u20134.","DOI":"10.1007\/978-3-642-14295-6_18"},{"key":"670_CR46","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.entcs.2013.07.009","volume":"296","author":"T Van Dijk","year":"2013","unstructured":"Van Dijk T, Laarman A, Van De Pol J. Multi-core bdd operations for symbolic reachability. Electronic Notes in Theoretical Computer Science. 2013; 296:127\u201343.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"6","key":"670_CR47","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/s10009-016-0433-2","volume":"19","author":"T van Dijk","year":"2017","unstructured":"van Dijk T, van de Pol J. Sylvan: multi-core framework for decision diagrams. Int J Softw Tools Technol Transfer. 2017; 19(6):675\u2013696. Springer.","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"670_CR48","doi-asserted-by":"publisher","first-page":"2348","DOI":"10.7717\/peerj.2348","volume":"4","author":"MT Saeed","year":"2016","unstructured":"Saeed MT, Ahmad J, Kanwal S, Holowatyj AN, Sheikh IA, Paracha RZ, 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. 2016; 4:2348.","journal-title":"PeerJ"},{"issue":"9","key":"670_CR49","doi-asserted-by":"publisher","first-page":"2248","DOI":"10.1039\/c3mb70187e","volume":"9","author":"A Mbodj","year":"2013","unstructured":"Mbodj A, Junion G, Brun C, Furlong EE, Thieffry D. Logical modelling of drosophila signalling pathways. Mol BioSyst. 2013; 9(9):2248\u201358.","journal-title":"Mol BioSyst"},{"key":"670_CR50","doi-asserted-by":"publisher","first-page":"99","DOI":"10.3389\/fendo.2013.00099","volume":"4","author":"Y Fardini","year":"2013","unstructured":"Fardini Y, Dehennaut V, Lefebvre T, Issad T. O-glcnacylation: a new cancer hallmark?. Front Endocrinol. 2013; 4:99.","journal-title":"Front Endocrinol"},{"issue":"3","key":"670_CR51","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1016\/j.cell.2012.01.058","volume":"149","author":"H Ying","year":"2012","unstructured":"Ying H, Kimmelman AC, Lyssiotis CA, Hua S, Chu GC, Fletcher-Sananikone E, Locasale JW, Son J, Zhang H, Coloff JL, Yan H, Wang W, Chen S, Viale A, Zheng H, Paik J-h, Lim C, Guimaraes AR, Martin ES, Chang J, Hezel AF, Perry SR, Hu J, Gan B, Xiao Y, Asara JM, Weissleder R, Wang YA, Chin L, Cantley LC, DePinho RA. Oncogenic kras maintains pancreatic tumors through regulation of anabolic glucose metabolism. Cell. 2012; 149(3):656\u201370. \n                    https:\/\/doi.org\/10.1016\/j.cell.2012.01.058\n                    \n                  .","journal-title":"Cell"},{"issue":"15","key":"670_CR52","doi-asserted-by":"publisher","first-page":"6344","DOI":"10.1158\/0008-5472.CAN-09-1887","volume":"70","author":"Y Gu","year":"2010","unstructured":"Gu Y, Mi W, Ge Y, Liu H, Fan Q, Han C, Yang J, Han F, Lu X, Yu W. Glcnacylation plays an essential role in breast cancer metastasis. Cancer Res. 2010; 70(15):6344\u201351.","journal-title":"Cancer Res"},{"issue":"4","key":"670_CR53","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1016\/j.bbadis.2011.01.009","volume":"1812","author":"W Mi","year":"2011","unstructured":"Mi W, Gu Y, Han C, Liu H, Fan Q, Zhang X, Cong Q, Yu W. O-glcnacylation is a novel regulator of lung and colon cancer malignancy. Biochim Biophys Acta (BBA) - Mol Basis Dis. 2011; 1812(4):514\u20139.","journal-title":"Biochim Biophys Acta (BBA) - Mol Basis Dis"},{"issue":"2","key":"670_CR54","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1007\/s12032-011-9912-1","volume":"29","author":"Q Zhu","year":"2012","unstructured":"Zhu Q, Zhou L, Yang Z, Lai M, Xie H, Wu L, Xing C, Zhang F, Zheng S. O-glcnacylation plays a role in tumor recurrence of hepatocellular carcinoma following liver transplantation. Med Oncol. 2012; 29(2):985\u201393.","journal-title":"Med Oncol"},{"issue":"5","key":"670_CR55","first-page":"579","volume":"58","author":"W Rozanski","year":"2012","unstructured":"Rozanski W, Krzeslak A, Forma E, Brys M, Blewniewski M, Wozniak P, Lipinski M. Prediction of bladder cancer based on urinary content of mgea5 and ogt mrna level. Clin Lab. 2012; 58(5):579.","journal-title":"Clin Lab"},{"issue":"1","key":"670_CR56","first-page":"22","volume":"83","author":"A Krze\u015blak","year":"2012","unstructured":"Krze\u015blak A, W\u00f3jcik-Krowiranda K, Forma E, Bie\u0144kiewicz A, Bry\u015b M. Expression of genes encoding for enzymes associated with o-glcnacylation in endometrial carcinomas: clinicopathologic correlations. Ginekol Pol. 2012; 83(1):22\u20136.","journal-title":"Ginekol Pol"},{"issue":"14","key":"670_CR57","doi-asserted-by":"publisher","first-page":"11070","DOI":"10.1074\/jbc.M111.302547","volume":"287","author":"TP Lynch","year":"2012","unstructured":"Lynch TP, Ferrer CM, Jackson SR, Shahriari KS, Vosseller K, Reginato MJ. Critical role of o-linked \u03b2-n-acetylglucosamine transferase in prostate cancer invasion, angiogenesis, and metastasis. J Biol Chem. 2012; 287(14):11070\u201381.","journal-title":"J Biol Chem"},{"issue":"3","key":"670_CR58","doi-asserted-by":"publisher","first-page":"5920","DOI":"10.3390\/ijms14035920","volume":"14","author":"V Muha","year":"2013","unstructured":"Muha V, M\u00fcller H-AJ. Functions and mechanisms of fibroblast growth factor (fgf) signalling in drosophila melanogaster. Int J Mol Sci. 2013; 14(3):5920\u201337.","journal-title":"Int J Mol Sci"},{"issue":"4","key":"670_CR59","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1101\/gad.5.4.697","volume":"5","author":"L Glazer","year":"1991","unstructured":"Glazer L, Shilo B-Z. The drosophila fgf-r homolog is expressed in the embryonic tracheal system and appears to be required for directed tracheal cell extension.Gene Dev. 1991; 5(4):697\u2013705.","journal-title":"Gene Dev"},{"issue":"2","key":"670_CR60","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.biosystems.2005.10.003","volume":"84","author":"AG Gonzalez","year":"2006","unstructured":"Gonzalez AG, Naldi A, Sanchez L, Thieffry D, Chaouiya C. Ginsim: a software suite for the qualitative modelling, simulation and analysis of regulatory networks. Biosystems. 2006; 84(2):91\u2013100.","journal-title":"Biosystems"},{"key":"670_CR61","doi-asserted-by":"crossref","unstructured":"Shafi A, Manzoor J, Hameed K, Carpenter B, Baker M. Multicore-enabling the mpj express messaging library. In: Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java. ACM: 2010. p. 49\u201358.","DOI":"10.1145\/1852761.1852769"},{"issue":"11","key":"670_CR62","doi-asserted-by":"publisher","first-page":"2498","DOI":"10.1101\/gr.1239303","volume":"13","author":"P Shannon","year":"2003","unstructured":"Shannon P, Markiel A, Ozier O, Baliga NS, Wang JT, Ramage D, Amin N, Schwikowski B, Ideker T. Cytoscape: a software environment for integrated models of biomolecular interaction networks. Genome Res. 2003; 13(11):2498\u2013504.","journal-title":"Genome Res"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-018-0670-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s12918-018-0670-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s12918-018-0670-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,29]],"date-time":"2019-12-29T00:21:19Z","timestamp":1577578879000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/s12918-018-0670-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["670"],"URL":"https:\/\/doi.org\/10.1186\/s12918-018-0670-y","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12]]},"assertion":[{"value":"16 October 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"4 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Not Applicable.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not Applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Publisher\u2019s Note"}}],"article-number":"146"}}