Verifying Mutual Exclusion and Liveness Properties with Split Preconditions. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (J. Comput. Sci. Technol., 2004)

Adding the leads-to operator to Dijkstra's calculus. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (ACM SIGPLAN Notices, 2004)

Specifying Mobile Network using a wp-like Formal Approach. - Awadhesh Kumar Singh; Umesh Ghanekar; Anup Kumar Bandyopadhyay (Rev. Colomb. de Computación, 2005)

A Randomized Approach to Bound Jayanti's Mutual Exclusion Algorithm. - Awadhesh Kumar Singh (ICETET, 2008)

An Index-Based Mobile Checkpointing and Recovery Algorithm. - Awadhesh Kumar Singh; Rohit Bhat; Anshul Kumar (ICDCN, 2009)

A Hierarchical Approach to Handle Group Mutual Exclusion Problem in Distributed Systems. - Abhishek Swaroop; Awadhesh Kumar Singh (ICDCN, 2009)

Impulse Noise Removal from Color Images Using Adaptive Neuro-fuzzy Impulse Detector. - Umesh Ghanekar; Awadhesh Kumar Singh; Rajoo Pandey (IC3 (1), 2010)

Specifying Fault-Tolerance Using Split Precondition Logic. - Awadhesh Kumar Singh; Anup Kumar Bandyopadhyay (ICDCN, 2010)

A Token-Based Solution to the Group Mutual l-Exclusion Problem in Message Passing Distributed Systems. - Abhishek Swaroop; Awadhesh Kumar Singh (ICDCN, 2010)

An Improved Quorum-Based Algorithm for Extended GME Problem in Distributed Systems. - Abhishek Swaroop; Awadhesh Kumar Singh (J. Inf. Sci. Eng., 2010)

A Contrast Enhancement-Based Filter for Removal of Random Valued Impulse Noise. - Umesh Ghanekar; Awadhesh Kumar Singh; Rajoo Pandey (IEEE Signal Process. Lett., 2010)

Efficient fault tolerant consensus using preemptive token. - Poonam Saini; Awadhesh Kumar Singh (ACAI, 2011)

DMX in MANETs: major research trends since 2004. - Bharti Sharma; Rabinder Singh Bhatia; Awadhesh Kumar Singh (ACAI, 2011)

Trivial solution for a non-trivial problem in MANETs. - Awadhesh Kumar Singh; Shantanu Sharma 001 (ACAI, 2011)

An Agreement Protocol to Handle Byzantine Failures in Authenticated Hierarchical Configuration. - Poonam Saini; Awadhesh Kumar Singh (ADCONS, 2011)

Message efficient leader finding algorithm for mobile ad hoc networks. - Awadhesh Kumar Singh; Shantanu Sharma 001 (COMSNETS, 2011)

On the Potential of Ricart-Agrawala Algorithm in Mobile Computing Environments. - Bharti Sharma; Rabinder Singh Bhatia; Awadhesh Kumar Singh (HPAGC, 2011)

Democratic Leader Finding Algorithm for Large Mobile Ad Hoc Networks. - Shantanu Sharma 001; Awadhesh Kumar Singh (ICDCS Workshops, 2011)

Elite Leader Finding Algorithm for MANETs. - Awadhesh Kumar Singh; Shantanu Sharma 001 (ISPDC, 2011)

Multi-objective Workflow Grid Scheduling Based on Discrete Particle Swarm Optimization. - Ritu Garg; Awadhesh Kumar Singh (SEMCCO (1), 2011)

Message efficient global snapshot recording using a self stabilizing spanning tree in a MANET. - Parmeet Kaur Jaggi; Awadhesh Kumar Singh (Int. J. Commun. Networks Inf. Secur., 2011)

Reference Point Based Multi-Objective Optimization to Workflow Grid Scheduling. - Ritu Garg; Awadhesh Kumar Singh (Int. J. Appl. Evol. Comput., 2012)

Log Based Recovery with Low Overhead for Large Mobile Computing Systems. - Parmeet Kaur Jaggi; Awadhesh Kumar Singh (J. Inf. Sci. Eng., 2013)

Hash-based Byzantine fault tolerant agreement with enhanced view consistency. - Poonam Saini; Awadhesh Kumar Singh (Int. J. Commun. Networks Distributed Syst., 2014)

On detecting termination in cognitive radio networks. - Shantanu Sharma 001; Awadhesh Kumar Singh (Int. J. Netw. Manag., 2014)

A Token Based Protocol for Mutual Exclusion in Mobile Ad Hoc Networks. - Bharti Sharma; Ravinder Singh Bhatia; Awadhesh Kumar Singh (J. Inf. Process. Syst., 2014)

A Leader-Based k-Local Mutual Exclusion Algorithm Using Token for MANETs. - Ashish Khanna; Awadhesh Kumar Singh; Abhishek Swaroop (J. Inf. Sci. Eng., 2014)

Multi-objective workflow grid scheduling using ε-fuzzy dominance sort based discrete particle swarm optimization. - Ritu Garg; Awadhesh Kumar Singh (J. Supercomput., 2014)

Authentication and privacy preserving message transfer scheme for vehicular ad hoc networks (VANETs). - Kuldeep Singh; Poonam Saini; Sudesh Rani; Awadhesh Kumar Singh (Conf. Computing Frontiers, 2015)

Mobility and Energy Conscious Clustering Protocol for Wireless Networks. - Abhinav Singh; Awadhesh Kumar Singh (CoRR, 2015)

Rollback recovery with low overhead for fault tolerance in mobile ad hoc networks. - Parmeet Kaur Jaggi; Awadhesh Kumar Singh (J. King Saud Univ. Comput. Inf. Sci., 2015)

Movement-Based Checkpointing and Message Logging for Recovery in MANETs. - Parmeet Kaur Jaggi; Awadhesh Kumar Singh (Wirel. Pers. Commun., 2015)

A hierarchical virtual backbone construction protocol for mobile ad hoc networks. - Bharti Sharma; Ravinder Singh Bhatia; Awadhesh Kumar Singh (J. King Saud Univ. Comput. Inf. Sci., 2016)

A survey on 5G: The next generation of mobile communication. - Nisha Panwar; Shantanu Sharma 001; Awadhesh Kumar Singh (Phys. Commun., 2016)

A logical structure based fault tolerant approach to handle leader election in mobile ad hoc networks. - Bharti Sharma; Ravinder Singh Bhatia; Awadhesh Kumar Singh (J. King Saud Univ. Comput. Inf. Sci., 2017)

A Leader Election Protocol for Cognitive Radio Networks. - Mahendra Kumar Murmu; Awadhesh Kumar Singh (Wirel. Pers. Commun., 2017)

An election algorithm to ensure the high availability of leader in large mobile ad hoc networks. - Shantanu Sharma 001; Awadhesh Kumar Singh (Int. J. Parallel Emergent Distributed Syst., 2018)

A bio-inspired leader election protocol for cognitive radio networks. - Mahendra Kumar Murmu; Awadhesh Kumar Singh (Clust. Comput., 2019)

Failure detectors for crash faults in cloud. - Bharati Sinha; Awadhesh Kumar Singh; Poonam Saini (J. Ambient Intell. Humaniz. Comput., 2019)

Speedy leader election to avoid application discontinuity in cognitive radio networks. - Mahendra Kumar Murmu; Awadhesh Kumar Singh (Telecommun. Syst., 2019)

Fault Tolerant Routing Protocol in Cognitive Radio Networks. - Santosh Kumar; Awadhesh Kumar Singh (Wirel. Pers. Commun., 2019)

Security Issues in Cognitive Radio Ad Hoc Networks. - Mahendra Kumar Murmu; Awadhesh Kumar Singh (Handbook of Computer Networks and Cyber Security, 2020)

An efficient algorithm for backbone construction in cognitive radio networks. - Santosh Kumar; Bharti Sharma; Awadhesh Kumar Singh (Int. J. Commun. Syst., 2020)

Blockchain based audit trailing of XAI decisions: Storing on IPFS and Ethereum Blockchain. - Diksha Malhotra; Shubham Srivastava; Poonam Saini; Awadhesh Kumar Singh (COMSNETS, 2021)

Light weight approach for secure backbone construction for MANETs. - Akshat Gaurav; Awadhesh Kumar Singh (J. King Saud Univ. Comput. Inf. Sci., 2021)

A localized algorithm for clustering in cognitive radio networks. - Santosh Kumar; Awadhesh Kumar Singh (J. King Saud Univ. Comput. Inf. Sci., 2021)

Cognitive XSS Defensive Approach to Secure Smart Devices. - Pooja Chaudhary; Brij B. Gupta; Awadhesh Kumar Singh; Kwok Tai Chui (ICCE-TW, 2022)

Securing heterogeneous embedded devices against XSS attack in intelligent IoT system. - Pooja Chaudhary; Brij B. Gupta; Awadhesh Kumar Singh (Comput. Secur., 2022)

A systematic survey on security concerns in cryptocurrencies: State-of-the-art and perspectives. - Sidharth Quamara; Awadhesh Kumar Singh (Comput. Secur., 2022)

Orchestration of APT malware evasive manoeuvers employed for eluding anti-virus and sandbox defense. - Amit Sharma; Brij B. Gupta; Awadhesh Kumar Singh; V. K. Saraswat (Comput. Secur., 2022)

A bio-inspired backbone formation protocol in cognitive radio networks. - Santosh Kumar; Mahendra Kumar Murmu; Awadhesh Kumar Singh (Int. J. Commun. Syst., 2022)

Modified Transformer Architecture to Explain Black Box Models in Narrative Form. - Diksha Malhotra; Poonam Saini; Awadhesh Kumar Singh (Int. J. Semantic Web Inf. Syst., 2022)

XSS Armor: Constructing XSS Defensive Framework for Preserving Big Data Privacy in Internet-of-Things (IoT) Networks. - Pooja Chaudhary; Brij B. Gupta; Awadhesh Kumar Singh (J. Circuits Syst. Comput., 2022)

A hybrid approach towards reduced checkpointing overhead in cloud-based applications. - Bharati Sinha; Awadhesh Kumar Singh; Poonam Saini (Peer-to-Peer Netw. Appl., 2022)

Implementing attack detection system using filter-based feature selection methods for fog-enabled IoT networks. - Pooja Chaudhary; Brij B. Gupta; Awadhesh Kumar Singh (Telecommun. Syst., 2022)

How Blockchain Can Automate KYC: Systematic Review. - Diksha Malhotra; Poonam Saini; Awadhesh Kumar Singh (Wirel. Pers. Commun., 2022)

A novel approach for detection of APT malware using multi-dimensional hybrid Bayesian belief network. - Amit Sharma; Brij B. Gupta; Awadhesh Kumar Singh; V. K. Saraswat (Int. J. Inf. Sec., 2023)

Adaptive cross-site scripting attack detection framework for smart devices security using intelligent filters and attack ontology. - Pooja Chaudhary; B. B. Gupta 001; Awadhesh Kumar Singh (Soft Comput., 2023)

Advanced Persistent Threats (APT): evolution, anatomy, attribution and countermeasures. - Amit Sharma; Brij B. Gupta; Awadhesh Kumar Singh; V. K. Saraswat (J. Ambient Intell. Humaniz. Comput., 2023)

EEG-Based Emotion Recognition Using Quantum Machine Learning. - Divya Garg; Gyanendra Kumar Verma 001; Awadhesh Kumar Singh (SN Comput. Sci., 2023)

Explaining Sarcasm of Tweets using Attention Mechanism. - R. L. Keerthana; Awadhesh Kumar Singh; Poonam Saini; Diksha Malhotra (Scalable Comput. Pract. Exp., 2023)

Termination detection in cloud. - Bharati Sinha; Awadhesh Kumar Singh; Poonam Saini (Int. J. Syst. Assur. Eng. Manag., 2023)

EEG-based emotion recognition using MobileNet Recurrent Neural Network with time-frequency features. - Divya Garg; Gyanendra Kumar Verma 001; Awadhesh Kumar Singh (Appl. Soft Comput., 2024)

Blockchain-based proof-of-authenticity frameworks for Explainable AI. - Diksha Malhotra; Poonam Saini; Awadhesh Kumar Singh (Multim. Tools Appl., 2024)

Dynamic multiphase DDoS attack identification and mitigation framework to secure SDN-based fog-empowered consumer IoT Networks. - Pooja Chaudhary; Awadhesh Kumar Singh; Brij B. Gupta (Comput. Electr. Eng., 2025)