Dhruv Nevatia

According to our database, Dhruv Nevatia authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

An Automata Theoretic Characterization of Weighted First-Order Logic.

Dhruv Nevatia, Benjamin Monmege

Proceedings of the Automated Technology for Verification and Analysis, 2023

2021

An Algebraic Characterisation of First-Order Logic with Neighbour.

Amaldev Manuel, Dhruv Nevatia

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021