Tool for Translating Simulink Models into Input Language of a Model Checker. - B. Meenakshi 002; Abhishek Bhatnagar; Sudeepa Roy 001 (ICFEM, 2006)

A framework for decentralized access control. - Meenakshi Balasubramanian; Abhishek Bhatnagar; Namit Chaturvedi; Atish Datta Chowdhury; Arul Ganesh (AsiaCCS, 2007)

Design and analysis of Integer and Non-integer order controllers using Genetic Algorithm with one Case study. - Omar Hanif; Medha Chatterjee; Nihar Deshpande; Abhishek Bhatnagar; Sachin Sharma (ICCAD, 2020)

Metaheuristic for Hub-Spoke Facility Location Problem: Application to Indian E-commerce Industry. - Aakash Sachdeva; Bhupinder Singh; Rahul Prasad; Nakshatra Goel; Ronit Mondal; Jatin Munjal; Abhishek Bhatnagar; Manjeet Dahiya (CoRR, 2022)