| 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 | 13 | 2021 |
| 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 | 3 | 2023 |
| 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 |
| 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 | 1 | 2021 |
| 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, The Islamia University of Bahawalpur, Pakistan - IRISA UBS - France在 iub.edu.pk 的电子邮件经过验证
