Are formal methods useful for software development? - Horst F. Wedde; Betty H. C. Cheng; David Gries; N. Shankar; Kwei-Jay Lin; Mark A. Ardis (COMPSAC, 1992)

Integration of formal verification with real-time design. - G. Krasovec; N. Shankar; P. Ward (WORDS, 1996)

Femur Bone Volumetric Estimation for Osteoporosis Classification Using Optimization-Based Deep Belief Network in X-Ray Images. - N. Shankar; S. Sathish Babu; C. Viswanathan (Comput. J., 2019)

Bone trabecular analysis of proximal femur radiographs for the detection of osteoporosis using anisotropic Morlet wavelet transform. - N. Shankar; S. Sathish Babu; C. Viswanathan (Clust. Comput., 2019)

Morphometric analysis of X-ray and CT images for evaluating osteoporosis. - N. Shankar; S. Sathish Babu; C. Viswanathan (Clust. Comput., 2019)