Nadeem Akhtar

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 42

Top Topics

Machine Learning

State Estimation

Formal Verification

Cellular Networks

Top Venues

Publications

Nadia Khan, Muhammad Nauman, Ahmad S. Almadhor, Nadeem Akhtar, Abdullah Alghuried, Adi Alhudhaif
Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making. IEEE Access 12 (2024)
Nadeem Salamat, Malik Muhammad Saad Missen, Nadeem Akhtar, Muhammad Mustahsan, V. B. Surya Prasath
Color image restoration by filtering methods: a review. Soft Comput. 28 (13-14) (2024)
Jagrati Kulshrestha, Nadeem Akhtar, Preyas Hathi, Mukulika Maity
LFTA: Legacy Friendly Traffic Allocation Strategy for Multi-Link Operation in WiFi7. COMSNETS (2024)
Ambreen Sarwar, Muhammad Kashif Imran, Nadeem Akhtar, Tehreem Fatima
Does social media usage boost career prospects of women: an exploratory study in the academia. Kybernetes 52 (6) (2023)
Fatima Hussain, Muhammad Nauman, Abdullah Alghuried, Adi Alhudhaif, Nadeem Akhtar
Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare. IEEE Access 11 (2023)
Rishabh Roy, Rajshekhar Vishweshwar Bhat, Preyas Hathi, Nadeem Akhtar, Naveen Mysore Balasubramanya
Maximization of Timely Throughput with Target Wake Time in IEEE 802.11ax. CoRR (2023)
Govind Rajendran, Rishabh Roy, Preyas Hathi, Nadeem Akhtar, Samar Agnihotri
Performance Evaluation of Video Streaming Applications with Target Wake Time in Wi-Fi 6. CoRR (2023)
Govind Rajendran, Rishabh Roy, Preyas Hathi, Nadeem Akhtar, Samar Agnihotri
Performance Evaluation of Video Streaming Applications with Target Wake Time in Wi-Fi 6. COMSNETS (2023)
Siddharth Dhama, Nadeem Akhtar, Preyas Hathi, Samar Agnihotri
Downlink SNR Estimation of Wi-Fi Clients using Machine Learning. COMSNETS (2023)
Rishabh Roy, Rajshekhar Vishweshwar Bhat, Preyas Hathi, Nadeem Akhtar, Naveen Mysore Balasubramanya
Maximization of Timely Throughput with Target Wake Time in IEEE 802.11ax. ICC (2023)
Sheela C. S, Joy Kuri, Nadeem Akhtar
Performance Analysis of Channel-Dependent Rate Adaptation for OFDMA transmission in IEEE 802.11ax WLANs. COMSNETS (2022)
Neil Dalal, Nadeem Akhtar, Anubhav Gupta, Nikhil Karamchandani, Gaurav S. Kasbekar, Jatin Parekh
A Wireless Intrusion Detection System for 802.11 WPA3 Networks. COMSNETS (2022)
Sarthak Joshi, Rishabh Roy, Rajshekhar V. Bhat, Preyas Hathi, Nadeem Akhtar
Dynamic Distributed Threshold Control for Spatial Reuse in IEEE 802.11ax. NCC (2022)
Muhammad Nauman, Nadeem Akhtar, Adi Alhudhaif, Abdulrahman Alothaim
Guaranteeing Correctness of Machine Learning Based Decision Making at Higher Educational Institutions. IEEE Access 9 (2021)
Neil Dalal, Nadeem Akhtar, Anubhav Gupta, Nikhil Karamchandani, Gaurav S. Kasbekar, Jatin Parekh
A Wireless Intrusion Detection System for 802.11 WPA3 Networks. CoRR (2021)
Malik Muhammad Saad Missen, Aqsa Naeem, Hina Asmat, Nadeem Salamat, Nadeem Akhtar, Mickaël Coustaty, V. B. Surya Prasath
Improving seller-customer communication process using word embeddings. J. Ambient Intell. Humaniz. Comput. 12 (2) (2021)
Mujtaba Husnain, Malik Muhammad Saad Missen, Nadeem Akhtar, Mickaël Coustaty, Shahzad Mumtaz, V. B. Surya Prasath
A systematic study on the role of SentiWordNet in opinion mining. Frontiers Comput. Sci. 15 (4) (2021)
Ayushneel Titus, Rajat Bansal, T. V. Sreejith, Arzad Alam Kherani, Nadeem Akhtar
Decision Problems for Joint Transmission in Multi-AP Coordination Framework of IEEE 802.11be. COMSNETS (2021)
Irfan Ullah Khan, Nida Aslam, Talha Anwar, Sumayh S. Aljameel, Mohib Ullah, Rafiullah Khan, Abdul Rehman, Nadeem Akhtar
Remote Diagnosis and Triaging Model for Skin Cancer Using EfficientNet and Extreme Gradient Boosting. Complex. 2021 (2021)
Laxmi Thakare, Ruchi Dohare, Nadeem Akhtar
P-Tracer: Proximity Detection for Contact Tracing. COMSNETS (2021)
Muhammad Nauman, Nadeem Akhtar, Omar Hussain Alhazmi, Mustafa Hameed, Habib Ullah, Nadia Khan
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets. IEEE Access 9 (2021)
Abdul Rehman, Nadeem Akhtar, Omar Hussain Alhazmi
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems. Sci. Program. 2021 (2021)
Malik Muhammad Saad Missen, Sajeeha Qureshi, Nadeem Salamat, Nadeem Akhtar, Hina Asmat, Mickaël Coustaty, V. B. Surya Prasath
Scientometric analysis of social science and science disciplines in a developing nation: a case study of Pakistan in the last decade. Scientometrics 123 (1) (2020)
Mohammed Attik, Malik Muhammad Saad Missen, Mickaël Coustaty, Gyu Sang Choi, Fahd Saleh Alotaibi, Nadeem Akhtar, Muhammad Zeeshan Jhandir, V. B. Surya Prasath, Nadeem Salamat, Mujtaba Husnain
Correction: OpinionML - Opinion Markup Language for Sentiment Representation. Symmetry 2019, 11, 545. Symmetry 12 (2) (2020)
Dost Muhammad Khan, Talal Aslam, Nadeem Akhtar, Salman Qadri, Imran Mujaddid Rabbani, Muhammad Aslam
Black Hole Attack Prevention in Mobile Ad-hoc Network (MANET) using Ant Colony Optimization Technique. Inf. Technol. Control. 49 (3) (2020)
Md. Muzakkir Hussain, Mohammad Saad Alam, M. M. Sufyan Beg, Nadeem Akhtar
Towards minimizing delay and energy consumption in vehicular fog computing (VFC). J. Intell. Fuzzy Syst. 38 (5) (2020)
Nadeem Akhtar, M. M. Sufyan Beg, Md. Muzakkir Hussain
Extractive multi-document summarization using relative redundancy and coherence scores. J. Intell. Fuzzy Syst. 38 (5) (2020)
Muhammad Inamullah, Bhaskaran Raman, Nadeem Akhtar
Will My Packet Reach On Time?: Deadline-Based Uplink OFDMA Scheduling in 802.11ax WLANs. MSWiM (2020)
Nadeem Akhtar, U. Ragavendran
Interpretation of intelligence in CNN-pooling processes: a methodological survey. Neural Comput. Appl. 32 (3) (2020)
Sadaf Zahid Mahmood, Humaira Afzal, Muhammad Rafiq Mufti, Nadeem Akhtar, Asad Habib, Shahid Hussain
A Novel Method of Image Denoising: New Variant of Block Matching and 3D. J. Medical Imaging Health Informatics 10 (10) (2020)
Saban Öztürk, Rehan Ahmad, Nadeem Akhtar
Variants of Artificial Bee Colony algorithm and its applications in medical image processing. Appl. Soft Comput. 97 (Part) (2020)
Nadeem Akhtar, M. M. Sufyan Beg, Hira Javed
TextRank enhanced Topic Model for Query focussed Text Summarization. IC3 (2019)
Mohammed Attik, Malik Muhammad Saad Missen, Mickaël Coustaty, Gyu Sang Choi, Fahd Saleh Alotaibi, Nadeem Akhtar, Muhammad Zeeshan Jhandir, V. B. Surya Prasath, Nadeem Salamat, Mujtaba Husnain
OpinionML - Opinion Markup Language for Sentiment Representation. Symmetry 11 (4) (2019)
Nadeem Akhtar, M. M. Sufyan Beg, Hira Javed
Topic Modelling with Fuzzy Document Representation. ICACDS (2) (2019)
Nadeem Akhtar, Saima Khan
Formal architecture and verification of a smart flood monitoring system-of-systems. Int. Arab J. Inf. Technol. 16 (2) (2019)
Nadeem Akhtar, M. M. Sufyan Beg
User graph topic model. J. Intell. Fuzzy Syst. 36 (3) (2019)
Subhan Tariq, Nadeem Akhtar, Humaira Afzal, Shehzad Khalid, Muhammad Rafiq Mufti, Shahid Hussain, Asad Habib, Ghufran Ahmad
A Novel Co-Training-Based Approach for the Classification of Mental Illnesses Using Social Media Posts. IEEE Access 7 (2019)
Nadeem Akhtar, Abdul Rehman, Mujtaba Hussnain, Saad Rohail, Malik Muhammad Saad Missen, Mehwish Nasir, Alina Hayder, Nadeem Salamat, Maruf Pasha
Hierarchical Coloured Petri-Net Based Multi-Agent System for Flood Monitoring, Prediction, and Rescue (FMPR). IEEE Access 7 (2019)
Nadeem Akhtar, Bushra Siddique
Hierarchical visualization of sport events using Twitter. J. Intell. Fuzzy Syst. 32 (4) (2017)
Nadeem Akhtar, Malik Muhammad Saad Missen
Contribution to the Formal Specification and Verification of a Multi-Agent Robotic System. CoRR (2016)
Gareth Tyson, John Bigham, Eliane L. Bodanese, Nadeem Akhtar, Pradipta Biswas, Pat Langdon, Vineet Mimrot, Pratyay Mukhopadhyay, Vinay J. Ribeiro
Designing an adaptive emergency warning system for heterogeneous environments. PIMRC (2016)
Pravjyot Singh Deogun, Mahima Mehta, Abhay Karandikar, Nadeem Akhtar
Trajectory based mobility state estimation for heterogeneous cellular networks. WCNC (2016)
Mahima Mehta, Nadeem Akhtar, Abhay Karandikar
Impact of HandOver parameters on mobility performance in LTE HetNets. NCC (2015)
Shashi Ranjan, Pravjyot Singh Deogun, Mahima Mehta, Punit Rathod, Nadeem Akhtar, Abhay Karandikar
A self-configured vertical handover algorithm for LTE and WLAN interworking. NCC (2015)
Pravjyot Singh Deogun, Shashi Ranjan, Punit Rathod, Abhay Karandikar, Nadeem Akhtar
Energy efficient IEEE 802.11 WLAN discovery for heterogeneous 3GPP LTE network. WCNC (2015)
Nadeem Akhtar
Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDY. CoRR (2015)
Shubhada Gadgil, Shashi Ranjan, Divya Joshi, Mahima Mehta, Nadeem Akhtar, Abhay Karandikar
Performance evaluation and viability of IFOM in heterogeneous LTE - WLAN network. WCNC (2015)
Vaishakh Janardhanan, Nishad Muhammed, Venkatarao Gonuguntla, Nadeem Akhtar
LTE - Wi-Fi coexistence in 5 GHz band. IEEE ANTS (2015)
Mahima Mehta, Nadeem Akhtar, Abhay Karandikar
Enhanced Mobility State Estimation in LTE HetNets. NCC (2015)
Nadeem Akhtar, Aisha Shafique Ghori, Nadeem Salamat
Requirement analysis, Architectural design and Formal verification of a multi-agent based University Information Management System. CoRR (2015)
Nadeem Akhtar, Anique Akhtar
KitRobot: A multi-platform graphical programming IDE to program mini-robotic agents. CoRR (2015)
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal requirement and architecture specifications of a multi-agent robotic system. CoRR (2015)
Nadeem Akhtar, Nishi Agarwal, Armita Burjwal
K-mean algorithm for Image Segmentation using Neutrosophy. ICACCI (2014)
Venkatarao Gonuguntla, Ram Garg, Sayee C. Kompalli, Nadeem Akhtar
SRS-based user proximity detection in LTE small cells. NCC (2014)
Shashi Ranjan, Nadeem Akhtar, Mahima Mehta, Abhay Karandikar
User-based integrated offloading approach for 3GPP LTE-WLAN network. NCC (2014)
Shahzad Alam, S. M. Zakariya, Nadeem Akhtar
Analysis of modified triple - A steganography technique using Fisher Yates algorithm. HIS (2014)
S. Naga Sekhar Kshatriya, Sivakishore Reddy Yerrapareddy, Nadeem Akhtar, J. Klutto Milleth
A novel power control scheme for macro-pico heterogeneous networks with biased association. ICC Workshops (2013)
S. Naga Sekhar Kshatriya, Sunil Kaimalettu, Sivakishore Reddy Yerrapareddy, J. Klutto Milleth, Nadeem Akhtar
On interference management based on subframe blanking in Heterogeneous LTE networks. COMSNETS (2013)
Umar Manzoor, Naveed Ejaz, Nadeem Akhtar, Muhammad Umar, M. Shoaib Khan, Hafsa Umar
Ontology based image retrieval. ICITST (2012)
Karthik Srinivasan, Poorva Agrawal, Rajat Arya, Nadeem Akhtar, Deepak Pengoria, Timothy A. Gonsalves
Context-Aware, QoE-Driven Adaptation of Multimedia Services. MOBILWARE (2012)
Sunil Kaimalettu, Rajet Krishnan, Sheetal Kalyani, Nadeem Akhtar, Bhaskar Ramamurthi
Cognitive Interference Management in Heterogeneous Femto-Macro Cell Networks. ICC (2011)
Faraz Khan, Nadeem Akhtar, Mohammed A. Qadeer
RFID Enhancement in Road Traffic Analysis by Augmenting Reciever with TelegraphCQ. WKDD (2009)
Mohammed A. Qadeer, Nadeem Akhtar, Faraz Khan
Comparison of Tools for Data Mining and Retrieval in High Volume Data Stream. WKDD (2009)
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART (2009)
Nadeem Akhtar, Klaus Moessner
On the nominal capacity of multi-radio multi-channel wireless mesh networks. Comput. Commun. 31 (8) (2008)
Nadeem Akhtar, Klaus Moessner
Capacity of grid-oriented wireless mesh networks. COMSWARE (2008)
Nadeem Akhtar, Jan Markendahl, Klaus Moessner
Analysis of Complexity and Transaction Costs for Cooperating Networks. PIMRC (2007)
Nadeem Akhtar, Jan Markendahl, Olav Queseth
Analysis of Signaling Load and Negotiation Complexity using Network Composition in Multi-Provider Business Environments. CTTE (2007)
Michael Georgiades, Nadeem Akhtar, Christos Politis, Rahim Tafazolli
Enhancing mobility management protocols to minimise AAA impact on handoff performance. Comput. Commun. 30 (3) (2007)
Zhaojun Li, Nadeem Akhtar, Rahim Tafazolli
Seamless IP Multimedia Service Continuity Support in Inter-worked UMTS and WLAN. PIMRC (2007)
Di Zhou, Yaning Wang, Nadeem Akhtar, Klaus Moessner, Daniel Migault
Map of Relaying Messages (MORM) an approach of message distribution enabling Network Advertisement and Discovery. DRCN (2007)
Pirabakaran Navaratnam, Nadeem Akhtar, Rahim Tafazolli
On the performance of DCCP in wireless mesh networks. MOBIWAC (2006)
Nadeem Akhtar, Rui Campos, Cornelia Kappler, Pekka Pääkkönen, Petteri Pöyhönen, Di Zhou
GANS: A Signalling Framework for Dynamic Interworking Between Heterogeneous Networks. VTC Fall (2006)
Pekka Pääkkönen, Nadeem Akhtar, Rui Campos, Cornelia Kappler, Petteri Pöyhönen, Di Zhou
Scalability of Name Resolution for Ambient Networks. WWIC (2006)
Dan He, Nadeem Akhtar, Rahim Tafazolli, Anne-Louise Burness, Philip Eardley
On-line Packet Loss Rate Estimation. PIMRC (2005)
Nadeem Akhtar, Klaus Moessner, Ralf Kernchen
Context Dissemination for Autonomic Communication Systems. WAC (2005)
Christos Politis, Kar Ann Chew, Nadeem Akhtar, Michael Georgiades, Rahim Tafazolli, Tasos Dagiuklas
Hybrid multilayer mobility management with AAA context transfer capabilities for all-IP networks. IEEE Wirel. Commun. 11 (4) (2004)