Herbert Rausch Fernandes

According to our database¹, Herbert Rausch Fernandes authored at least 2 papers between 2020 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235.

[BibT_eX]

[DOI]

Sci. Comput. Program., January, 2024

2020

Statistical Model Checking in Drug Repurposing for Alzheimer's Disease.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020