|IoT for development of smart dairy farming|
MO Akbar, MJ Ali, A Hussain, G Qaiser, M Pasha, U Pasha, MS Missen, ...
Journal of Food Quality 2020, 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
|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
|Contribution to the formal specification and verification of multi-agent robotic systems|
Ph.D. thesis, Laboratory VALORIA of Computer Science, University of South†…, 2010
|Sentiment based twitter spam detection|
N Perveen, MMS Missen, Q Rasool, N Akhtar
International Journal of Advanced Computer Science and Applications 7 (7), 2016
|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
|OpinionML—Opinion markup language for sentiment representation|
M Attik, MMS Missen, M Coustaty, GS Choi, FS Alotaibi, N Akhtar, ...
Symmetry 11 (4), 545, 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 (1), 113-142, 2020
|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
|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
|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
|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
|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
|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
|Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY|
Computer Engineering and Intelligent Systems – IISTE 5 (03), 01-16, 2014
|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
|Practical application of a light-weight formal implementation for specifying a multi-agent robotic system|
N Akhtar, MMS Missen
International Journal of Computer Science Issues (IJCSI) - ISSN: 1694-0814†…, 2014
|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
|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
|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