Joint Clustering and Routing Protocol for 3-D Underwater Acoustic Sensor Network. - Sarang Dhongdi; Aashray Bhandari; Jayati Singh; Spandan Kachhadia; Varad Joshi (ICUFN, 2018)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property. - Varad Joshi; Anantha Padmanabha (CoRR, 2025)