{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T18:20:43Z","timestamp":1771266043390,"version":"3.50.1"},"reference-count":73,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:00:00Z","timestamp":1551139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T00:00:00Z","timestamp":1551139200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2019,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Background<\/jats:title><jats:p>Accurate identification of perturbed signaling pathways based on differentially expressed genes between sample groups is one of the key factors in the understanding of diseases and druggable targets. Most pathway analysis methods prioritize impacted signaling pathways by incorporating pathway topology using simple graph-based models. Despite their relative success, these models are limited in describing all types of dependencies and interactions that exist in biological pathways.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>In this work, we propose a new approach based on the formal modeling of signaling pathways. Signaling pathways are formally modeled, and then model checking tools are applied to find the likelihood of perturbation for each pathway in a given condition. By adopting formal methods, various complex interactions among biological parts are modeled, which can contribute to reducing the false-positive rate of the proposed approach. We have developed a tool named Formal model checking based pathway analysis (FoPA) based on this approach. FoPA is compared with three well-known pathway analysis methods: PADOG, CePa, and SPIA on the benchmark of 36 GEO datasets from various diseases by applying the target pathway technique. This validation technique eliminates the need for possibly biased human assessments of results. In the cases that, there is no apriori knowledge of all relevant pathways, simulated false inputs (permuted class labels and decoy pathways) are chosen as a set of negative controls to test the false positive rate of the methods. Finally, to further evaluate the efficiency of FoPA, it is applied to a list of autism-related genes.<\/jats:p><\/jats:sec><jats:sec><jats:title>Conclusions<\/jats:title><jats:p>The results obtained by the target pathway technique demonstrate that FoPA is able to prioritize target pathways as well as PADOG but better than CePa and SPIA. Also, the false-positive rate of finding significant pathways using FoPA is lower than other compared methods. Also, FoPA can detect more consistent relevant pathways than other methods. The results of FoPA on autism-related genes highlight the role of \u201cRenin-angiotensin system\u201d pathway. This pathway has been supposed to have a pivotal role in some neurodegenerative diseases, while little attention has been paid to its impact on autism development so far.<\/jats:p><\/jats:sec>","DOI":"10.1186\/s12859-019-2635-6","type":"journal-article","created":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T11:49:49Z","timestamp":1551181789000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["FoPA: identifying perturbed signaling pathways in clinical conditions using formal methods"],"prefix":"10.1186","volume":"20","author":[{"given":"Fatemeh","family":"Mansoori","sequence":"first","affiliation":[]},{"given":"Maseud","family":"Rahgozar","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1906-3912","authenticated-orcid":false,"given":"Kaveh","family":"Kavousi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,26]]},"reference":[{"issue":"1","key":"2635_CR1","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1186\/s12859-017-1737-2","volume":"18","author":"SH Chu","year":"2017","unstructured":"Chu SH, Huang YT. Integrated genomic analysis of biological gene sets with applications in lung cancer prognosis. BMC bioinformatics. 2017;18(1):336.","journal-title":"BMC bioinformatics."},{"key":"2635_CR2","doi-asserted-by":"publisher","DOI":"10.1038\/srep20616","volume":"6","author":"P Xu","year":"2016","unstructured":"Xu P, Zhu Y, Sun B, Xiao Z. Colorectal cancer characterization and therapeutic target prediction based on microRNA expression profile. Sci Rep. 2016;6:20616.","journal-title":"Sci Rep"},{"issue":"2","key":"2635_CR3","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1093\/bioinformatics\/btv536","volume":"32","author":"F Napolitano","year":"2015","unstructured":"Napolitano F, Sirci F, Carrella D, di Bernardo D. Drug-set enrichment analysis: a novel tool to investigate drug mode of action. Bioinformatics. 2015;32(2):235\u201341.","journal-title":"Bioinformatics"},{"key":"2635_CR4","doi-asserted-by":"crossref","unstructured":"Huang C, Yang W, Wang J, Zhou Y, Geng B, Kararigas G, Yang J, Cui Q. The DrugPattern tool for drug set enrichment analysis and its prediction for beneficial effects of oxLDL on type 2 diabetes. J Genet Genomics. 2018;45(7):389-97.","DOI":"10.1016\/j.jgg.2018.07.002"},{"key":"2635_CR5","doi-asserted-by":"publisher","first-page":"18494","DOI":"10.1038\/srep18494","volume":"5","author":"A Amadoz","year":"2015","unstructured":"Amadoz A, Sebastian-Leon P, Vidal E, Salavert F, Dopazo J. Using activation status of signaling pathways as mechanism-based biomarkers to predict drug sensitivity. Sci Rep. 2015;5:18494.","journal-title":"Sci Rep"},{"issue":"2","key":"2635_CR6","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1016\/j.canlet.2014.10.038","volume":"356","author":"S Nam","year":"2015","unstructured":"Nam S, Chang HR, Jung HR, Gim Y, Kim NY, Grailhe R, Seo HR, Park HS, Balch C, Lee J. Park I. A pathway-based approach for identifying biomarkers of tumor progression to trastuzumab-resistant breast cancer. Cancer Lett. 2015;356(2):880\u201390.","journal-title":"Cancer Lett"},{"key":"2635_CR7","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/nar\/28.1.27","volume":"28","author":"M Kanehisa","year":"2000","unstructured":"Kanehisa M, Goto SKEGG. Kyoto encyclopedia of genes and genomes. Nucleic Acids Res. 2000;28:27\u201330.","journal-title":"Nucleic Acids Res"},{"issue":"Suppl 1","key":"2635_CR8","first-page":"D674","volume":"37","author":"CF Schaefer","year":"2008","unstructured":"Schaefer CF, Anthony K, Krupa S, Buchoff J, Day M, Hannay T, Buetow KH. PID: the pathway interaction database. Nucleic Acids Res. 2008;37(Suppl 1):D674\u20139.","journal-title":"Nucleic Acids Res"},{"issue":"Suppl 1","key":"2635_CR9","first-page":"D284","volume":"33","author":"H Mi","year":"2005","unstructured":"Mi H, Lazareva-Ulitsky B, Loo R, Kejariwal A, Vandergriff J, Rabkin S, Guo N, Muruganujan A, Doremieux O, Campbell MJ, Kitano H. The PANTHER database of protein families, subfamilies, functions and pathways. Nucleic Acids Res. 2005;33(Suppl 1):D284\u20138.","journal-title":"Nucleic Acids Res"},{"issue":"Suppl 1","key":"2635_CR10","first-page":"D691","volume":"39","author":"D Croft","year":"2010","unstructured":"Croft D, O\u2019Kelly G, Wu G, Haw R, Gillespie M, Matthews L, Caudy M, Garapati P, Gopinath G, Jassal B, Jupe S. Reactome: a database of reactions, pathways and biological processes. Nucleic Acids Res. 2010;39(Suppl 1):D691\u20137.","journal-title":"Nucleic Acids Res"},{"issue":"2","key":"2635_CR11","doi-asserted-by":"publisher","first-page":"e1002375","DOI":"10.1371\/journal.pcbi.1002375","volume":"8","author":"P Khatri","year":"2012","unstructured":"Khatri P, Sirota M, Butte AJ. Ten years of pathway analysis: current approaches and outstanding challenges. PLoS Comput Biol. 2012;8(2):e1002375.","journal-title":"PLoS Comput Biol"},{"issue":"1","key":"2635_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1093\/bioinformatics\/btg382","volume":"20","author":"JJ Goeman","year":"2004","unstructured":"Goeman JJ, Van De Geer SA, De Kort F, Van Houwelingen HC. A global test for groups of genes: testing association with a clinical outcome. Bioinformatics. 2004;20(1):93\u20139.","journal-title":"Bioinformatics"},{"issue":"43","key":"2635_CR13","doi-asserted-by":"publisher","first-page":"15545","DOI":"10.1073\/pnas.0506580102","volume":"102","author":"A Subramanian","year":"2005","unstructured":"Subramanian A, Tamayo P, Mootha VK, Mukherjee S, Ebert BL, Gillette MA, Paulovich A, Pomeroy SL, Golub TR, Lander ES, Mesirov JP. Gene set enrichment analysis: a knowledge-based approach for interpreting genome-wide expression profiles. Proc Natl Acad Sci. 2005;102(43):15545\u201350.","journal-title":"Proc Natl Acad Sci"},{"issue":"1","key":"2635_CR14","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1186\/1471-2105-6-225","volume":"6","author":"J Tomfohr","year":"2005","unstructured":"Tomfohr J, Lu J, Kepler TB. Pathway level analysis of gene expression using singular value decomposition. BMC Bioinformatics. 2005;6(1):225.","journal-title":"BMC Bioinformatics."},{"key":"2635_CR15","doi-asserted-by":"crossref","unstructured":"Efron B, Tibshirani R. On testing the significance of sets of genes. Ann Appl Stat. 2007;1(1):107-29.","DOI":"10.1214\/07-AOAS101"},{"issue":"1","key":"2635_CR16","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1186\/1471-2105-13-136","volume":"13","author":"AL Tarca","year":"2012","unstructured":"Tarca AL, Draghici S, Bhatti G, Romero R. Down-weighting overlapping genes improves gene set analysis. BMC Bioinformatics. 2012;13(1):136.","journal-title":"BMC Bioinformatics."},{"key":"2635_CR17","doi-asserted-by":"publisher","DOI":"10.1038\/srep18871","volume":"6","author":"X Dong","year":"2016","unstructured":"Dong X, Hao Y, Wang X, Tian W. LEGO: a novel method for gene set over-representation analysis by incorporating network-based gene weights. Sci Rep. 2016;6:18871.","journal-title":"Sci Rep"},{"issue":"1","key":"2635_CR18","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1186\/s12859-017-1571-6","volume":"18","author":"C Simillion","year":"2017","unstructured":"Simillion C, Liechti R, Lischer HE, Ioannidis V, Bruggmann R. Avoiding the pitfalls of gene set enrichment analysis with SetRank. BMC Bioinformatics. 2017;18(1):151.","journal-title":"BMC Bioinformatics"},{"issue":"10","key":"2635_CR19","doi-asserted-by":"publisher","first-page":"1537","DOI":"10.1101\/gr.6202607","volume":"17","author":"S Draghici","year":"2007","unstructured":"Draghici S, Khatri P, Tarca AL, Amin K, Done A, Voichita C, Georgescu C, Romero R. A systems biology approach for pathway level analysis. Genome Res. 2007;17(10):1537\u201345.","journal-title":"Genome Res"},{"issue":"1","key":"2635_CR20","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1093\/bioinformatics\/btn577","volume":"25","author":"AL Tarca","year":"2008","unstructured":"Tarca AL, Draghici S, Khatri P, Hassan SS, Mittal P, Kim JS, Kim CJ, Kusanovic JP, Romero R. A novel signaling pathway impact analysis. Bioinformatics. 2008;25(1):75\u201382.","journal-title":"Bioinformatics"},{"issue":"9","key":"2635_CR21","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1093\/bioinformatics\/btq131","volume":"26","author":"E Glaab","year":"2010","unstructured":"Glaab E, Baudot A, Krasnogor N, Valencia A. TopoGSA: network topological gene set analysis. Bioinformatics. 2010;26(9):1271\u20132.","journal-title":"Bioinformatics"},{"issue":"1","key":"2635_CR22","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1186\/1751-0473-7-10","volume":"7","author":"B Dutta","year":"2012","unstructured":"Dutta B, Wallqvist A, Reifman J. PathNet: a tool for pathway analysis using topological information. Source Code Biol Med. 2012;7(1):10.","journal-title":"Source Code Biol Med"},{"issue":"3","key":"2635_CR23","doi-asserted-by":"publisher","first-page":"1425","DOI":"10.1093\/nar\/gks1299","volume":"41","author":"T Judeh","year":"2012","unstructured":"Judeh T, Johnson C, Kumar A, Zhu D. TEAK: topology enrichment analysis framework for detecting activated biological subpathways. Nucleic Acids Res. 2012;41(3):1425\u201337.","journal-title":"Nucleic Acids Res"},{"issue":"5","key":"2635_CR24","doi-asserted-by":"publisher","first-page":"658","DOI":"10.1093\/bioinformatics\/btt008","volume":"29","author":"Z Gu","year":"2013","unstructured":"Gu Z, Wang J. CePa: an R package for finding significant pathways weighted by multiple network centralities. Bioinformatics. 2013;29(5):658\u201360.","journal-title":"Bioinformatics"},{"issue":"11","key":"2635_CR25","doi-asserted-by":"publisher","first-page":"5034","DOI":"10.1093\/nar\/gkw429","volume":"44","author":"B Bokanizad","year":"2016","unstructured":"Bokanizad B, Tagett R, Ansari S, Helmi BH, Draghici S. SPATIAL: a system-level PAThway impact AnaLysis approach. Nucleic Acids Res. 2016;44(11):5034\u201344.","journal-title":"Nucleic Acids Res"},{"issue":"17","key":"2635_CR26","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1186\/s12859-016-1333-x","volume":"17","author":"Q Zhang","year":"2016","unstructured":"Zhang Q, Li J, Xie H, Xue H, Wang Y. A network-based pathway-expanding approach for pathway analysis. BMC Bioinformatics. 2016;17(17):536.","journal-title":"BMC Bioinformatics."},{"key":"2635_CR27","doi-asserted-by":"publisher","first-page":"278","DOI":"10.3389\/fphys.2013.00278","volume":"4","author":"C Mitrea","year":"2013","unstructured":"Mitrea C, Taghavi Z, Bokanizad B, Hanoudi S, Tagett R, Donato M, Voichita C, Draghici S. Methods and approaches in the topology-based analysis of biological pathways. Front Physiol. 2013;4:278.","journal-title":"Front Physiol"},{"key":"2635_CR28","first-page":"16","volume-title":"International symposium on formal methods. Springer, Berlin, Heidelberg","author":"N Bonzanni","year":"2009","unstructured":"Bonzanni N, Feenstra KA, Fokkink W, Krepska E. What can formal methods bring to systems biology? In: International symposium on formal methods. Springer, Berlin, Heidelberg; 2009. p. 16\u201322."},{"issue":"1","key":"2635_CR29","doi-asserted-by":"publisher","first-page":"e1004591","DOI":"10.1371\/journal.pcbi.1004591","volume":"12","author":"E Bartocci","year":"2016","unstructured":"Bartocci E, Li\u00f3 P. Computational modeling, formal analysis, and tools for systems biology. PLoS Comput Biol. 2016;12(1):e1004591.","journal-title":"PLoS Comput Biol"},{"key":"2635_CR30","first-page":"459","volume":"6","author":"A Regev","year":"2001","unstructured":"Regev A, Silverman W, Shapiro E. Representation and simulation of biochemical processes using the pi-calculus process algebra. Pac Symp Biocomput. 2001;6:459\u201370.","journal-title":"Pac Symp Biocomput"},{"key":"2635_CR31","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-642-28067-2_7","volume-title":"Algebraic and Numeric Biology. Springer, Berlin, Heidelberg","author":"H Gong","year":"2012","unstructured":"Gong H, Zuliani P, Komuravelli A, Faeder JR, Clarke EM. Computational modeling and verification of signaling pathways in cancer. In: Algebraic and Numeric Biology. Springer, Berlin, Heidelberg; 2012. p. 117\u201335."},{"issue":"1","key":"2635_CR32","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/TNB.2015.2509475","volume":"15","author":"Z Heidary","year":"2016","unstructured":"Heidary Z, Ghaisari J, Moein S, Naderi M, Gheisari Y. Stochastic petri net modeling of hypoxia pathway predicts a novel incoherent feed-forward loop controlling sdf-1 expression in acute kidney injury. IEEE Trans Nanobioscience. 2016;15(1):19\u201326.","journal-title":"IEEE Trans Nanobioscience"},{"key":"2635_CR33","doi-asserted-by":"crossref","unstructured":"Masoudi-Nejad A, Bidkhori G, Ashtiani SH, Najafi A, Bozorgmehr JH, Wang E. Cancer systems biology and modeling: microscopic scale and multiscale approaches. Semin Cancer Biol. 2015;30:60-9.","DOI":"10.1016\/j.semcancer.2014.03.003"},{"key":"2635_CR34","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-540-88869-7_20","volume-title":"Algorithmic bioprocesses","author":"M Kwiatkowska","year":"2009","unstructured":"Kwiatkowska M, Norman G, Parker D. Quantitative verification techniques for biological processes. In: Algorithmic bioprocesses. Berlin Heidelberg: Springer; 2009. p. 391\u2013409."},{"key":"2635_CR35","first-page":"31","volume-title":"Probabilistic model checking for systems biology. Sriram Iyengar M","author":"M Kwiatkowska","year":"2010","unstructured":"Kwiatkowska M, Norman G, Parker D. Probabilistic model checking for systems biology. Sriram Iyengar M; 2010. p. 31\u201359."},{"key":"2635_CR36","first-page":"441","volume-title":"International conference on tools and algorithms for the construction and analysis of systems","author":"A Hinton","year":"2006","unstructured":"Hinton A, Kwiatkowska M, Norman G, Parker D. PRISM: A tool for automatic verification of probabilistic systems. In: International conference on tools and algorithms for the construction and analysis of systems. Berlin, Heidelberg: Springer; 2006. p. 441\u20134."},{"key":"2635_CR37","unstructured":"PRISM model checker. http:\/\/www.prismmodelchecker.org\/. Accessed 2 May 2018."},{"issue":"1","key":"2635_CR38","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur R, Henzinger TA. Reactive modules. Formal Methods Syst Des. 1999;15(1):7\u201348.","journal-title":"Formal Methods Syst Des"},{"key":"2635_CR39","unstructured":"PRISM Manual. http:\/\/www.prismmodelchecker.org\/manual\/ThePRISMLanguage\/Introduction. Accessed May 2 2018."},{"key":"2635_CR40","unstructured":"PRISM Manual. http:\/\/www.prismmodelchecker.org\/manual\/PropertySpecification\/ThePOperator. Accessed May 2 2018."},{"issue":"1","key":"2635_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2202\/1544-6115.1027","volume":"3","author":"GK Smyth","year":"2004","unstructured":"Smyth GK. Linear models and empirical bayes methods for assessing differential expression in microarray experiments. Stat Appl Genet Mol Biol. 2004;3(1):1\u201325.","journal-title":"Stat Appl Genet Mol Biol"},{"key":"2635_CR42","volume-title":"KEGGdzPathwaysGEO: KEGG Disease Datasets from GEO. R package version 1.16.0","author":"G Bhatti","year":"2012","unstructured":"Bhatti G, Tarca AL. KEGGdzPathwaysGEO: KEGG Disease Datasets from GEO. R package version 1.16.0; 2012."},{"key":"2635_CR43","unstructured":"Bhatti G. KEGGandMetacoreDzPathwaysGEO: Disease Data sets from GEO. R package version 0.112.0. 2014."},{"issue":"7","key":"2635_CR44","doi-asserted-by":"publisher","first-page":"e47","DOI":"10.1093\/nar\/gkv007","volume":"43","author":"ME Ritchie","year":"2015","unstructured":"Ritchie ME, Phipson B, Wu D, Hu Y, Law CW, Shi W, Smyth GK. Limma powers differential expression analyses for RNA-sequencing and microarray studies. Nucleic Acids Res. 2015;43(7):e47.","journal-title":"Nucleic Acids Res"},{"issue":"5","key":"2635_CR45","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10592-005-9056-y","volume":"7","author":"SR Narum","year":"2006","unstructured":"Narum SR. Beyond Bonferroni: less conservative analyses for conservation genetics. Conserv Genet. 2006;7(5):783\u20137.","journal-title":"Conserv Genet"},{"issue":"1","key":"2635_CR46","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1186\/s12859-015-0751-5","volume":"16","author":"M Bayerlov\u00e1","year":"2015","unstructured":"Bayerlov\u00e1 M, Jung K, Kramer F, Klemm F, Bleckmann A, Bei\u00dfbarth T. Comparative study on gene set and pathway topology-based enrichment methods. BMC bioinformatics. 2015;16(1):334.","journal-title":"BMC bioinformatics."},{"issue":"11","key":"2635_CR47","doi-asserted-by":"publisher","first-page":"e79217","DOI":"10.1371\/journal.pone.0079217","volume":"8","author":"AL Tarca","year":"2013","unstructured":"Tarca AL, Bhatti G, Romero R. A comparison of gene set analysis methods in terms of sensitivity, prioritization and specificity. PLoS One. 2013;8(11):e79217.","journal-title":"PLoS One"},{"issue":"7526","key":"2635_CR48","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1038\/nature13772","volume":"515","author":"S De Rubeis","year":"2014","unstructured":"De Rubeis S, He X, Goldberg AP, Poultney CS, Samocha K, Cicek AE, Kou Y, Liu L, Fromer M, Walker S, Singh T. Synaptic, transcriptional and chromatin genes disrupted in autism. Nature. 2014;515(7526):209.","journal-title":"Nature"},{"issue":"3","key":"2635_CR49","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1109\/JPROC.2015.2507119","volume":"105","author":"T Nguyen","year":"2017","unstructured":"Nguyen T, Mitrea C, Tagett R, Draghici S. DANUBE: data-driven meta-ANalysis using UnBiased empirical distributions\u2014applied to biological pathway analysis. Proc IEEE. 2017;105(3):496\u2013515.","journal-title":"Proc IEEE"},{"issue":"s1","key":"2635_CR50","doi-asserted-by":"publisher","first-page":"27s","DOI":"10.1111\/j.1469-445X.2000.tb00005.x","volume":"85","author":"WG North","year":"2000","unstructured":"North WG. Gene regulation of vasopressin and vasopressin receptors in cancer. Exp Physiol. 2000;85(s1):27s\u201340s.","journal-title":"Exp Physiol"},{"issue":"1","key":"2635_CR51","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1159\/000108655","volume":"40","author":"HJ Monstein","year":"2008","unstructured":"Monstein HJ, Truedsson M, Ryberg A, Ohlsson B. Vasopressin receptor mRNA expression in the human gastrointestinal tract. Eur Surg Res. 2008;40(1):34\u201340.","journal-title":"Eur Surg Res"},{"issue":"12","key":"2635_CR52","first-page":"5049","volume":"30","author":"GV Ripoll","year":"2010","unstructured":"Ripoll GV, Garona J, Hermo GA, Gomez DE, Alonso DF. Effects of the synthetic vasopressin analog desmopressin in a mouse model of colon cancer. Anticancer Res. 2010;30(12):5049\u201354.","journal-title":"Anticancer Res"},{"issue":"4","key":"2635_CR53","doi-asserted-by":"publisher","first-page":"722","DOI":"10.3390\/ijms18040722","volume":"18","author":"Y Guo","year":"2017","unstructured":"Guo Y, Bao Y, Ma M, Yang W. Identification of key candidate genes and pathways in colorectal cancer by integrated bioinformatical analysis. Int J Mol Sci. 2017;18(4):722.","journal-title":"Int J Mol Sci"},{"issue":"12","key":"2635_CR54","doi-asserted-by":"publisher","first-page":"1263","DOI":"10.1158\/1541-7786.MCR-07-0267","volume":"5","author":"J Sabates-Bellver","year":"2007","unstructured":"Sabates-Bellver J, Van der Flier LG, de Palo M, Cattaneo E, Maake C, Rehrauer H, Laczko E, Kurowski MA, Bujnicki JM, Menigatti M, Luz J. Transcriptome profile of human colorectal adenomas. Mol Cancer Res. 2007;5(12):1263\u201375.","journal-title":"Mol Cancer Res"},{"issue":"4","key":"2635_CR55","doi-asserted-by":"publisher","first-page":"1503","DOI":"10.3892\/or.2014.3038","volume":"31","author":"Y Zhang","year":"2014","unstructured":"Zhang Y, Jia S, Jiang WG. KIAA1199 and its biological role in human cancer and cancer cells. Oncol Rep. 2014;31(4):1503\u20138.","journal-title":"Oncol Rep"},{"issue":"4","key":"2635_CR56","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1038\/bjc.2011.268","volume":"105","author":"K Birkenkamp-Demtroder","year":"2011","unstructured":"Birkenkamp-Demtroder K, Maghnouj A, Mansilla F, Thorsen K, Andersen CL, \u00d8ster B, Hahn S, \u00d8rntoft TF. Repression of KIAA1199 attenuates Wnt-signalling and decreases the proliferation of colon cancer cells. Br J Cancer. 2011;105(4):552.","journal-title":"Br J Cancer"},{"issue":"2","key":"2635_CR57","doi-asserted-by":"publisher","first-page":"e14727","DOI":"10.1371\/journal.pone.0014727","volume":"6","author":"L Quan","year":"2011","unstructured":"Quan L, Stassen AP, Ruivenkamp CA, van Wezel T, Fijneman RJ, Hutson A, Kakarlapudi N, Hart AA, Demant P. Most lung and colon cancer susceptibility genes are pair-wise linked in mice, humans and rats. PLoS One. 2011;6(2):e14727.","journal-title":"PLoS One"},{"issue":"5","key":"2635_CR58","doi-asserted-by":"publisher","first-page":"2081","DOI":"10.3892\/ol.2014.2485","volume":"8","author":"G Du","year":"2014","unstructured":"Du G, Fang X, Dai W, Zhang R, Liu R, Dang X. Comparative gene expression profiling of normal and human colorectal adenomatous tissues. Oncol Lett. 2014;8(5):2081\u20135.","journal-title":"Oncol Lett"},{"issue":"6","key":"2635_CR59","doi-asserted-by":"publisher","first-page":"989","DOI":"10.1007\/s00262-013-1410-1","volume":"62","author":"RV Muthuswamy","year":"2013","unstructured":"Muthuswamy RV, Sundstr\u00f6m P, B\u00f6rjesson L, Gustavsson B, Quiding-J\u00e4rbrink M. Impaired migration of IgA-secreting cells to colon adenocarcinomas. Cancer Immunol Immunother. 2013;62(6):989\u201397.","journal-title":"Cancer Immunol Immunother"},{"issue":"8","key":"2635_CR60","doi-asserted-by":"publisher","first-page":"e1336593","DOI":"10.1080\/2162402X.2017.1336593","volume":"6","author":"F Mion","year":"2017","unstructured":"Mion F, Vetrano S, Tonon S, Valeri V, Piontini A, Burocchi A, Petti L, Frossi B, Gulino A, Tripodo C, Colombo MP. Reciprocal influence of B cells and tumor macro and microenvironments in the ApcMin\/+ model of colorectal cancer. OncoImmunology. 2017;6(8):e1336593.","journal-title":"OncoImmunology"},{"issue":"3","key":"2635_CR61","doi-asserted-by":"publisher","first-page":"e59410","DOI":"10.1371\/journal.pone.0059410","volume":"8","author":"L Tiberio","year":"2013","unstructured":"Tiberio L, Nascimbeni R, Villanacci V, Casella C, Fra A, Vezzoli V, Furlan L, Meyer G, Parrinello G, Baroni MD, Salerni B. The decrease of mineralcorticoid receptor drives angiogenic pathways in colorectal cancer. PLoS One. 2013;8(3):e59410.","journal-title":"PLoS One"},{"key":"2635_CR62","doi-asserted-by":"publisher","first-page":"469","DOI":"10.3727\/096504001108747477","volume":"12","author":"N Miwa","year":"2001","unstructured":"Miwa N, Furuse M, Tsukita S, Niikawa N, Nakamura Y, Furukawa Y. Involvement of claudin-1 in the \u03b2-catenin\/Tcf signaling pathway and its frequent upregulation in human colorectal cancers. Oncol Res. 2001;12:469\u201376.","journal-title":"Oncol Res"},{"issue":"4","key":"2635_CR63","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1038\/modpathol.3800301","volume":"18","author":"MB Resnick","year":"2005","unstructured":"Resnick MB, Konkin T, Routhier J, Sabo E, Pricolo VE. Claudin-1 is a strong prognostic indicator in stage II colonic cancer: a tissue microarray study. Mod Pathol. 2005;18(4):511.","journal-title":"Mod Pathol"},{"issue":"27","key":"2635_CR64","doi-asserted-by":"publisher","first-page":"6179","DOI":"10.1016\/j.febslet.2005.09.091","volume":"579","author":"SS de Oliveira","year":"2005","unstructured":"de Oliveira SS, de Oliveira IM, De Souza W, Morgado-D\u00edaz JA. Claudins upregulation in human colorectal cancer. FEBS Lett. 2005;579(27):6179\u201385.","journal-title":"FEBS Lett"},{"issue":"1","key":"2635_CR65","first-page":"99","volume":"15","author":"Y Tokuhara","year":"2018","unstructured":"Tokuhara Y, Morinishi T, Matsunaga T, Sakai M, Sakai T, Ohsaki H, Kadota K, Kushida Y, Haba R, Hirakawa E. Nuclear expression of claudin-3 in human colorectal adenocarcinoma cell lines and tissues. Oncol Lett. 2018;15(1):99\u2013108.","journal-title":"Oncol Lett"},{"issue":"1","key":"2635_CR66","doi-asserted-by":"publisher","first-page":"994","DOI":"10.3390\/cancers3010994","volume":"3","author":"T Ozaki","year":"2011","unstructured":"Ozaki T, Nakagawara A. Role of p53 in cell death and human cancers. Cancers. 2011;3(1):994\u20131013.","journal-title":"Cancers"},{"issue":"9","key":"2635_CR67","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1016\/j.biopsych.2007.04.019","volume":"62","author":"L Bennetto","year":"2007","unstructured":"Bennetto L, Kuschner ES, Hyman SL. Olfaction and taste processing in autism. Biol Psychiatry. 2007;62(9):1015\u201321.","journal-title":"Biol Psychiatry"},{"key":"2635_CR68","doi-asserted-by":"crossref","unstructured":"Boudjarane MA, Grandgeorge M, Marianowski R, Misery L, Lemonnier \u00c9. Perception of odors and tastes in autism spectrum disorders: a systematic review of assessments. Autism Res. 2017;10(6):1045-57.","DOI":"10.1002\/aur.1760"},{"issue":"8","key":"2635_CR69","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1007\/s10803-010-0944-8","volume":"40","author":"CL Hilton","year":"2010","unstructured":"Hilton CL, Harper JD, Kueker RH, Lang AR, Abbacchi AM, Todorov A, LaVesser PD. Sensory responsiveness as a predictor of social severity in children with high functioning autism spectrum disorders. J Autism Dev Disord. 2010;40(8):937\u201345.","journal-title":"J Autism Dev Disord"},{"key":"2635_CR70","doi-asserted-by":"crossref","unstructured":"Patel S, Masi A, Dale RC, Whitehouse AJ, Pokorski I, Alvares GA, Hickie IB, Breen E, Guastella AJ. Social impairments in autism spectrum disorder are related to maternal immune history profile. Mol Psychiatry. 2018;23(8):1794-7.","DOI":"10.1038\/mp.2017.201"},{"key":"2635_CR71","doi-asserted-by":"crossref","unstructured":"Pizzarelli R, Cherubini E. Alterations of GABAergic signaling in autism spectrum disorders. Neural Plast. 2011;2011:297153.","DOI":"10.1155\/2011\/297153"},{"issue":"9","key":"2635_CR72","doi-asserted-by":"publisher","first-page":"841","DOI":"10.2174\/0929866524666170822120258","volume":"24","author":"AF Almeida-Santos","year":"2017","unstructured":"Almeida-Santos AF, Kangussu LM, Campagnole-Santos MJ. The renin-angiotensin system and the neurodegenerative diseases: a brief review. Protein Pept Lett. 2017;24(9):841\u201353.","journal-title":"Protein Pept Lett"},{"issue":"4","key":"2635_CR73","doi-asserted-by":"publisher","first-page":"e0153667","DOI":"10.1371\/journal.pone.0153667","volume":"11","author":"N Firouzabadi","year":"2016","unstructured":"Firouzabadi N, Ghazanfari N, Shoushtari AA, Erfani N, Fathi F, Bazrafkan M, Bahramali E. Genetic variants of angiotensin-converting enzyme are linked to autism: a case-control study. PLoS One. 2016;11(4):e0153667.","journal-title":"PLoS One"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-019-2635-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s12859-019-2635-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s12859-019-2635-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T23:14:06Z","timestamp":1694646846000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/s12859-019-2635-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,26]]},"references-count":73,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["2635"],"URL":"https:\/\/doi.org\/10.1186\/s12859-019-2635-6","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,26]]},"assertion":[{"value":"9 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 January 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 February 2019","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":"92"}}