Security policy analysis using deductive spreadsheets. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; Scott D. Stoller; David Scott Warren (FMSE, 2007)

A methodology for in-network evaluation of integrated logical-statistical models. - Anu Singh; C. R. Ramakrishnan 001; I. V. Ramakrishnan; David Scott Warren; Jennifer L. Wong (SenSys, 2008)

Query-Based Model Checking of Ad Hoc Network Protocols. - Anu Singh; C. R. Ramakrishnan 001; Scott A. Smolka (CONCUR, 2009)

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. - Xiaowan Huang; Anu Singh; Scott A. Smolka (NASA Formal Methods, 2010)

A process calculus for Mobile Ad Hoc Networks. - Anu Singh; C. R. Ramakrishnan 001; Scott A. Smolka (Sci. Comput. Program., 2010)

Using integer clocks to verify clock-synchronization protocols. - Xiaowan Huang; Anu Singh; Scott A. Smolka (Innov. Syst. Softw. Eng., 2011)

A Typology of Errors for User Utterances in Chatbots. - Anu Singh; Esmé Manandise (LREC/COLING, 2024)

HyQE: Ranking Contexts with Hypothetical Query Embeddings. - Weichao Zhou; Jiaxin Zhang; Hilaf Hasson; Anu Singh; Wenchao Li 001 (EMNLP (Findings), 2024)

An improved machine learning approach for streamline the real time analysis in Big-data applications. - Anu Singh; Digvijay Singh; Priti Ramani Nayyar; Ruchika Bhakar; Viranshu Kumar; Saket Mishra (ICCCNT, 2024)