An Online Ontology Navigator for Web Applications in Education. - Shireesha Tankashala; Fangfang Liu; Brian Horton; Shengru Tu (CSEDU (1), 2010)

Developing verification-driven learning cases. - Shengru Tu; Sehun James Oh; Rushikesh Kale; Aditya Kallem; Shireesha Tankashala (ITiCSE, 2010)

Turning real-world systems into verification-driven learning cases. - Shengru Tu; Shireesha Tankashala; Sehun Oh; Brian Becker; Brian Horton; Aditya Kallem; Zhao Yang (CSEE&T, 2011)