Formalization of business workflow with typed attributed graph. - Dipty Tripathi; Shreya Banerjee 002; Anirban Sarkar 002 (Int. J. Web Inf. Syst., 2018)

An integrated approach of designing functionality with security for distributed cyber-physical systems. - Dipty Tripathi; Amit Biswas; Anil Kumar Tripathi; Lalit Kumar Singh; Amrita Chaturvedi (J. Supercomput., 2022)