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, MS Shahbaz khan, MJ Ali, A Hussain, G Qaiser, M Pasha, ...
Journal of Food Quality 2020, 1-8, 2020
772020
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
692019
Sentiment based twitter spam detection
N Perveen, MMS Missen, Q Rasool, N Akhtar
International Journal of Advanced Computer Science and Applications 7 (7), 2016
242016
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
242014
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
24*2010
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
202020
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
192019
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
142020
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
14*2019
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
122021
OpinionML—Opinion markup language for sentiment representation
M Attik, MMS Missen, M Coustaty, GS Choi, FS Alotaibi, N Akhtar, ...
Symmetry 11 (4), 545, 2019
112019
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
102021
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
92009
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
82019
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 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
72018
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
62017
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
62012
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
The system can't perform the operation now. Try again later.
Articles 1–20