- Reema Patel, Bhavesh Borisaniya, Avi Patel, Dhiren Patel, Muttukrishnan Rajarajan, and Andrea Zisman, "Comparative Analysis of FormalModel Checking Tools for Security Protocol Verification", CNSA, Chennai, Springer, pp.152?163 ,2010
- Mohit Singh, Sivavenkateswara Rao V., Manpuran Mahto, and Pradip Kumar Jain., " Axially Partitioned Dual Band Magnetically Insulated Line Oscillator.?", IEEE Transactions on Plasma Science, IEEE ,0000
