Statistical Model Checking in Drug Repurposing for Alzheimer's Disease

[1]  M. Eberlin,et al.  Profiles of Steroid Hormones in Canine X-Linked Muscular Dystrophy via Stable Isotope Dilution LC-MS/MS , 2015, PloS one.

[2]  Thawfeek M. Varusai,et al.  Dynamic modelling of the mTOR signalling network reveals complex emergent behaviours conferred by DEPTOR , 2018, Scientific Reports.

[3]  Vivek K. Bajpai,et al.  Antioxidant efficacy and the upregulation of Nrf2-mediated HO-1 expression by (+)-lariciresinol, a lignan isolated from Rubia philippinensis, through the activation of p38 , 2017, Scientific Reports.

[4]  Marian Gheorghe,et al.  Automatic selection of verification tools for efficient analysis of biochemical models , 2018, Bioinform..

[5]  David M. Sabatini,et al.  mTOR Signaling in Growth, Metabolism, and Disease , 2017, Cell.

[6]  A. Sonntag,et al.  A Dynamic Network Model of mTOR Signaling Reveals TSC-Independent mTORC2 Regulation , 2012, Science Signaling.

[7]  M. Kashyap,et al.  Neuroprotection Through Rapamycin-Induced Activation of Autophagy and PI3K/Akt1/mTOR/CREB Signaling Against Amyloid-β-Induced Oxidative Stress, Synaptic/Neurotransmission Dysfunction, and Neurodegeneration in Adult Rats , 2016, Molecular Neurobiology.

[8]  Jayanta Debnath,et al.  Inhibition of mTOR by Rapamycin Abolishes Cognitive Deficits and Reduces Amyloid-β Levels in a Mouse Model of Alzheimer's Disease , 2010, PloS one.

[9]  Håkan L. S. Younes,et al.  Verification and planning for stochastic processes with asynchronous events , 2004 .

[10]  J. Swann,et al.  Loss of mTOR repressors Tsc1 or Pten has divergent effects on excitatory and inhibitory synaptic transmission in single hippocampal neuron cultures , 2014, Front. Mol. Neurosci..

[11]  Sabina Rossi,et al.  A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs , 2018, ACM Trans. Model. Comput. Simul..

[12]  M. Dorvash,et al.  Dynamic Modeling of Signal Transduction by mTOR Complexes in Cancer. , 2019, Journal of theoretical biology.

[13]  B. Kee,et al.  Incidence and Course of Depression in Patients with Alzheimer's Disease , 2017, Psychiatry investigation.

[14]  B. Fiebich,et al.  NVP-BEZ235 (Dactolisib) Has Protective Effects in a Transgenic Mouse Model of Alzheimer’s Disease , 2019, Front. Pharmacol..

[15]  Antonio Alfredo Ferreira Loureiro,et al.  Intelligent service to perform overtaking in vehicular networks , 2015, 2015 IEEE Symposium on Computers and Communication (ISCC).

[16]  Guido Kroemer,et al.  Autophagy in the Pathogenesis of Disease , 2008, Cell.

[17]  X. Qiao,et al.  Rapamycin decreases tau phosphorylation at Ser214 through regulation of cAMP-dependent kinase , 2013, Neurochemistry International.

[18]  P. Spearman,et al.  CAML Does Not Modulate Tetherin-Mediated Restriction of HIV-1 Particle Release , 2010, PloS one.

[19]  R. Siman,et al.  The mTOR Inhibitor Rapamycin Mitigates Perforant Pathway Neurodegeneration and Synapse Loss in a Mouse Model of Early-Stage Alzheimer-Type Tauopathy , 2015, PloS one.

[20]  Wei Zhang,et al.  Rapamycin rescues vascular, metabolic and learning deficits in apolipoprotein E4 transgenic mice with pre-symptomatic Alzheimer’s disease , 2015, Journal of cerebral blood flow and metabolism : official journal of the International Society of Cerebral Blood Flow and Metabolism.

[21]  Shinya Kuroda,et al.  Temporal coding of insulin action through multiplexing of the AKT pathway. , 2012, Molecular cell.

[22]  Gerardo Iñiguez,et al.  Threshold driven contagion on weighted networks , 2017, Scientific Reports.

[23]  S. Ferreira,et al.  Brain Inflammation Connects Cognitive and Non-Cognitive Symptoms in Alzheimer's Disease. , 2018, Journal of Alzheimer's disease : JAD.

[24]  Marta Z. Kwiatkowska,et al.  Stochastic Model Checking , 2007, SFM.

[25]  J. Jhamandas,et al.  Neuronal receptors as targets for the action of amyloid-beta protein (Aβ) in the brain , 2012, Expert Reviews in Molecular Medicine.

[26]  Kim G. Larsen,et al.  Uppaal SMC tutorial , 2015, International Journal on Software Tools for Technology Transfer.

[27]  Susana Vinga,et al.  A Survey on Methods for Modeling and Analyzing Integrated Biological Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[28]  G. Pazour,et al.  Ror2 signaling regulates Golgi structure and transport through IFT20 for tumor invasiveness , 2017, Scientific Reports.

[29]  P. Molinoff,et al.  Basic Neurochemistry: Molecular, Cellular and Medical Aspects , 1989 .

[30]  Gul A. Agha,et al.  A Survey of Statistical Model Checking , 2018, ACM Trans. Model. Comput. Simul..

[31]  L. Kappos,et al.  Rapamycin Attenuates the Progression of Tau Pathology in P301S Tau Transgenic Mice , 2013, PloS one.

[32]  Kenneth L. McMillan,et al.  A methodology for hardware verification using compositional model checking , 2000, Sci. Comput. Program..

[33]  Clare Dixon,et al.  Analysing robot swarm behaviour via probabilistic model checking , 2012, Robotics Auton. Syst..

[34]  H. Tanila,et al.  Altered Insulin Signaling in Alzheimer’s Disease Brain – Special Emphasis on PI3K-Akt Pathway , 2019, Front. Neurosci..

[35]  B. Strooper,et al.  The secretases: enzymes with therapeutic potential in Alzheimer disease , 2010, Nature Reviews Neurology.

[36]  Kim G. Larsen,et al.  Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic , 2012, LPAR.

[37]  Avner Friedman,et al.  Mathematical model on Alzheimer’s disease , 2016, BMC Systems Biology.

[38]  A. M. Rodrigues,et al.  Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels , 2018, Royal Society Open Science.

[39]  Paolo Zuliani,et al.  Statistical model checking for biological applications , 2014, International Journal on Software Tools for Technology Transfer.

[40]  Edmund M. Clarke,et al.  Model Checking of a Diabetes-Cancer Model , 2011 .

[41]  Carole J Proctor,et al.  GSK3 and p53 - is there a link in Alzheimer's disease? , 2010, Molecular Neurodegeneration.

[42]  N. Novère.  Quantitative and logic modelling of molecular and gene networks , 2015, Nature Reviews Genetics.

[43]  Pei-yan Shan,et al.  Subacute Combined Degeneration, Pernicious Anemia and Gastric Neuroendocrine Tumor Occured Simultaneously Caused by Autoimmune Gastritis , 2019, Front. Neurosci..

[44]  Alessandra Cambi,et al.  The Tetraspanin CD37 Orchestrates the α4β1 Integrin–Akt Signaling Axis and Supports Long-Lived Plasma Cell Survival , 2012, Science Signaling.

[45]  M. Boerries,et al.  Understanding the mTOR signaling pathway via mathematical modeling , 2017, Wiley interdisciplinary reviews. Systems biology and medicine.

[46]  Sérgio Vale Aguiar Campos,et al.  Computing quantitative characteristics of finite-state real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[47]  J. Bown,et al.  Kinetic modelling of in vitro data of PI3K, mTOR1, PTEN enzymes and on‐target inhibitors Rapamycin, BEZ235, and LY294002 , 2017, European journal of pharmaceutical sciences : official journal of the European Federation for Pharmaceutical Sciences.

[48]  Sang Gyun Kim,et al.  Rapamycin: one drug, many effects. , 2014, Cell metabolism.

[49]  Paco Martorell,et al.  Monetary costs of dementia in the United States. , 2013, The New England journal of medicine.

[50]  Sérgio Vale Aguiar Campos,et al.  Symbolic Techniques for Formally Verifying Industrial Systems , 1997, Sci. Comput. Program..

[51]  K.-H. Renner,et al.  Humor in the elderly with dementia: Development and initial validation of a behavioral observation system , 2019, Current Psychology.

[52]  Jörg Bormann,et al.  Model Checking in Industrial Hardware Design , 1995, 32nd Design Automation Conference.

[53]  N LeNovère.  Quantitative and logic modelling of molecular and gene networks. , 2015 .

[54]  Qinsi Wang,et al.  Formal Methods for Biological Systems: Languages, Algorithms, and Applications , 2016 .

[55]  Fabian Kiessling,et al.  Evaluation of Riboflavin Transporters as Targets for Drug Delivery and Theranostics , 2019, Front. Pharmacol..

[56]  E. Candelario-Jalil,et al.  Neuroprotective effects of the anticancer drug NVP-BEZ235 (dactolisib) on amyloid-β 1–42 induced neurotoxicity and memory impairment , 2016, Scientific Reports.

[57]  David Heras-Sandoval,et al.  The role of PI3K/AKT/mTOR pathway in the modulation of autophagy and the clearance of protein aggregates in neurodegeneration. , 2014, Cellular signalling.

[58]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[59]  Kim G. Larsen,et al.  Statistical Model Checking for Networks of Priced Timed Automata , 2011, FORMATS.

[60]  D. Christensen.  Alzheimer's Disease: Progress in the Development of Anti-amyloid Disease-Modifying Therapies , 2007, CNS Spectrums.

[61]  E. Sousa,et al.  Old Drugs as New Treatments for Neurodegenerative Diseases , 2018, Pharmaceuticals.

[62]  J. Buxbaum,et al.  Extensive proteomic screening identifies the obesity-related NYGGF4 protein as a novel LRP1-interactor, showing reduced expression in early Alzheimer's disease , 2010, Molecular Neurodegeneration.

[63]  J. Power,et al.  Alzheimer’s Disease and Cancer: When Two Monsters Cannot Be Together , 2019, Front. Neurosci..

[64]  C. Masters,et al.  A systemic view of Alzheimer disease — insights from amyloid-β metabolism beyond the brain , 2017, Nature Reviews Neurology.