Knowledge Compilation meets Uniform Sampling. - Shubham Sharma 003; Rahul Gupta; Subhajit Roy 001; Kuldeep S. Meel (LPAR, 2018)

GANAK: A Scalable Probabilistic Exact Model Counter. - Shubham Sharma 003; Subhajit Roy 001; Mate Soos; Kuldeep S. Meel (IJCAI, 2019)

WAPS: Weighted and Projected Sampling. - Rahul Gupta; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (TACAS (1), 2019)

Verity: Blockchains to Detect Insider Attacks in DBMS. - Shubham S. Srivastava; Medha Atre; Shubham Sharma 003; Rahul Gupta; Sandeep K. Shukla (CoRR, 2019)

Verity: Blockchain Based Framework to Detect Insider Attacks in DBMS. - Shubham Sahai; Medha Atre; Shubham Sharma 003; Rahul Gupta; Sandeep K. Shukla (Blockchain, 2020)

Symmetric Component Caching for Model Counting on Combinatorial Instances. - Timothy van Bremen; Vincent Derkinderen; Shubham Sharma 003; Subhajit Roy 001; Kuldeep S. Meel (AAAI, 2021)