A review on security requirements specification by formal methods. - Aditya Dev Mishra; Khurram Mustafa (Concurr. Comput. Pract. Exp., 2022)

Security requirements specification by formal methods: a research metadata analysis. - Aditya Dev Mishra; Khurram Mustafa (Multim. Tools Appl., 2024)

Disease diagnosis and control by reinforcement learning techniques: a systematic literature review. - Aditya Dev Mishra; Ajay Kumar Shrivastava; Megha Bhushan (Discov. Comput., 2025)