Delays in Biological Regulatory Networks (BRN). - Jamil Ahmad 002; Adrien Richard; Gilles Bernot; Jean-Paul Comet; Olivier F. Roux (International Conference on Computational Science (2), 2006)

Invariance Kernel of Biological Regulatory Networks. - Jamil Ahmad 002; Olivier F. Roux (BIBM, 2008)

Analysing formal models of genetic regulatory networks with delays. - Jamil Ahmad 002; Olivier F. Roux; Gilles Bernot; Jean-Paul Comet; Adrien Richard (Int. J. Bioinform. Res. Appl., 2008)

Temporal constraints of a gene regulatory network: Refining a qualitative simulation. - Jamil Ahmad 002; Jérémie Bourdon; Damien Eveillard; Jonathan Fromentin; Olivier F. Roux; Christine Sinoquet (Biosyst., 2009)

Formal Modeling and Analysis of Biological Regulatory Networks Using SPIN. - Usman Rauf; Umair Siddique; Jamil Ahmad 002; Umar Khan Niazi (BIBM, 2011)

Discrete modelling of p53-Mdm2 feedback loop. - Jamil Ahmad 002; Umar Khan Niazi; Syeda Uzma Ali (GrC, 2011)

Qualitative modeling and analysis of the indoleamine 2, 3-dioxygenase regulatory network in homeostasis and disease. - Kashif Asghar; Jamil Ahmad 002; Javaria Ashraf; Amjad Ali 001; Hussnain Ahmed Janjua; Sheeba Murad (FSKD, 2014)

Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool. - Muhammad Abdul Basit Ur Rahim; Fahim Arif; Jamil Ahmad 002 (ICCSA (5), 2014)

A parallel approach for accelerated parameter identification of Gene Regulatory Networks. - Tariq Saeed; Jamil Ahmad 002 (IWBBIO, 2014)

On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance. - Babar Aslam; Jamil Ahmad 002; Amjad Ali 001; Rehan Zafar Paracha; Samar Hayat Khan Tareen; Umar Khan Niazi; Tariq Saeed (Comput. Biol. Chem., 2014)

Insilico study of anti-carcinogenic lysyl oxidase-like 2 inhibitors. - Syed Aun Muhammad; Amjad Ali 001; Tariq Ismail; Rehan Zafar Paracha; Umair Ilyas; Jamil Ahmad 002 (Comput. Biol. Chem., 2014)

Structural evaluation of BTK and PKCδ mediated phosphorylation of MAL at positions Tyr86 and Tyr106. - Rehan Zafar Paracha; Amjad Ali 001; Jamil Ahmad 002; Riaz Hussain; Umar Khan Niazi; Syed Aun Muhammad (Comput. Biol. Chem., 2014)

Real Time Modeling of Interlocking Control System of Rawalpindi Cantt Train Yard. - Umar Khan; Jamil Ahmad 002; Tariq Saeed; Sikandar Hayat Mirza (FIT, 2015)

Structural characterization of ANGPTL8 (betatrophin) with its interacting partner lipoprotein lipase. - Amnah Siddiqa; Jamil Ahmad 002; Amjad Ali 001; Rehan Zafar Paracha; Zurah Bibi; Babar Aslam (Comput. Biol. Chem., 2016)

On the modeling and analysis of the biological regulatory network of NF- ({ kappa } )B activation in HIV-1 infection. - Zurah Bibi; Jamil Ahmad 002; Amjad Ali 001; Amnah Siddiqa; Shaheen Shahzad; Samar H. K. Tareen; Hussnain Ahmed Janjua; Shah Khusro (Complex Adapt. Syst. Model., 2016)

On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station. - Umar Khan; Jamil Ahmad 002; Tariq Saeed; Sikandar Hayat Mirza (Complex Adapt. Syst. Model., 2016)

Multivariate Covariance using Principal Component Analysis for Reconstruction of Bidirected Gene Regulatory Networks. - Mehrosh Khalid; Sharifullah Khan; Jamil Ahmad 002; Muhammad Shaheryar (FIT, 2017)

Modeling and analysis of the signaling crosstalk of PI3K, AMPK and MAPK with Timed Hybrid Petri Nets approach. - Zurah Bibi; Jamil Ahmad 002; Rehan Zafar Paracha; Amnah Siddiqa (ICCSA (7), 2017)

VacSol: a high throughput in silico pipeline to predict potential therapeutic targets in prokaryotic pathogens using subtractive reverse vaccinology. - Muhammad Rizwan; Anam Naz; Jamil Ahmad 002; Kanwal Naz; Ayesha Obaid; Tamsila Parveen; Muhammad Ahsan; Amjad Ali 001 (BMC Bioinform., 2017)

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. - Ayesha Obaid; Anam Naz; Shifa Tariq Ashraf; Faryal Mehwish Awan; Aqsa Ikram; Muhammad Tariq Saeed; Abida Raza; Jamil Ahmad 002; Amjad Ali 001 (ICCSA (4), 2018)

On the Use of Betweenness Centrality for Selection of Plausible Trajectories in Qualitative Biological Regulatory Networks. - Muhammad Tariq Saeed; Jamil Ahmad 002; Amjad Ali 001 (IWBBIO (1), 2018)

Parameter estimation of qualitative biological regulatory networks on high performance computing hardware. - Muhammad Tariq Saeed; Jamil Ahmad 002; Jan Baumbach; Josch Pauling; Aamir Shafi; Rehan Zafar Paracha; Asad Hayat; Amjad Ali 001 (BMC Syst. Biol., 2018)

Analyzing the Behavior of Neuronal Pathways in Alzheimer's Disease Using Petri Net Modeling Approach. - Javaria Ashraf; Jamil Ahmad 002; Amjad Ali 001; Zaheer-ul-Haq (Frontiers Neuroinformatics, 2018)

3D Structure Determination and Validation of mTORC2 using Computational Modeling Techniques. - Zurah Bibi; Jamil Ahmad 002; Rehan Zafar Paracha; Amnah Siddiqa (ICCSA (7), 2019)

Deciphering the Role of PKC in Calpain-CAST System Through Formal Modeling Approach. - Javaria Ashraf; Jamil Ahmad 002; Zaheer-ul-Haq (IWBBIO (1), 2019)

Computational modeling and analysis of the impacts of sleep deprivation on glucose stimulated insulin secretion. - Hufsah Ashraf; Jamil Ahmad 002; Azka Hassan; Amjad Ali 001 (Biosyst., 2019)

PanRV: Pangenome-reverse vaccinology approach for identifications of potential vaccine candidates in microbial pangenome. - Kanwal Naz; Anam Naz; Shifa Tariq Ashraf; Muhammad Rizwan; Jamil Ahmad 002; Jan Baumbach; Amjad Ali 001 (BMC Bioinform., 2019)

TetraMail: a usable email client for blind people. - Akif Khan; Shah Khusro; Badam Niazi; Jamil Ahmad 002; Iftikhar Alam; Inayat Khan (Univers. Access Inf. Soc., 2020)

A Static Analysis of Wnt/β-Catenin and Wnt/Ca2+ Biological Regulatory Networks for ARVC Using Automata Network Model. - Nazia Azim; Nadeem Iqbal 002; Jamil Ahmad 002; Mukhtaj Khan; Amnah Siddiqa; Javaria Ashraf; Abbas Khan; Dong-Qing Wei (IEEE Access, 2021)

Deciphering the Role of Circadian Clock in Inflammatory Response and Immune Disorders Using Model Checking and Petri Nets. - Hafeez Ur Rahman; Jamil Ahmad 002; Ainur Akhmediyarova; Dina Oralbekova; Orken Mamyrbayev (IEEE Access, 2024)

Challenges and solutions in the development of blockchain applications: Extraction from SLR and empirical study. - Maria Nabi; Muhammad Ilyas 002; Jamil Ahmad 002 (J. Softw. Evol. Process., 2024)

A novel hybrid method for the registration of deformable medical images using common subregions. - Fakhre Alam; Sami Ur Rahman; Jamil Ahmad 002 (Multim. Tools Appl., 2025)