Statistical Model Checking no reposionamento de fármacos na Doença de Alzheimer - Herbert Rausch Fernandes (2012)

Statistical Model Checking in Drug Repurposing for Alzheimer's Disease. - Herbert Rausch Fernandes; Giovanni Freitas Gomes; Antonio Carlos Pinheiro de Oliveira; Sérgio Vale Aguiar Campos (SBMF, 2020)

Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. - Herbert Rausch Fernandes; Giovanni Freitas Gomes; Antonio Carlos Pinheiro de Oliveira; Sérgio Vale Aguiar Campos (Sci. Comput. Program., 2024)