Nabarun Deka

According to our database, Nabarun Deka authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

2023

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., October, 2023

2021

On the Expressive Equivalence of TPTL in the Pointwise and Continuous Semantics.

Raveendra Holla, Nabarun Deka, Deepak D'Souza

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021