{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T21:02:58Z","timestamp":1773435778418,"version":"3.50.1"},"reference-count":94,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T00:00:00Z","timestamp":1684800000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T00:00:00Z","timestamp":1684800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100011958","name":"Danmarks Frie Forskningsfond","doi-asserted-by":"publisher","award":["9040-00224B"],"award-info":[{"award-number":["9040-00224B"]}],"id":[{"id":"10.13039\/501100011958","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003407","name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["2017TWRCNB"],"award-info":[{"award-number":["2017TWRCNB"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100018870","name":"Poul Due Jensen Foundation","doi-asserted-by":"crossref","award":["883901"],"award-info":[{"award-number":["883901"]}],"id":[{"id":"10.13039\/501100018870","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Background<\/jats:title><jats:p>Boolean Networks (BNs) are a popular dynamical model in biology where the state of each component is represented by a variable taking binary values that express, for instance, activation\/deactivation or high\/low concentrations. Unfortunately, these models suffer from the state space explosion, i.e., there are exponentially many states in the number of BN variables, which hampers their analysis.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>We present Boolean Backward Equivalence (BBE), a novel reduction technique for BNs which collapses system variables that, if initialized with same value, maintain matching values in all states. A large-scale validation on 86 models from two online model repositories reveals that BBE is effective, since it is able to reduce more than 90% of the models. Furthermore, on such models we also show that BBE brings notable analysis speed-ups, both in terms of state space generation and steady-state analysis. In several cases, BBE allowed the analysis of models that were originally intractable due to the complexity. On two selected case studies, we show how one can tune the reduction power of BBE using model-specific information to preserve all dynamics of interest, and selectively exclude behavior that does not have biological relevance.<\/jats:p><\/jats:sec><jats:sec><jats:title>Conclusions<\/jats:title><jats:p>BBE complements existing reduction methods, preserving properties that other reduction methods fail to reproduce, and vice versa. BBE drops all and only the dynamics, including attractors, originating from states where BBE-equivalent variables have been initialized with different activation values The remaining part of the dynamics is preserved exactly, including the length of the preserved attractors, and their reachability from given initial conditions, without adding any spurious behaviours. Given that BBE is a model-to-model reduction technique, it can be combined with further reduction methods for BNs.<\/jats:p><\/jats:sec>","DOI":"10.1186\/s12859-023-05326-9","type":"journal-article","created":{"date-parts":[[2023,5,23]],"date-time":"2023-05-23T14:05:18Z","timestamp":1684850718000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Reducing Boolean networks with backward equivalence"],"prefix":"10.1186","volume":"24","author":[{"given":"Georgios A.","family":"Argyris","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Tschaikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2606-7241","authenticated-orcid":false,"given":"Andrea","family":"Vandin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,23]]},"reference":[{"issue":"3","key":"5326_CR1","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"SA Kauffman","year":"1969","unstructured":"Kauffman SA. Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol. 1969;22(3):437\u201367.","journal-title":"J Theor Biol"},{"issue":"5","key":"5326_CR2","doi-asserted-by":"publisher","first-page":"055001","DOI":"10.1088\/1478-3975\/9\/5\/055001","volume":"9","author":"R-S Wang","year":"2012","unstructured":"Wang R-S, Saadatpour A, Albert R. Boolean modeling in systems biology: an overview of methodology and applications. Phys Biol. 2012;9(5):055001.","journal-title":"Phys Biol"},{"issue":"1","key":"5326_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-4-134","volume":"4","author":"E Azpeitia","year":"2010","unstructured":"Azpeitia E, Ben\u00edtez M, Vega I, Villarreal C, Alvarez-Buylla ER. Single-cell and coupled GRN models of cell patterning in the Arabidopsis thaliana root stem cell niche. BMC Syst Biol. 2010;4(1):1\u201319.","journal-title":"BMC Syst Biol"},{"key":"5326_CR4","doi-asserted-by":"crossref","unstructured":"Naldi A, Monteiro PT, Chaouiya C. Efficient handling of large signalling-regulatory networks by focusing on their core control. In: International conference on computational methods in systems biology. Springer; 2012. p. 288\u2013306.","DOI":"10.1007\/978-3-642-33636-2_17"},{"issue":"2","key":"5326_CR5","doi-asserted-by":"publisher","first-page":"025114","DOI":"10.1063\/1.4809783","volume":"23","author":"D B\u00e9renguier","year":"2013","unstructured":"B\u00e9renguier D, Chaouiya C, Monteiro PT, Naldi A, Remy E, Thieffry D, Tichit L. Dynamical modeling and analysis of large cellular regulatory networks. Chaos Interdiscip J Nonlinear Sci. 2013;23(2):025114.","journal-title":"Chaos Interdiscip J Nonlinear Sci"},{"issue":"2","key":"5326_CR6","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. 2009;97(2):134\u20139.","journal-title":"Biosystems"},{"issue":"14","key":"5326_CR7","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":"5326_CR8","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/j.csbj.2020.03.001","volume":"18","author":"JD Schwab","year":"2020","unstructured":"Schwab JD, K\u00fchlwein SD, Ikonomi N, K\u00fchl M, Kestler HA. Concepts in Boolean network modeling: What do they all mean? Comput Struct Biotechnol J. 2020;18:571\u201382. https:\/\/doi.org\/10.1016\/j.csbj.2020.03.001.","journal-title":"Comput Struct Biotechnol J"},{"issue":"1","key":"5326_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/s00180-012-0324-2","volume":"28","author":"M Hopfensitz","year":"2013","unstructured":"Hopfensitz M, M\u00fcssel C, Maucher M, Kestler HA. Attractors in Boolean networks: a tutorial. Comput Stat. 2013;28(1):19\u201336.","journal-title":"Comput Stat"},{"key":"5326_CR10","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1002\/9783527626359.ch3","volume":"1","author":"B Drossel","year":"2008","unstructured":"Drossel B. Random Boolean networks. Rev Nonlinear Dyn Complex. 2008;1:69\u2013110.","journal-title":"Rev Nonlinear Dyn Complex"},{"key":"5326_CR11","first-page":"151","volume":"9","author":"T Akutsu","year":"1998","unstructured":"Akutsu T, Kuhara S, Maruyama O, Miyano S. A system for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions. Genome Inform. 1998;9:151\u201360.","journal-title":"Genome Inform"},{"issue":"5","key":"5326_CR12","doi-asserted-by":"publisher","first-page":"1393","DOI":"10.1109\/TCBB.2010.20","volume":"8","author":"E Dubrova","year":"2011","unstructured":"Dubrova E, Teslenko M. A sat-based algorithm for finding attractors in synchronous Boolean networks. IEEE\/ACM Trans Comput Biol Bioinform. 2011;8(5):1393\u20139.","journal-title":"IEEE\/ACM Trans Comput Biol Bioinform"},{"issue":"1","key":"5326_CR13","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.65.016129","volume":"65","author":"S Bilke","year":"2001","unstructured":"Bilke S, Sjunnesson F. Stability of the Kauffman model. Phys Rev E. 2001;65(1): 016129.","journal-title":"Phys Rev E"},{"issue":"21","key":"5326_CR14","doi-asserted-by":"publisher","first-page":"2207","DOI":"10.1016\/j.tcs.2010.10.021","volume":"412","author":"A Naldi","year":"2011","unstructured":"Naldi A, Remy E, Thieffry D, Chaouiya C. Dynamically consistent reduction of logical regulatory graphs. Theor Comput Sci. 2011;412(21):2207\u201318.","journal-title":"Theor Comput Sci"},{"key":"5326_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.jtbi.2011.08.042","volume":"289","author":"A Veliz-Cuba","year":"2011","unstructured":"Veliz-Cuba A. Reduction of Boolean network models. J Theor Biol. 2011;289:167\u201372.","journal-title":"J Theor Biol"},{"issue":"04","key":"5326_CR16","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1142\/S0219525905000518","volume":"8","author":"KA Richardson","year":"2005","unstructured":"Richardson KA. Simplifying Boolean networks. Adv Complex Syst. 2005;8(04):365\u201381.","journal-title":"Adv Complex Syst"},{"key":"5326_CR17","doi-asserted-by":"crossref","unstructured":"Figueiredo D. Relating bisimulations with attractors in Boolean network models. In: International conference on algorithms for computational biology. Springer; 2016. p. 17\u201325.","DOI":"10.1007\/978-3-319-38827-4_2"},{"issue":"2","key":"5326_CR18","doi-asserted-by":"publisher","DOI":"10.1063\/1.4809777","volume":"23","author":"JGT Za\u00f1udo","year":"2013","unstructured":"Za\u00f1udo JGT, Albert R. An effective network reduction approach to find the dynamical repertoire of discrete dynamic networks. Chaos Interdiscip J Nonlinear Sci. 2013;23(2): 025111. https:\/\/doi.org\/10.1063\/1.4809777.","journal-title":"Chaos Interdiscip J Nonlinear Sci"},{"issue":"38","key":"5326_CR19","doi-asserted-by":"publisher","first-page":"10029","DOI":"10.1073\/pnas.1702697114","volume":"114","author":"L Cardelli","year":"2017","unstructured":"Cardelli L, Tribastone M, Tschaikowski M, Vandin A. Maximal aggregation of polynomial dynamical systems. Proc Natl Acad Sci. 2017;114(38):10029\u201334.","journal-title":"Proc Natl Acad Sci"},{"issue":"42","key":"5326_CR20","doi-asserted-by":"publisher","first-page":"16308","DOI":"10.1073\/pnas.0806447105","volume":"105","author":"R Zhang","year":"2008","unstructured":"Zhang R, Shah MV, Yang J, Nyland SB, Liu X, Yun JK, Albert R, Loughran TP. Network model of survival signaling in large granular lymphocyte leukemia. Proc Natl Acad Sci. 2008;105(42):16308\u201313.","journal-title":"Proc Natl Acad Sci"},{"issue":"8","key":"5326_CR21","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1109\/TSE.2006.74","volume":"32","author":"J Sproston","year":"2006","unstructured":"Sproston J, Donatelli S. Backward bisimulation in Markov chain model checking. Softw Eng IEEE Trans. 2006;32(8):531\u201346. https:\/\/doi.org\/10.1109\/TSE.2006.74.","journal-title":"Softw Eng IEEE Trans"},{"key":"5326_CR22","doi-asserted-by":"publisher","unstructured":"Cardelli L, Tribastone M, Tschaikowski M, Vandin A. Forward and backward bisimulations for chemical reaction networks. In: 26th International conference on concurrency theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. 2015. p. 226\u2013239. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2015.226.","DOI":"10.4230\/LIPIcs.CONCUR.2015.226"},{"issue":"1","key":"5326_CR23","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2914770.2837649","volume":"51","author":"L Cardelli","year":"2016","unstructured":"Cardelli L, Tribastone M, Tschaikowski M, Vandin A. Symbolic computation of differential equivalences. ACM SIGPLAN Not. 2016;51(1):137\u201350.","journal-title":"ACM SIGPLAN Not"},{"issue":"7","key":"5326_CR24","doi-asserted-by":"publisher","first-page":"3484","DOI":"10.1109\/TAC.2021.3108530","volume":"67","author":"S Tognazzi","year":"2022","unstructured":"Tognazzi S, Tribastone M, Tschaikowski M, Vandin A. Differential equivalence for linear differential algebraic equations. IEEE Trans Autom Control. 2022;67(7):3484\u201393. https:\/\/doi.org\/10.1109\/TAC.2021.3108530.","journal-title":"IEEE Trans Autom Control"},{"key":"5326_CR25","doi-asserted-by":"publisher","unstructured":"Tognazzi S, Tribastone M, Tschaikowski M, Vandin A. Backward invariance for linear differential algebraic equations. In: 2018 IEEE conference on decision and control (CDC). 2018. p. 3771\u20133776. https:\/\/doi.org\/10.1109\/CDC.2018.8619710","DOI":"10.1109\/CDC.2018.8619710"},{"issue":"1","key":"5326_CR26","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1186\/1752-0509-8-84","volume":"8","author":"L Cardelli","year":"2014","unstructured":"Cardelli L. Morphisms of reaction networks that couple structure to function. BMC Syst Biol. 2014;8(1):84.","journal-title":"BMC Syst Biol"},{"key":"5326_CR27","unstructured":"Biere A, Biere A, Heule M, van Maaren H, Walsh T. Handbook of satisfiability: volume 185 frontiers in artificial intelligence and applications. IOS Press, NLD. 2009."},{"key":"5326_CR28","doi-asserted-by":"publisher","unstructured":"Valmari A, Franceschinis G. Simple O(m logn) time markov chain lumping. In: Tools and algorithms for the construction and analysis of systems, 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. 2010. p. 38\u201352. https:\/\/doi.org\/10.1007\/978-3-642-12002-2_4.","DOI":"10.1007\/978-3-642-12002-2_4"},{"issue":"6","key":"5326_CR29","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R Paige","year":"1987","unstructured":"Paige R, Tarjan R. Three partition refinement algorithms. SIAM J Comput. 1987;16(6):973\u201389. https:\/\/doi.org\/10.1137\/0216062.","journal-title":"SIAM J Comput"},{"key":"5326_CR30","doi-asserted-by":"publisher","DOI":"10.1126\/scisignal.aar3641","author":"O Rodr\u00edguez-Jorge","year":"2019","unstructured":"Rodr\u00edguez-Jorge O, Kempis-Calanis LA, Abou-Jaoud\u00e9 W, Guti\u00e9rrez-Reyna DY, Hernandez C, Ramirez-Pliego O, Thomas-Chollier M, Spicuglia S, Santana MA, Thieffry D. Cooperation between T cell receptor and toll-like receptor 5 signaling for CD4+ T cell activation. Sci Signal. 2019. https:\/\/doi.org\/10.1126\/scisignal.aar3641.","journal-title":"Sci Signal"},{"issue":"1","key":"5326_CR31","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1186\/1471-2105-7-56","volume":"7","author":"S Klamt","year":"2006","unstructured":"Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED. A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinform. 2006;7(1):56.","journal-title":"BMC Bioinform"},{"key":"5326_CR32","doi-asserted-by":"crossref","unstructured":"Cardelli L, Tribastone M, Tschaikowski M, Vandin A. Erode: a tool for the evaluation and reduction of ordinary differential equations. In: International conference on tools and algorithms for the construction and analysis of systems. Springer; 2017. p. 310\u2013328.","DOI":"10.1007\/978-3-662-54580-5_19"},{"issue":"suppl\u20131","key":"5326_CR33","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1093\/nar\/gkj092","volume":"34","author":"N Le Novere","year":"2006","unstructured":"Le Novere N, Bornstein B, Broicher A, Courtot M, Donizelli M, Dharuri H, Li L, Sauro H, Schilstra M, Shapiro B, et al. Biomodels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 2006;34(suppl\u20131):689\u201391.","journal-title":"Nucleic Acids Res"},{"key":"5326_CR34","doi-asserted-by":"crossref","unstructured":"Argyris G, Lluch\u00a0Lafuente A, Tribastone M, Tschaikowski M, Vandin A. Reducing boolean networks with backward Boolean equivalence. In: International conference on computational methods in systems biology. Springer; 2021. p. 1\u201318.","DOI":"10.1007\/978-3-030-85633-5_1"},{"key":"5326_CR35","doi-asserted-by":"publisher","unstructured":"Cardelli L, Tribastone M, Tschaikowski M, Vandin A. Symbolic computation of differential equivalences. In: POPL 2016. 2016. p. 137\u2013150. https:\/\/doi.org\/10.1145\/2837614.2837649","DOI":"10.1145\/2837614.2837649"},{"key":"5326_CR36","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura L, Bj\u00f8rner N. Z3: an efficient SMT solver. In: International conference on tools and algorithms for the construction and analysis of systems. Springer; 2008. p. 337\u2013340.","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"5326_CR37","doi-asserted-by":"publisher","first-page":"680","DOI":"10.3389\/fphys.2018.00680","volume":"9","author":"A Naldi","year":"2018","unstructured":"Naldi A, Hernandez C, Levy N, Stoll G, Monteiro PT, Chaouiya C, Helikar T, Zinovyev A, Calzone L, Cohen-Boulakia S, Thieffry D, Paulev\u00e9 L. The CoLoMoTo interactive notebook: accessible and reproducible computational analyses for qualitative biological networks. Front Physiol. 2018;9:680. https:\/\/doi.org\/10.3389\/fphys.2018.00680.","journal-title":"Front Physiol"},{"issue":"7","key":"5326_CR38","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1093\/bioinformatics\/btv013","volume":"31","author":"A Naldi","year":"2015","unstructured":"Naldi A, Monteiro PT, M\u00fcssel C, Kestler HA, Thieffry D, Xenarios I, Saez-Rodriguez J, Helikar T, Chaouiya C, for Logical Models C, Tools. Cooperative development of logical modelling standards and tools with CoLoMoTo. Bioinformatics. 2015;31(7):1154\u20139.","journal-title":"Bioinformatics"},{"issue":"5","key":"5326_CR39","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1093\/bioinformatics\/btw682","volume":"33","author":"H Klarner","year":"2017","unstructured":"Klarner H, Streck A, Siebert H. PyBoolNet: a python package for the generation, analysis and visualization of Boolean networks. Bioinformatics. 2017;33(5):770\u20132.","journal-title":"Bioinformatics"},{"key":"5326_CR40","doi-asserted-by":"crossref","unstructured":"Chaouiya C, Naldi A, Thieffry D. Logical modelling of gene regulatory networks with GINsim. 2012;804:463\u201379.","DOI":"10.1007\/978-1-61779-361-5_23"},{"issue":"1","key":"5326_CR41","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1186\/1471-2105-8-462","volume":"8","author":"A Di Cara","year":"2007","unstructured":"Di Cara A, Garg A, De Micheli G, Xenarios I, Mendoza L. Dynamic simulation of regulatory networks using squad. BMC Bioinform. 2007;8(1):462.","journal-title":"BMC Bioinform"},{"issue":"D1","key":"5326_CR42","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1093\/nar\/gkz1055.gkz1055","volume":"48","author":"RS Malik-Sheriff","year":"2020","unstructured":"...Malik-Sheriff RS, Glont M, Nguyen TVN, Tiwari K, Roberts MG, Xavier A, Vu MT, Men J, Maire M, Kananathan S, Fairbanks EL, Meyer JP, Arankalle C, Varusai TM, Knight-Schrijver V, Li L, Due\u00f1as-Roca C, Dass G, Keating SM, Park YM, Buso N, Rodriguez N, Hucka M, Hermjakob H. BioModels\u201415 years of sharing computational models in life science. Nucleic Acids Res. 2020;48(D1):407\u201315. https:\/\/doi.org\/10.1093\/nar\/gkz1055.gkz1055.","journal-title":"Nucleic Acids Res"},{"key":"5326_CR43","doi-asserted-by":"publisher","first-page":"1003527","DOI":"10.1371\/journal.pcbi.1003527","volume":"10","author":"A Faur\u00e9","year":"2014","unstructured":"Faur\u00e9 A, Vreede B, Sucena E, Chaouiya C. A discrete model of Drosophila eggshell patterning reveals cell-autonomous and Juxtacrine effects. PLoS Comput Biol. 2014;10:1003527. https:\/\/doi.org\/10.1371\/journal.pcbi.1003527.","journal-title":"PLoS Comput Biol"},{"key":"5326_CR44","doi-asserted-by":"crossref","unstructured":"Delaplace F, Ivanov S. Bisimilar Booleanization of multivalued networks. BioSystems, 2020;104205","DOI":"10.1016\/j.biosystems.2020.104205"},{"issue":"10","key":"5326_CR45","doi-asserted-by":"publisher","first-page":"1003286","DOI":"10.1371\/journal.pcbi.1003286","volume":"9","author":"L Grieco","year":"2013","unstructured":"Grieco L, Calzone L, Bernard-Pierrot I, Radvanyi F, Kahn-Perles B, Thieffry D. Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLoS Comput Biol. 2013;9(10):1003286.","journal-title":"PLoS Comput Biol"},{"issue":"5","key":"5326_CR46","doi-asserted-by":"publisher","first-page":"1052","DOI":"10.1016\/j.devcel.2012.03.003","volume":"22","author":"M Coolen","year":"2012","unstructured":"Coolen M, Thieffry D, Drivenes \u00d8, Becker TS, Bally-Cuif L. miR-9 controls the timing of neurogenesis through the direct inhibition of antagonistic factors. Dev Cell. 2012;22(5):1052\u201364.","journal-title":"Dev Cell"},{"issue":"1","key":"5326_CR47","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1186\/1752-0509-3-98","volume":"3","author":"DM Wittmann","year":"2009","unstructured":"Wittmann DM, Krumsiek J, Saez-Rodriguez J, Lauffenburger DA, Klamt S, Theis FJ. Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling. BMC Syst Biol. 2009;3(1):98. https:\/\/doi.org\/10.1186\/1752-0509-3-98.","journal-title":"BMC Syst Biol"},{"key":"5326_CR48","volume-title":"Introduction to the theory of computation","author":"M Sipser","year":"2013","unstructured":"Sipser M. Introduction to the theory of computation. 3rd ed. Boston: Course Technology; 2013.","edition":"3"},{"issue":"10","key":"5326_CR49","doi-asserted-by":"publisher","first-page":"1378","DOI":"10.1093\/bioinformatics\/btq124","volume":"26","author":"C M\u00fcssel","year":"2010","unstructured":"M\u00fcssel C, Hopfensitz M, Kestler HA. BoolNet\u2013an R package for generation, reconstruction and analysis of Boolean networks. Bioinformatics. 2010;26(10):1378\u201380.","journal-title":"Bioinformatics"},{"issue":"9","key":"5326_CR50","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"},{"issue":"1","key":"5326_CR51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12918-017-0436-y","volume":"11","author":"ME Martinez-Sanchez","year":"2017","unstructured":"Martinez-Sanchez ME, Hiriart M, Alvarez-Buylla ER. The CD4+T cell regulatory network mediates inflammatory responses during acute hyperinsulinemia: a simulation study. BMC Syst Biol. 2017;11(1):1\u201312.","journal-title":"BMC Syst Biol"},{"issue":"9","key":"5326_CR52","doi-asserted-by":"publisher","first-page":"1005073","DOI":"10.1371\/journal.pcbi.1005073","volume":"12","author":"A Mbodj","year":"2016","unstructured":"Mbodj A, Gustafson EH, Ciglar L, Junion G, Gonzalez A, Girardot C, Perrin L, Furlong EE, Thieffry D. Qualitative dynamical modelling can formally explain mesoderm specification and predict novel developmental phenotypes. PLoS Comput Biol. 2016;12(9):1005073.","journal-title":"PLoS Comput Biol"},{"issue":"6","key":"5326_CR53","doi-asserted-by":"publisher","first-page":"1004324","DOI":"10.1371\/journal.pcbi.1004324","volume":"11","author":"ME Martinez-Sanchez","year":"2015","unstructured":"Martinez-Sanchez ME, Mendoza L, Villarreal C, Alvarez-Buylla ER. A minimal regulatory network of extrinsic and intrinsic factors recovers observed patterns of CD4+ T cell differentiation and plasticity. PLoS Comput Biol. 2015;11(6):1004324.","journal-title":"PLoS Comput Biol"},{"issue":"3","key":"5326_CR54","doi-asserted-by":"publisher","first-page":"1003527","DOI":"10.1371\/journal.pcbi.1003527","volume":"10","author":"A Faur\u00e9","year":"2014","unstructured":"Faur\u00e9 A, Vreede BM, Sucena \u00c9, Chaouiya C. A discrete model of Drosophila eggshell patterning reveals cell-autonomous and Juxtacrine effects. PLoS Comput Biol. 2014;10(3):1003527.","journal-title":"PLoS Comput Biol"},{"issue":"1","key":"5326_CR55","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12918-016-0282-3","volume":"10","author":"L S\u00e1nchez","year":"2016","unstructured":"S\u00e1nchez L, Chaouiya C. Primary sex determination of placental mammals: a modelling study uncovers dynamical developmental constraints in the formation of Sertoli and granulosa cells. BMC Syst Biol. 2016;10(1):1\u201311.","journal-title":"BMC Syst Biol"},{"issue":"S7","key":"5326_CR56","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1186\/1471-2164-15-S7-S7","volume":"15","author":"JC Mombach","year":"2014","unstructured":"Mombach JC, Bugs CA, Chaouiya C. Modelling the onset of senescence at the G1\/S cell cycle checkpoint. BMC Genom. 2014;15(S7):7.","journal-title":"BMC Genom"},{"issue":"1","key":"5326_CR57","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s43556-021-00034-3","volume":"2","author":"KF Corral-Jara","year":"2021","unstructured":"Corral-Jara KF, Chauvin C, Abou-Jaoud\u00e9 W, Grandclaudon M, Naldi A, Soumelis V, Thieffry D. Interplay between smad2 and stat5a is a critical determinant of IL-17A\/IL-17F differential expression. Mol Biomed. 2021;2(1):1\u201316.","journal-title":"Mol Biomed"},{"key":"5326_CR58","first-page":"86","volume":"2","author":"W Abou-Jaoud\u00e9","year":"2015","unstructured":"Abou-Jaoud\u00e9 W, Monteiro PT, Naldi A, Grandclaudon M, Soumelis V, Chaouiya C, Thieffry D. Model checking to assess T-helper cell plasticity. Front Bioeng Biotechnol. 2015;2:86.","journal-title":"Front Bioeng Biotechnol"},{"issue":"12","key":"5326_CR59","doi-asserted-by":"publisher","first-page":"3600","DOI":"10.3390\/cancers12123600","volume":"12","author":"M Kondratova","year":"2020","unstructured":"Kondratova M, Barillot E, Zinovyev A, Calzone L. Modelling of immune checkpoint network explains synergistic effects of combined immune checkpoint inhibitor therapy and the impact of cytokines in patient response. Cancers. 2020;12(12):3600.","journal-title":"Cancers"},{"issue":"12","key":"5326_CR60","doi-asserted-by":"publisher","first-page":"767","DOI":"10.15252\/msb.20145112","volume":"10","author":"S Vaga","year":"2014","unstructured":"Vaga S, Bernardo-Faura M, Cokelaer T, Maiolica A, Barnes CA, Gillet LC, Hegemann B, van Drogen F, Sharifian H, Klipp E, et al. Phosphoproteomic analyses reveal novel cross-modulation mechanisms between two signaling pathways in yeast. Mol Syst Biol. 2014;10(12):767.","journal-title":"Mol Syst Biol"},{"issue":"9","key":"5326_CR61","doi-asserted-by":"publisher","first-page":"1000912","DOI":"10.1371\/journal.pcbi.1000912","volume":"6","author":"A Naldi","year":"2010","unstructured":"Naldi A, Carneiro J, Chaouiya C, Thieffry D. Diversity and plasticity of TH cell types predicted from regulatory network modelling. PLoS Comput Biol. 2010;6(9):1000912.","journal-title":"PLoS Comput Biol"},{"issue":"4","key":"5326_CR62","doi-asserted-by":"publisher","first-page":"20200061","DOI":"10.1098\/rsfs.2020.0061","volume":"11","author":"KJ Nu\u00f1ez-Reza","year":"2021","unstructured":"Nu\u00f1ez-Reza KJ, Naldi A, S\u00e1nchez-Jim\u00e9nez A, Leon-Apodaca AV, Santana MA, Thomas-Chollier M, Thieffry D, Medina-Rivera A. Logical modelling of in vitro differentiation of human monocytes into dendritic cells unravels novel transcriptional regulatory interactions. Interface focus. 2021;11(4):20200061.","journal-title":"Interface focus"},{"issue":"1","key":"5326_CR63","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-6-133","volume":"6","author":"C Terfve","year":"2012","unstructured":"Terfve C, Cokelaer T, Henriques D, MacNamara A, Goncalves E, Morris MK, Iersel MV, Lauffenburger DA, Saez-Rodriguez J. CellNOptR: a flexible toolkit to train protein signaling networks to data using multiple logic formalisms. BMC Syst Biol. 2012;6(1):1\u201314.","journal-title":"BMC Syst Biol"},{"key":"5326_CR64","doi-asserted-by":"crossref","unstructured":"Floc\u2019Hlay S, Molina MD, Hernandez C, Haillot E, Thomas-Chollier M, Lepage T, Thieffry D. Deciphering and modelling the TGF-\u03b2\u00a0signalling interplays specifying the dorsal-ventral axis of the sea urchin embryo. Development. 2021;148(2): 189944.","DOI":"10.1101\/2020.02.26.966556"},{"key":"5326_CR65","doi-asserted-by":"crossref","unstructured":"Hernandez C, Thomas-Chollier M, Naldi A, Thieffry D. Computational verification of large logical models-application to the prediction of t cell response to checkpoint inhibitors. bioRxiv. 2020.","DOI":"10.1101\/2020.05.01.073379"},{"issue":"12","key":"5326_CR66","doi-asserted-by":"publisher","first-page":"1787","DOI":"10.1039\/b910101m","volume":"5","author":"A Faur\u00e9","year":"2009","unstructured":"Faur\u00e9 A, Naldi A, Lopez F, Chaouiya C, Ciliberto A, Thieffry D. Modular logical modelling of the budding yeast cell cycle. Mol BioSyst. 2009;5(12):1787\u201396.","journal-title":"Mol BioSyst"},{"issue":"3","key":"5326_CR67","doi-asserted-by":"publisher","first-page":"1000702","DOI":"10.1371\/journal.pcbi.1000702","volume":"6","author":"L Calzone","year":"2010","unstructured":"Calzone L, Tournier L, Fourquet S, Thieffry D, Zhivotovsky B, Barillot E, Zinovyev A. Mathematical modelling of cell-fate decision in response to death receptor engagement. PLoS Comput Biol. 2010;6(3):1000702.","journal-title":"PLoS Comput Biol"},{"key":"5326_CR68","doi-asserted-by":"crossref","unstructured":"Niarakis A, Bounab Y, Grieco L, Roncagalli R, Hesse A-M, Garin J, Malissen B, Da\u00ebron M, Thieffry D. Computational modeling of the main signaling pathways involved in mast cell activation. Fc Recept. 2014;69\u201393","DOI":"10.1007\/978-3-319-07911-0_4"},{"issue":"1","key":"5326_CR69","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-3-1","volume":"3","author":"\u00d6 Sahin","year":"2009","unstructured":"Sahin \u00d6, Fr\u00f6hlich H, L\u00f6bke C, Korf U, Burmester S, Majety M, Mattern J, Schupp I, Chaouiya C, Thieffry D, et al. Modeling ERBB receptor-regulated G1\/S transition to find novel targets for de novo trastuzumab resistance. BMC Syst Biol. 2009;3(1):1.","journal-title":"BMC Syst Biol"},{"issue":"4","key":"5326_CR70","doi-asserted-by":"publisher","DOI":"10.1088\/1478-3975\/9\/4\/045003","volume":"9","author":"A MacNamara","year":"2012","unstructured":"MacNamara A, Terfve C, Henriques D, Bernab\u00e9 BP, Saez-Rodriguez J. State-time spectrum of signal transduction logic models. Phys Biol. 2012;9(4): 045003.","journal-title":"Phys Biol"},{"issue":"11","key":"5326_CR71","doi-asserted-by":"publisher","first-page":"2407","DOI":"10.1158\/0008-5472.CAN-19-3147","volume":"80","author":"G Selvaggio","year":"2020","unstructured":"Selvaggio G, Canato S, Pawar A, Monteiro PT, Guerreiro PS, Br\u00e1s MM, Janody F, Chaouiya C. Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors. Can Res. 2020;80(11):2407\u201320.","journal-title":"Can Res"},{"issue":"1","key":"5326_CR72","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-7-135","volume":"7","author":"C Chaouiya","year":"2013","unstructured":"Chaouiya C, B\u00e9renguier D, Keating SM, Naldi A, Van Iersel MP, Rodriguez N, Dr\u00e4ger A, B\u00fcchel F, Cokelaer T, Kowal B, et al. SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools. BMC Syst Biol. 2013;7(1):1\u201315.","journal-title":"BMC Syst Biol"},{"issue":"19","key":"5326_CR73","doi-asserted-by":"publisher","first-page":"4042","DOI":"10.1158\/0008-5472.CAN-15-0602","volume":"75","author":"E Remy","year":"2015","unstructured":"Remy E, Rebouissou S, Chaouiya C, Zinovyev A, Radvanyi F, Calzone L. A modeling approach to explain mutually exclusive and co-occurring genetic alterations in bladder tumorigenesis. Can Res. 2015;75(19):4042\u201352.","journal-title":"Can Res"},{"issue":"3","key":"5326_CR74","doi-asserted-by":"publisher","first-page":"1625","DOI":"10.1534\/genetics.106.061218","volume":"174","author":"A Gonz\u00e1lez","year":"2006","unstructured":"Gonz\u00e1lez A, Chaouiya C, Thieffry D. Dynamical analysis of the regulatory network defining the dorsal-ventral boundary of the drosophila wing imaginal disc. Genetics. 2006;174(3):1625\u201334.","journal-title":"Genetics"},{"issue":"142","key":"5326_CR75","doi-asserted-by":"publisher","first-page":"20180165","DOI":"10.1098\/rsif.2018.0165","volume":"15","author":"L S\u00e1nchez","year":"2018","unstructured":"S\u00e1nchez L, Chaouiya C. Logical modelling uncovers developmental constraints for primary sex determination of chicken gonads. J R Soc Interface. 2018;15(142):20180165.","journal-title":"J R Soc Interface"},{"issue":"23","key":"5326_CR76","doi-asserted-by":"publisher","first-page":"5822","DOI":"10.1073\/pnas.1610609114","volume":"114","author":"FK Hamey","year":"2017","unstructured":"Hamey FK, Nestorowa S, Kinston SJ, Kent DG, Wilson NK, G\u00f6ttgens B. Reconstructing blood stem cell regulatory network models from single-cell molecular profiles. Proc Natl Acad Sci. 2017;114(23):5822\u20139.","journal-title":"Proc Natl Acad Sci"},{"issue":"1","key":"5326_CR77","doi-asserted-by":"publisher","first-page":"1007900","DOI":"10.1371\/journal.pcbi.1007900","volume":"17","author":"J B\u00e9al","year":"2021","unstructured":"B\u00e9al J, Pantolini L, No\u00ebl V, Barillot E, Calzone L. Personalized logical models to investigate cancer response to BRAF treatments in melanomas and colorectal cancers. PLoS Comput Biol. 2021;17(1):1007900.","journal-title":"PLoS Comput Biol"},{"issue":"suppl-2","key":"5326_CR78","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E Simao","year":"2005","unstructured":"Simao E, Remy E, Thieffry D, Chaouiya C. Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Bioinformatics. 2005;21(suppl-2):190\u20136.","journal-title":"Bioinformatics"},{"key":"5326_CR79","doi-asserted-by":"publisher","first-page":"349","DOI":"10.3389\/fphys.2016.00349","volume":"7","author":"J Enciso","year":"2016","unstructured":"Enciso J, Mayani H, Mendoza L, Pelayo R. Modeling the pro-inflammatory tumor microenvironment in acute lymphoblastic leukemia predicts a breakdown of hematopoietic-mesenchymal communication networks. Front Physiol. 2016;7:349.","journal-title":"Front Physiol"},{"issue":"2","key":"5326_CR80","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/jtbi.2001.2335","volume":"211","author":"L S\u00e1nchez","year":"2001","unstructured":"S\u00e1nchez L, Thieffry D. A logical analysis of the drosophila gap-gene system. J Theor Biol. 2001;211(2):115\u201341.","journal-title":"J Theor Biol"},{"issue":"12","key":"5326_CR81","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. Logical modelling of cell cycle control in eukaryotes: a comparative study. Mol BioSyst. 2009;5(12):1569\u201381.","journal-title":"Mol BioSyst"},{"issue":"2","key":"5326_CR82","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.biosystems.2005.10.004","volume":"84","author":"L Mendoza","year":"2006","unstructured":"Mendoza L. A network model for the control of the differentiation process in TH cells. Biosystems. 2006;84(2):101\u201314.","journal-title":"Biosystems"},{"issue":"16","key":"5326_CR83","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1093\/bioinformatics\/btn266","volume":"24","author":"A Gonz\u00e1lez","year":"2008","unstructured":"Gonz\u00e1lez A, Chaouiya C, Thieffry D. Logical modelling of the role of the HH pathway in the patterning of the drosophila wing disc. Bioinformatics. 2008;24(16):234\u201340.","journal-title":"Bioinformatics"},{"issue":"8","key":"5326_CR84","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1387\/ijdb.072439ls","volume":"52","author":"L S\u00e1nchez","year":"2002","unstructured":"S\u00e1nchez L, Chaouiya C, Thieffry D. Segmenting the fly embryo: logical analysis of the role of the segment polarity cross-regulatory module. Int J Dev Biol. 2002;52(8):1059\u201375.","journal-title":"Int J Dev Biol"},{"key":"5326_CR85","doi-asserted-by":"publisher","unstructured":"Montagud A, B\u00e9al J, Tobalina L, Traynard P, Subramanian V, Szalai B, Alf\u00f6ldi R, Pusk\u00e1s L, Valencia A, Barillot E, Saez-Rodriguez J, Calzone L. Patient-specific Boolean models of signaling networks guide personalized treatments. bioRxiv. 2021. https:\/\/doi.org\/10.1101\/2021.07.28.454126.","DOI":"10.1101\/2021.07.28.454126"},{"issue":"12","key":"5326_CR86","doi-asserted-by":"publisher","first-page":"0226388","DOI":"10.1371\/journal.pone.0226388","volume":"14","author":"JA S\u00e1nchez-Villanueva","year":"2019","unstructured":"S\u00e1nchez-Villanueva JA, Rodr\u00edguez-Jorge O, Ram\u00edrez-Pliego O, Rosas Salgado G, Abou-Jaoud\u00e9 W, Hernandez C, Naldi A, Thieffry D, Santana MA. Contribution of ROS and metabolic status to neonatal and adult CD8+ T cell activation. PLoS ONE. 2019;14(12):0226388.","journal-title":"PLoS ONE"},{"issue":"6","key":"5326_CR87","doi-asserted-by":"publisher","first-page":"1018","DOI":"10.1111\/acel.12504","volume":"15","author":"L Verlingue","year":"2016","unstructured":"Verlingue L, Dugourd A, Stoll G, Barillot E, Calzone L, Londo\u00f1o-Vallejo A. A comprehensive approach to the molecular determinants of lifespan using a Boolean model of geroconversion. Aging Cell. 2016;15(6):1018\u201326.","journal-title":"Aging Cell"},{"issue":"8","key":"5326_CR88","doi-asserted-by":"publisher","first-page":"1004426","DOI":"10.1371\/journal.pcbi.1004426","volume":"11","author":"\u00c5 Flobak","year":"2015","unstructured":"Flobak \u00c5, Baudot A, Remy E, Thommesen L, Thieffry D, Kuiper M, L\u00e6greid A. Discovery of drug synergies in gastric cancer cells predicted by logical modeling. PLoS Comput Biol. 2015;11(8):1004426.","journal-title":"PLoS Comput Biol"},{"key":"5326_CR89","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.coisb.2018.02.002","volume":"9","author":"JG Za\u00f1udo","year":"2018","unstructured":"Za\u00f1udo JG, Steinway SN, Albert R. Discrete dynamic network modeling of oncogenic signaling: mechanistic insights for personalized treatment of cancer. Curr Opin in Syst Biol. 2018;9:1\u201310.","journal-title":"Curr Opin in Syst Biol"},{"issue":"11","key":"5326_CR90","doi-asserted-by":"publisher","first-page":"1004571","DOI":"10.1371\/journal.pcbi.1004571","volume":"11","author":"DP Cohen","year":"2015","unstructured":"Cohen DP, Martignetti L, Robine S, Barillot E, Zinovyev A, Calzone L. Mathematical modelling of molecular pathways enabling tumour cell invasion and migration. PLoS Comput Biol. 2015;11(11):1004571.","journal-title":"PLoS Comput Biol"},{"key":"5326_CR91","doi-asserted-by":"crossref","unstructured":"Cacace E, Collombet S, Thieffry D. Logical modeling of cell fate specification\u2014application to t cell commitment 2020;139:205\u2013238","DOI":"10.1016\/bs.ctdb.2020.02.008"},{"issue":"23","key":"5326_CR92","doi-asserted-by":"publisher","first-page":"5792","DOI":"10.1073\/pnas.1610622114","volume":"114","author":"S Collombet","year":"2017","unstructured":"Collombet S, van Oevelen C, Ortega JLS, Abou-Jaoud\u00e9 W, Di Stefano B, Thomas-Chollier M, Graf T, Thieffry D. Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proc Natl Acad Sci. 2017;114(23):5792\u20139.","journal-title":"Proc Natl Acad Sci"},{"issue":"17","key":"5326_CR93","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1093\/bioinformatics\/btw457","volume":"32","author":"P Traynard","year":"2016","unstructured":"Traynard P, Faur\u00e9 A, Fages F, Thieffry D. Logical model specification aided by model-checking techniques: application to the mammalian cell cycle regulation. Bioinformatics. 2016;32(17):772\u201380.","journal-title":"Bioinformatics"},{"issue":"4","key":"5326_CR94","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.jtbi.2009.02.005","volume":"258","author":"W Abou-Jaoud\u00e9","year":"2009","unstructured":"Abou-Jaoud\u00e9 W, Ouattara DA, Kaufman M. From structure to dynamics: frequency tuning in the P53-MDM2 network: I. logical approach. J Theor Biol. 2009;258(4):561\u201377.","journal-title":"J Theor Biol"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-023-05326-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s12859-023-05326-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-023-05326-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T20:19:39Z","timestamp":1702498779000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/s12859-023-05326-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,23]]},"references-count":94,"journal-issue":{"issue":"S1","published-online":{"date-parts":[[2023,12]]}},"alternative-id":["5326"],"URL":"https:\/\/doi.org\/10.1186\/s12859-023-05326-9","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,23]]},"assertion":[{"value":"15 March 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 May 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 May 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval and consent to participate"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The authors declare that they have no competing interests.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing\u00a0 interests"}}],"article-number":"212"}}