Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR). - Nadeem Akhtar; Abdul Rehman 004; Mujtaba Hussnain; Saad Rohail; Malik Muhammad Saad Missen; Mehwish Nasir; Alina Hayder; Nadeem Salamat; Maruf Pasha (IEEE Access, 2019)

Remote Diagnosis and Triaging Model for Skin Cancer Using EfficientNet and Extreme Gradient Boosting. - Irfan Ullah Khan 002; Nida Aslam; Talha Anwar; Sumayh S. Aljameel; Mohib Ullah; Rafiullah Khan; Abdul Rehman 004; Nadeem Akhtar (Complex., 2021)

Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems. - Abdul Rehman 004; Nadeem Akhtar; Omar Hussain Alhazmi (Sci. Program., 2021)