Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Pavan A., and N. V. Vinodchandran
(2023).
On Approximating Total Variation Distance.
In Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI23).
A. Dileep, Kuldeep S. Meel, and Ammar F. Sabili
(2020).
Induction Models on N.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR).
Karthik, Murthy, Sri Raj, Paul, Kuldeep S. Meel, Tiago Cogumbreiro, and John Mellor-Crummey
(2016).
Design and Verification of Distributed Phasers.
In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par).