Formal modeling and analysis of the mal-associated biological regulatory network: insight into cerebral malaria

J Ahmad, U Niazi, S Mansoor, U Siddique, J Bibby - PloS one, 2012 - journals.plos.org
… by using the modeling and analysis tools for the MAL associated BRN (Figure 2). The first
subsection describes the results obtained by the qualitative modeling and analysis of the BRN …

[PDF][PDF] Formal Modeling and Analysis of the MAL-Associated Biological Regulatory Network: Insight

J Ahmad, U Niazi, S Mansoor, U Siddique, J Bibby - 2012 - academia.edu
modeling and analysis tools for the MAL associated BRN (Figure 2). The first subsection
describes the results obtained by the qualitative modeling and analysismodeling and analysis

Formal modeling and analysis of ER-α associated Biological Regulatory Network in breast cancer

S Khalid, R Hanif, SHK Tareen, A Siddiqa, Z Bibi… - PeerJ, 2016 - peerj.com
study the complex regulatory networks. The computational modeling formalisms provide the
dynamical insights … In this study, we take this opportunity to study the dynamics of the IGF-1R …

Formal modeling of mTOR associated biological regulatory network reveals novel therapeutic strategy for the treatment of cancer

Z Bibi, J Ahmad, A Siddiqa, RZ Paracha… - Frontiers in …, 2017 - frontiersin.org
… deeper insights into the prevalence of cancer. Mechanistic Target of Rapamycin (mTOR) is
implicated as the central regulator … Therefore, the current study is designed to understand the …

Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression

MT Saeed, J Ahmad, S Kanwal, AN Holowatyj… - PeerJ, 2016 - peerj.com
… We compare the important insight gained through computational modeling to show that
results are in agreement with previous studies. Together, our findings suggest that the OGT and c…

[HTML][HTML] Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques

HMF Azhar, MT Saeed, I Jabeen - Frontiers in Molecular …, 2024 - pmc.ncbi.nlm.nih.gov
… Centrality analysis is a highly important method for identifying crucial aspects and characteristics
of complex biological regulation networks. This technique provides insights into the key …

Formal modeling and analysis of the MAL-associated biological regulatory network: insight into cerebral malaria.

JA Jamil Ahmad, UN Umar Niazi, SM Sajid Mansoor… - 2012 - cabidigitallibrary.org
modeling formalism of René Thomas is a well known approach for the modeling and analysis
of Biological Regulatory Networks (… of the BRN under study. These parameters are initially …

[PDF][PDF] Modelling and simulation of biological regulatory networks by stochastic Petri nets

IA Sheikh, J Ahmad, MT Saeed - Proc. of the World Congress on …, 2016 - iaeng.org
… levels of various genes and hence insight in the dynamical behaviour of … modeling
approach have been used to model behavior of several biological networks including MALassociated

[PDF][PDF] A parallel approach for accelerated parameter identification of Gene Regulatory Networks.

T Saeed, J Ahmad - IWBBIO, 2014 - academia.edu
… , but also to gain insight into regulatory mechanisms by finding answers to biological questions
[6]. … of our implementation, we apply it on MALassociated regulatory network [9]. In this …

Incorporating time delays in process hitting framework for dynamical modeling of large biological regulatory networks

IA Sheikh, J Ahmad, M Magnin, O Roux - Frontiers in Physiology, 2019 - frontiersin.org
… of expressions are important parameters in biological regulation. Constraints on time delays
provide insight into the dynamical behavior of a Biological Regulatory Network (BRN). A …