Login / Signup
Herbert Rausch Fernandes
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 2
Top Topics
Pspace Complete
Probabilistic Knowledge
Model Checking
Formal Models
Top Venues
Sci. Comput. Program.
SBMF
</>
Publications
</>
Herbert Rausch Fernandes
,
Giovanni Freitas Gomes
,
Antonio Carlos Pinheiro de Oliveira
,
Sérgio Vale Aguiar Campos
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235.
Sci. Comput. Program.
232 (2024)
Herbert Rausch Fernandes
,
Giovanni Freitas Gomes
,
Antonio Carlos Pinheiro de Oliveira
,
Sérgio Vale Aguiar Campos
Statistical Model Checking in Drug Repurposing for Alzheimer's Disease.
SBMF
(2020)