Nadeem Akhtar
Orcid: 0000-0003-2475-5590
According to our database1,
Nadeem Akhtar
authored at least 74 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making.
IEEE Access, 2024
Proceedings of the 16th International Conference on COMmunication Systems & NETworkS, 2024
2023
Does social media usage boost career prospects of women: an exploratory study in the academia.
Kybernetes, 2023
IEEE Access, 2023
Proceedings of the IEEE International Conference on Communications, 2023
Performance Evaluation of Video Streaming Applications with Target Wake Time in Wi-Fi 6.
Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023
Proceedings of the 15th International Conference on COMmunication Systems & NETworkS, 2023
2022
Proceedings of the 27th National Conference on Communications, 2022
Performance Analysis of Channel-Dependent Rate Adaptation for OFDMA transmission in IEEE 802.11ax WLANs.
Proceedings of the 14th International Conference on COMmunication Systems & NETworkS, 2022
Proceedings of the 14th International Conference on COMmunication Systems & NETworkS, 2022
2021
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems.
Sci. Program., 2021
J. Ambient Intell. Humaniz. Comput., 2021
Frontiers Comput. Sci., 2021
Remote Diagnosis and Triaging Model for Skin Cancer Using EfficientNet and Extreme Gradient Boosting.
Complex., 2021
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets.
IEEE Access, 2021
Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions.
IEEE Access, 2021
Decision Problems for Joint Transmission in Multi-AP Coordination Framework of IEEE 802.11be.
Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021
Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021
2020
Correction: OpinionML - Opinion Markup Language for Sentiment Representation. Symmetry 2019, 11, 545.
Symmetry, 2020
Scientometric analysis of social science and science disciplines in a developing nation: a case study of Pakistan in the last decade.
Scientometrics, 2020
Neural Comput. Appl., 2020
J. Medical Imaging Health Informatics, 2020
J. Intell. Fuzzy Syst., 2020
Extractive multi-document summarization using relative redundancy and coherence scores.
J. Intell. Fuzzy Syst., 2020
Black Hole Attack Prevention in Mobile Ad-hoc Network (MANET) using Ant Colony Optimization Technique.
Inf. Technol. Control., 2020
Variants of Artificial Bee Colony algorithm and its applications in medical image processing.
Appl. Soft Comput., 2020
Will My Packet Reach On Time?: Deadline-Based Uplink OFDMA Scheduling in 802.11ax WLANs.
Proceedings of the MSWiM '20: 23rd International ACM Conference on Modeling, 2020
2019
Int. Arab J. Inf. Technol., 2019
A Novel Co-Training-Based Approach for the Classification of Mental Illnesses Using Social Media Posts.
IEEE Access, 2019
Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR).
IEEE Access, 2019
Proceedings of the Advances in Computing and Data Sciences, 2019
Proceedings of the 2019 Twelfth International Conference on Contemporary Computing, 2019
2017
J. Intell. Fuzzy Syst., 2017
2016
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System.
CoRR, 2016
Proceedings of the IEEE Wireless Communications and Networking Conference, 2016
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016
2015
Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System.
CoRR, 2015
CoRR, 2015
CoRR, 2015
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY.
CoRR, 2015
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015
Proceedings of the 2015 IEEE Wireless Communications and Networking Conference, 2015
Proceedings of the Twenty First National Conference on Communications, 2015
Proceedings of the Twenty First National Conference on Communications, 2015
Proceedings of the Twenty First National Conference on Communications, 2015
Proceedings of the 2015 IEEE International Conference on Advanced Networks and Telecommuncations Systems, 2015
2014
Proceedings of the Twentieth National Conference on Communications, 2014
Proceedings of the Twentieth National Conference on Communications, 2014
Proceedings of the 2014 International Conference on Advances in Computing, 2014
Analysis of modified triple - A steganography technique using Fisher Yates algorithm.
Proceedings of the 14th International Conference on Hybrid Intelligent Systems, 2014
2013
A novel power control scheme for macro-pico heterogeneous networks with biased association.
Proceedings of the IEEE International Conference on Communications, 2013
Proceedings of the Fifth International Conference on Communication Systems and Networks, 2013
2012
Proceedings of the Mobile Wireless Middleware, Operating Systems, and Applications, 2012
Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012
2011
Proceedings of IEEE International Conference on Communications, 2011
2009
Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, 2009
Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, 2009
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
2008
Comput. Commun., 2008
Proceedings of the Third International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2008), 2008
2007
Enhancing mobility management protocols to minimise AAA impact on handoff performance.
Comput. Commun., 2007
Proceedings of the IEEE 18th International Symposium on Personal, 2007
Proceedings of the IEEE 18th International Symposium on Personal, 2007
Map of Relaying Messages (MORM) an approach of message distribution enabling Network Advertisement and Discovery.
Proceedings of the 6th International Workshop on Design and Reliable Communication Networks, 2007
Analysis of Signaling Load and Negotiation Complexity using Network Composition in Multi-Provider Business Environments.
Proceedings of the 6th Conference on Telecommunication Techno-Economics, 2007
2006
Proceedings of the Handbook of Mobile Middleware., 2006
Proceedings of the Wired/Wireless Internet Communications, 4th International Conference, 2006
GANS: A Signalling Framework for Dynamic Interworking Between Heterogeneous Networks.
Proceedings of the 64th IEEE Vehicular Technology Conference, 2006
Proceedings of the Forth ACM International Workshop on Mobility Management & Wireless Access, 2006
2005
Proceedings of the Autonomic Communication, Second International IFIP Workshop, 2005
Proceedings of the IEEE 16th International Symposium on Personal, 2005
2004
Hybrid multilayer mobility management with AAA context transfer capabilities for all-IP networks.
IEEE Wirel. Commun., 2004