| Guaranteeing correctness of machine learning based decision making at higher educational institutions M Nauman, N Akhtar, A Alhudhaif, A Alothaim IEEE access 9, 92864-92880, 2021 | 24 | 2021 |
| Guaranteeing correctness in Black-Box Machine Learning: A Fusion of Explainable AI and formal methods for Healthcare decision-making N Khan, M Nauman, AS Almadhor, N Akhtar, A Alghuried, A Alhudhaif IEEE Access, 2024 | 11 | 2024 |
| Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare F Hussain, M Nauman, A Alghuried, A Alhudhaif, N Akhtar IEEE Access 11, 127817-127836, 2023 | 8 | 2023 |
| Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets M. Nauman, N. Akhtar, O. H. Alhazmi, M. Hameed, H. Ullah, N. Khan IEEE Access 9, 143434-143447, 2021 | 4 | 2021 |
| Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study N Akhtar, M Nauman Journal of Software Engineering and Applications 8 (2), 43-50, 2015 | 3 | 2015 |
| Harnessing coloured petri nets to enhance machine learning: A simulation-based method for healthcare and beyond AP Andressa C.M. da Silveira, Álvaro Sobrinho, Leandro Dias da Silva, Danilo ... Simulation Modelling Practice and Theory, 2025 | | 2025 |
| The Role of Big Data Analytics in Revolutionizing Diabetes Management and Healthcare Decision-Making M Nauman, AS Almadhor, M Albekairi, AR Ansari, MAB Fayyaz, R Nawaz IEEE Access, 2025 | | 2025 |
| EXTREMISM CLASSIFICATION BASED ON TWITTER TEXT USING ENSEMBLE LEARNING M SABIR, DM KHAN, F SHAHZAD, M NAUMAN, A ALI Journal of Tianjin University Science and Technology 55 (9), 2022 | | 2022 |
| Formal Specification and Verification of an Internet Marketing System Using Timed-Automata Based Uppaal N Akhtar, M Nauman | | |
Dr. Nadeem AkhtarAssociate Professor, Department of IT, PUCIT, University of the Punjab, Lahoreایمیل تأیید شده در pucit.edu.pk