Congestion barcodes: Exploring the topology of urban congestion using persistent homology. - Yu Wu; Gabriel Shindnes; Vaibhav Karve; Derrek Yager; Daniel B. Work; Arnab Chakraborty; Richard B. Sowers (ITSC, 2017)

The complete set of minimal simple graphs that support unsatisfiable 2-CNFs. - Vaibhav Karve; Anil N. Hirani (Discret. Appl. Math., 2020)

GraphSAT - a decision problem connecting satisfiability and graph theory. - Vaibhav Karve; Anil N. Hirani (CoRR, 2021)