Anu Singh

According to our database, Anu Singh authored at least 9 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

HyQE: Ranking Contexts with Hypothetical Query Embeddings.

Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li

CoRR, 2024

HyQE: Ranking Contexts with Hypothetical Query Embeddings.

Weichao Zhou, Jiaxin Zhang, Hilaf Hasson, Anu Singh, Wenchao Li

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

A Typology of Errors for User Utterances in Chatbots.

Anu Singh, Esmé Manandise

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2011

Using integer clocks to verify clock-synchronization protocols.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Innov. Syst. Softw. Eng., 2011

2010

A process calculus for Mobile Ad Hoc Networks.

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

Sci. Comput. Program., 2010

Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.

Xiaowan Huang, Anu Singh, Scott A. Smolka

Proceedings of the Second NASA Formal Methods Symposium, 2010

2009

Query-Based Model Checking of Ad Hoc Network Protocols.

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

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008

A methodology for in-network evaluation of integrated logical-statistical models.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, David Scott Warren, Jennifer L. Wong

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

2007

Security policy analysis using deductive spreadsheets.

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007