Anu Singh

发表

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2010, Sci. Comput. Program..

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2008, SenSys '08.

Abhishek Raghuvanshi, Anu Singh, Abhishek Raghuvanshi, 2014 .

Scott A. Smolka, Xiaowan Huang, Anu Singh, 2011, Innovations in Systems and Software Engineering.

C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, 2007, FMSE '07.

Carl E. Adams, Anu Singh, 1997 .

Anu Singh, Kiran Kshirsagar, Lipti Pradhan, 2013 .

Scott A. Smolka, Xiaowan Huang, Anu Singh, 2010, NASA Formal Methods.

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2008, Sci. Comput. Program..

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009 .

C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009, CONCUR.