Exploiting predicate structure for efficient reachability detection. - Sujatha Kashyap; Vijay K. Garg (ASE, 2005)

Intractability results in predicate detection. - Sujatha Kashyap; Vijay K. Garg (Inf. Process. Lett., 2005)

Producing Short Counterexamples Using "Crucial Events". - Sujatha Kashyap; Vijay K. Garg (CAV, 2008)

SimplerVoice: A Key Message & Visual Description Generator System for Illiteracy. - Minh N. B. Nguyen; Samuel Thomas 001; Anne E. Gattiker; Sujatha Kashyap; Kush R. Varshney (CoRR, 2018)