Towards a C++-based design methodology facilitating sequential equivalence checking. - Philippe Georgelin; Venkat Krishnaswamy (DAC, 2006)

Design for Verification in System-level Models and RTL. - Anmol Mathur; Venkat Krishnaswamy (DAC, 2007)

Directional Kernel Density Estimation for Classification of Breast Tissue Spectra. - Arturo Pardo; Eusebio Real; Venkat Krishnaswamy; Jose M. Lopez-Higuera; Brian W. Pogue; Olga M. Conde (IEEE Trans. Medical Imaging, 2017)