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 | 10 | 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 (02), 43, 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 |
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 | | 2023 |
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 | | |