IoT for development of smart dairy farming MO Akbar, MS Shahbaz khan, MJ Ali, A Hussain, G Qaiser, M Pasha, ... Journal of Food Quality 2020, 1-8, 2020 | 81 | 2020 |
A novel co-training-based approach for the classification of mental illnesses using social media posts S Tariq, N Akhtar, H Afzal, S Khalid, MR Mufti, S Hussain, A Habib, ... Ieee Access 7, 166165-166172, 2019 | 72 | 2019 |
Sentiment based twitter spam detection N Perveen, MMS Missen, Q Rasool, N Akhtar International Journal of Advanced Computer Science and Applications 7 (7), 2016 | 26 | 2016 |
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System N Akhtar, MMS Missen European Journal of Scientific Research - ISSN 1450-216X 117 (1), 35-55, 2014 | 25 | 2014 |
Contribution to the formal specification and verification of multi-agent robotic systems N AKHTAR Ph.D. thesis, Laboratory VALORIA of Computer Science, University of South …, 2010 | 25* | 2010 |
Hierarchical Coloured Petri-Net based Multi-agent system for Flood Monitoring, Prediction, and Rescue (FMPR) N AKHTAR, A REHMAN, M HUSSNAIN, S ROHAIL, N SALAMAT, ... IEEE Access 7 (1), 180544-180557, 2019 | 21 | 2019 |
Scientometric analysis of social science and science disciplines in a developing nation: a case study of Pakistan in the last decade MMS Missen, S Qureshi, N Salamat, N Akhtar, H Asmat, M Coustaty, ... Scientometrics 123, 113-142, 2020 | 20 | 2020 |
Classification of canola seed varieties based on multi-feature analysis using computer vision approach S Qadri, S Furqan Qadri, A Razzaq, M Ul Rehman, N Ahmad, SA Nawaz, ... International Journal of Food Properties 24 (1), 493-504, 2021 | 15 | 2021 |
A Systematic Study on the Role of SentiWordNet in Opinion Mining VBSP Mujtaba HUSNAIN, Malik Muhammad Saad MISSEN, Nadeem AKHTAR, Mickaël ... Frontiers of Computer Science, ISSN 2095-2228, 1-26, 2019 | 15* | 2019 |
Black hole attack prevention in mobile ad-hoc network (MANET) using ant colony optimization technique DM Khan, T Aslam, N Akhtar, S Qadri, IM Rabbani, M Aslam Information Technology and Control 49 (3), 308-319, 2020 | 14 | 2020 |
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 | 12 | 2021 |
OpinionML—Opinion markup language for sentiment representation M Attik, MMS Missen, M Coustaty, GS Choi, FS Alotaibi, N Akhtar, ... Symmetry 11 (4), 545, 2019 | 11 | 2019 |
Formal Specification and Verification of Multi-Agent Robotics Software Systems-A Case Study. N Akhtar, Y Le Guyadec, F Oquendo Proceedings of the First International Conference on Agents and Artificial …, 2009 | 9 | 2009 |
Analyzing covid-19 impact on the researchers productivity through their perceptions MA S. J. Shoukat, H. Afzal, M. R. Mufti, M. K. Sohail, D. M. Khan, Nadeem ... Computers, Materials & Continua - ISSN: 1546-2218 (print). ISSN: 1546-2226 …, 2021 | 8* | 2021 |
Formal Architecture and Verification of a Smart Flood Monitoring System-of-Systems N Akhtar, S Khan The International Arab Journal of Information Technology (IAJIT) - http …, 2019 | 8 | 2019 |
Role Based Multi-Agent System for E-Learning (MASeL) M Hameed, N Akhtar, MS Missen INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 7 (3 …, 2016 | 8 | 2016 |
Formal verification of safety and liveness properties using coloured petri-nets: a flood monitoring, warning, and rescue system N Akhtar, A Rehman, DM Khan Journal of Information Communication Technologies and Robotic Applications …, 2018 | 7 | 2018 |
Pattern of head injury and recovery in first and second rider in motor bike accidents Y Shehzad, A Arshad, N Akhter Journal of Rawalpindi Medical College 21 (1), 2017 | 6 | 2017 |
Formal requirement and architecture specifications of a multi-agent robotic system N Akhtar, YL Guyadec, F Oquendo Journal of Computing - ISSN 2151-9617 4 (4), 75-80, 2012 | 6 | 2012 |
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY N Akhtar Computer Engineering and Intelligent Systems – IISTE 5 (03), 01-16, 2014 | 5 | 2014 |