Muhammad Tariq Saeed

Formal Modeling of the Key Determinants of Hepatitis C Virus (HCV) Induced Adaptive Immune Response Network: An Integrative Approach to Map the Cellular and Cytokine-Mediated Host Immune Regulations

Jamil Ahmad, Amjad Ali, Ayesha Obaid, 2018, ICCSA.

Formal Modelling and Analysis of the role of Hexosamine Biosynthetic Pathway in Cancer: Exploiting Parallelism in Qualitative Biological Regulatory Networks

Muhammad Tariq Saeed, M. T. Saeed, 2018 .

On the Use of Betweenness Centrality for Selection of Plausible Trajectories in Qualitative Biological Regulatory Networks

Jamil Ahmad, Amjad Ali, Muhammad Tariq Saeed, 2018, IWBBIO.

Parameter estimation of qualitative biological regulatory networks on high performance computing hardware

Jamil Ahmad, Aamir Shafi, Amjad Ali, 2018, BMC Systems Biology.

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

Aamir Shafi, Amjad Ali, Amnah Siddiqa, 2016, PeerJ.