Login / Signup
Eman Abdelaziz Mahmoud
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Protein Folding
Model Checker
Decision Rules
Formal Verification
Top Venues
Theory Biosci.
</>
Publications
</>
Eman Abdelaziz Mahmoud
,
Mostafa Herajy
,
Ibrahim E. Ziedan
,
Hazem I. Shehata
Formal verification confirms the role of p53 protein in cell fate decision mechanism.
Theory Biosci.
142 (1) (2023)