Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques
November 07, 2024
Frontiers in Molecular Biosciences - Volume 11, Article Number 1386930
VacSol-ML(ESKAPE): Machine learning empowering vaccine antigen prediction for ESKAPE pathogens
September 17, 2024
Vaccine - Volume 42, Issue 22 , Article Number 126204
AbAMPdb: a database of Acinetobacter baumannii specific antimicrobial peptides
January 01, 2024
Database : The Journal of Biological Databases and Curation - Volume:2024, Article Number: baae096, Pages: 15
Modelling and analysis of the complement 2 system signalling pathways: Roles of C3, 3 C5a and pro-inflammatory cytokines in 4 SARS-CoV-2 infection
September 20, 2023
PeerJ - Vol:11, Articel Number: e15794
System Level Modeling and Analysis of TNF-α mediated Sphingolipid Signaling Pathway in Neurological Disorders for the Prediction of Therapeutic Targets
August 19, 2022
Frontiers in Physiology - Volume 13
Decoding the Role of Epigenetics in Breast Cancer Using Formal Modeling and Machine-Learning Methods
July 11, 2022
Frontiers in Molecular Biosciences - Volume 9, Article Number 882738
A Map-Based Recommendation System and House Price Prediction Model for Real Estate
March 07, 2022
ISPRS International Journal of Geo-Information - Volume 11, Issue 3, Article Number 178
Reinforcement learning-based radar-evasive path planning: a comparative analysis
March 01, 2022
Aeronautical Journal - Volume 126, Issue 1297, Pages 547-564
Genomic Investigation of Methicillin-Resistant Staphylococcus aureus ST113 Strains Isolated from Tertiary Care Hospitals in Pakistan
September 17, 2021
Antibiotics-Basel - Volume 10(9), Article Number 1121
Biological Regulatory Network (BRN) Analysis and Molecular Docking Simulations to Probe the Modulation of IP3R Mediated Ca2+ Signaling in Cancer
December 29, 2020
Genes - Volume 12(1), Article Number 34
Formal model of the interplay between TGF-β1 and MMP-9 and their dynamics in hepatocellular carcinoma
April 16, 2019
Mathematical Bio sciences and Engineering - Volume 16, Issue 5, Pages 3285–3310
Parameter estimation of qualitative biological regulatory networks on high performance computing hardware
December 29, 2018
BMC Systems Biology - Volume 12, Article Number 146
Multicore and GPU based Pupillometry using Parabolic and Elliptic Hough Transform
September 01, 2017
International Journal of Mechanical Engineering and Robotics Research - NULL
Formal modeling of mTOR Associated biological regulatory network reveals novel therapeutic strategy for the treatment of cancer
June 13, 2017
Frontiers in Physiology - Volume: 8, Article Number 416
Formal modeling and analysis of the hexosamine biosynthetic pathway: role of O-linked N-acetylglucosamine transferase in oncogenesis and cancer progression
September 27, 2016
PeerJ - Volume 4, Article Number e2348
On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train station
August 09, 2016
Complex Adaptive Systems Modeling - Vol.4, No.1, Pages 1-33
On the modelling and analysis of the regulatory network of dengue virus pathogenesis and clearance
December 01, 2014
Computational Biology and Chemistry - Volume: 53 Pages: 277-291 Part: B