Nadeem Akhtar - Publications, H-index & Citations

Nadeem Akhtar

Islamia University of Bahawalpur

21H指数

216论文数

2.0K被引数

收录论文 15

发表时间

Formal Modeling with Verification of Smart Courtroom Building System (SMCBS) Using UML and TLA plus Specification 使用UML和TLA plus规范对智能法庭建筑系统(SMCBS)进行形式化建模与验证

International Journal on Smart Sensing and Intelligent Systems

IF0.4

2026-01-01

OAAI

Ahmad, Shahbaz; Akhtar, Nadeem; Ahmad, Adeel; Abdulla, Saima; Iftikhar, Saman

Towards robust electronic health record systems: integrating formal verification and process modeling techniques 迈向稳健的电子健康记录系统：整合形式化验证与过程建模技术

BMC Medical Research Methodology

IF3.4

2025-09-29

OAAI

Saba Khan; Nadeem Akhtar; Muhammad Faheem Mushtaq; Nagwan Abdel Samee; Noha F. Mahmoud; Imran Ashraf

Explainable AI-driven depression detection from social media using natural language processing and black box machine learning models 基于自然语言处理和黑箱机器学习模型的可解释AI驱动的社交媒体抑郁检测

Frontiers in Artificial Intelligence

IF4.7

2025-09-21

OAAI

Sidra Hameed†; Muhammad Nauman; Nadeem Akhtar; Muhammad A. B. Fayyaz; Raheel Nawaz

An Ensemble Formal Approach to Improve Energy Efficiency and Data Aggregation in Smart Agriculture

IEEE ACCESS

IF3.6

2025-01-01

OAAI

Ahmad, Shahbaz; Akhtar, Nadeem; Ahmed, Adeel; Iftikhar, Saman; Bawazeer, Shaikhan; Abdullah, Saima

Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making 保证黑盒机器学习的正确性: 可解释的AI和医疗保健决策的形式化方法的融合

IEEE ACCESS

IF3.6

2024-01-01

OAAI

Khan, Nadia; Nauman, Muhammad; Almadhor, Ahmad S.; Akhtar, Nadeem; Alghuried, Abdullah; Alhudhaif, Adi

Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare 利用大数据分析增强医疗保健领域的临床决策

IEEE ACCESS

IF3.6

2023-01-01

OAAI

Hussain, Fatima; Nauman, Muhammad; Alghuried, Abdullah; Alhudhaif, Adi; Akhtar, Nadeem

A systematic study on the role of SentiWordNet in opinion mining SentiWordNet在意见挖掘中作用的系统研究

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2021-06-05

PREAI

Husnain, Mujtaba; Missen, Malik Muhammad Saad; Akhtar, Nadeem; Coustaty, Mickael; Mumtaz, Shahzad; Prasath, V. B. Surya

Classification of canola seed varieties based on multi-feature analysis using computer vision approach

INTERNATIONAL JOURNAL OF FOOD PROPERTIES

IF3.9

2021-03-25

OAAI

Qadri, Salman; Furqan Qadri, Syed; Razzaq, Abdul; Ul Rehman, Muzammil; Ahmad, Nazir; Nawaz, Syed Ali; Saher, Najia; Akhtar, Nadeem; Khan, Dost Muhammad

Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Nauman, Muhammad; Akhtar, Nadeem; Alhazmi, Omar H.; Hameed, Mustafa; Ullah, Habib; Khan, Nadia

Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Nauman, Muhammad; Akhtar, Nadeem; Alhudhaif, Adi; Alothaim, Abdulrahman

Scientometric analysis of social science and science disciplines in a developing nation: a case study of Pakistan in the last decade

SCIENTOMETRICS

IF3.5

2020-03-07

PREAI

Missen, Malik Muhammad Saad; Qureshi, Sajeeha; Salamat, Nadeem; Akhtar, Nadeem; Asmat, Hina; Coustaty, Mickael; Prasath, V. B. Surya

Leader β-cells coordinate Ca2+ dynamics across pancreatic islets in vivo

NATURE METABOLISM

IF20.8

2019-06-14

129

OAAI

Salem, Victoria; Silva, Luis Delgadillo; Suba, Kinga; Georgiadou, Eleni; Gharavy, S. Neda Mousavy; Akhtar, Nadeem; Martin-Alonso, Aldara; Gaboriau, David C. A.; Rothery, Stephen M.; Stylianides, Theodoros; Carrat, Gaelle; Pullen, Timothy J.; Singh, Sumeet Pal; Hodson, David J.; Leclerc, Isabelle; Shapiro, A. M. James; Marchetti, Piero; Briant, Linford J. B.; Distaso, Walter; Ninov, Nikolay; Rutter, Guy A.

A Novel Co-Training-Based Approach for the Classification of Mental Illnesses Using Social Media Posts

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Tariq, Subhan; Akhtar, Nadeem; Afzal, Humaira; Khalid, Shahzad; Mufti, Muhammad Rafiq; Hussain, Shahid; Habib, Asad; Ahmad, Ghufran

Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR)

IEEE ACCESS

IF3.6

2019-01-01

OAAI

Akhtar, Nadeem; Rehman, Abdul; Hussnain, Mujtaba; Rohail, Saad; Missen, Malik Saad; Nasir, Mehwish; Hayder, Alina; Salamat, Nadeem; Pasha, Maruf