Follow
Dr. Nadeem Akhtar
Dr. Nadeem Akhtar
Associate Professor, The Islamia University of Bahawalpur, Pakistan - IRISA UBS - France
Verified email at iub.edu.pk - Homepage
Title
Cited by
Cited by
Year
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
322020
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
292019
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
202014
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
20*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
192016
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
112019
OpinionML—Opinion markup language for sentiment representation
M Attik, MMS Missen, M Coustaty, GS Choi, FS Alotaibi, N Akhtar, ...
Symmetry 11 (4), 545, 2019
102019
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
92020
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
82016
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
82009
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
72020
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
6*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
62018
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
52019
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
52014
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
42021
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
42014
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
42012
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
3*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
32015
The system can't perform the operation now. Try again later.
Articles 1–20