Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235
Authors:
- Herbert Rausch FernandesHFHerbert Rausch Fernandes
- Giovanni Freitas GomesGGGiovanni Freitas Gomes
- Antonio Carlos Pinheiro de OliveiraAOAntonio Carlos Pinheiro de Oliveira
- Sérgio Vale Aguiar CamposSCSérgio Vale Aguiar Campos
- 6 September 2023
- journal article
- research article
- Published by Elsevier in Science of Computer Programming
- Vol. 232
Abstract
No abstract availableKeywords
Funding Information
- Fundação de Amparo à Pesquisa do Estado de Minas Gerais
- Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
- Conselho Nacional de Desenvolvimento Científico e Tecnológico
This publication has 32 references indexed in Scilit:
- Rapamycin Attenuates the Progression of Tau Pathology in P301S Tau Transgenic MicePLOS ONE, 2013
- Rapamycin decreases tau phosphorylation at Ser214 through regulation of cAMP-dependent kinaseNeurochemistry International, 2013
- Temporal Coding of Insulin Action through Multiplexing of the AKT PathwayMolecular Cell, 2012
- Analysing robot swarm behaviour via probabilistic model checkingRobotics and Autonomous Systems, 2012
- Neuronal receptors as targets for the action of amyloid-beta protein (Aβ) in the brainExpert Reviews in Molecular Medicine, 2012
- GSK3 and p53 - is there a link in Alzheimer's disease?Molecular Neurodegeneration, 2010
- NVP-BEZ235, a novel dual phosphatidylinositol 3-kinase/mammalian target of rapamycin inhibitor, elicits multifaceted antitumor activities in human gliomasMolecular Cancer Therapeutics, 2009
- Systems biology in drug discoveryNature Biotechnology, 2004
- Symbolic techniques for formally verifying industrial systemsScience of Computer Programming, 1997
- A theory of timed automataTheoretical Computer Science, 1994