On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics. - Raveendra Holla; Nabarun Deka; Deepak D'Souza (FSTTCS, 2021)

Verification of Camera-Based Autonomous Systems. - Habeeb P; Nabarun Deka; Deepak D'Souza; Kamal Lodaya; Pavithra Prabhakar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Deciding Branching Hyperproperties for Real Time Systems. - Nabarun Deka; Minjian Zhang 002; Rohit Chadha; Mahesh Viswanathan 001 (CSF, 2024)