An Algebraic Characterisation of First-Order Logic with Neighbour. - Amaldev Manuel; Dhruv Nevatia (LICS, 2021)

An Automata Theoretic Characterization of Weighted First-Order Logic. - Dhruv Nevatia; Benjamin Monmege (ATVA (1), 2023)

Reachability Analysis of the Domain Name System. - Dhruv Nevatia; Si Liu 003; David A. Basin (Proc. ACM Program. Lang., 2025)