Login / Signup
Abdul Rehman
ORCID
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Hierarchical Classification
Skin Cancer
Automated Verification
Reactive Systems
Top Venues
Complex.
Sci. Program.
IEEE Access
</>
Publications
</>
Irfan Ullah Khan
,
Nida Aslam
,
Talha Anwar
,
Sumayh S. Aljameel
,
Mohib Ullah
,
Rafiullah Khan
,
Abdul Rehman
,
Nadeem Akhtar
Remote Diagnosis and Triaging Model for Skin Cancer Using EfficientNet and Extreme Gradient Boosting.
Complex.
2021 (2021)
Abdul Rehman
,
Nadeem Akhtar
,
Omar Hussain Alhazmi
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems.
Sci. Program.
2021 (2021)
Nadeem Akhtar
,
Abdul Rehman
,
Mujtaba Hussnain
,
Saad Rohail
,
Malik Muhammad Saad Missen
,
Mehwish Nasir
,
Alina Hayder
,
Nadeem Salamat
,
Maruf Pasha
Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR).
IEEE Access
7 (2019)