Using hypersafety verification for proving correctness of programming assignments. - Jude K. Anil; Sumanth Prabhu S; Kumar Madhukar; R. Venkatesh 001 (ICSE (NIER), 2020)

CurriculumTutor: An Adaptive Algorithm for Mastering a Curriculum. - K. M. Shabana 001; Chandrashekar Lakshminarayanan; Jude K. Anil (AIED (1), 2022)