Rahul Gupta, Shubham Sharma, Kuldeep S. Meel.
WAPS: Weighted and Projected Sampling .
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
2019.
Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep Meel.
Knowledge Compilation meets Uniform Sampling.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR),
2018.
Shubham Sharma, Rahul Gupta, Shubham Sahai Srivastava, Sandeep K. Shukla.
Detecting Insider Attacks on Databases using Blockchains.
In proceedings of Workshop on Blockchain Technologies and its Applications, ISRDC, IIT Bombay,
2017.