Automatic Data Partitioning by Hierarchical Genetic Search. - U. Nagaraj Shenoy; Y. N. Srikant; Vijay P. Bhatkar; Sandeep Kohli (Parallel Algorithms Appl., 1999)

Detecting Design Flaws in UML State Charts for Embedded Software. - Janees Elamkulam; Ziv Glazberg; Ishai Rabinovitz; Gururaja Kowlali; Satish Chandra Gupta; Sandeep Kohli; Sai Dattathrani; Claudio Paniagua Macia (Haifa Verification Conference, 2006)