Concepedia

Shubham Sharma

SS

Statistics

Publications

3

Citations

89

H-Index

3

Active since

2018

Affiliations

National University of Singapore(Current)

Indian Institute of Technology Kanpur

Shubham Sharma is an author at National University of Singapore specializing in automated reasoning, formal verification, and formal methods.

ORCID

Top concepts

Publications per year

2018–2019

3

Publications

3

GANAK: A Scalable Probabilistic Exact Model Counter

Shubham Sharma, Subhajit Roy, Mate Soos et al. · 2019 · 54 citations · Full text

, , +19

Knowledge Compilation meets Uniform Sampling

Shubham Sharma, Rahul Gupta, Subhajit Roy et al. · EPiC series in computing · 2018 · 23 citations · Full text

, , +19

WAPS: Weighted and Projected Sampling.

Rahul Gupta, Shubham Sharma, Subhajit Roy et al. · Tools and Algorithms for Construction and Analysis of Systems · 2019 · 12 citations

, , +3

1–3 of 3