Verification of C Programs using Annotations. - Sriya S; Lavanya L; Aditi M. Manohar; N. S. Kumar (T4E, 2019)

Agricultural Yield Estimation of Various Crops in Southern India Using Vegetation Index. - Dev Bhartra; Aditi M. Manohar; Dhruv Vohra; Shreyas Bharadwaj V; K. S. Srinivas (ISCMI, 2021)