Concepedia

Author

Shubham Sharma

National University of SingaporeORCID

Also Known As

Sharma, Shubham, Shubham Sharma

17

Publications

119

Citations

5

H-Index

21

Concepts

All Affiliations

National University of SingaporeIndian Institute of Technology Kanpur
SS

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

77

2

Computer Engineering

2

2

77

3

Computer Science

2

2

77

4

Data Science

1

1

54

5

Compilers

1

1

23

Shubham Sharma

×

3

Publications

89

Citations

3

H-Index

YearCitations

GANAK: A Scalable Probabilistic Exact Model Counter

Shubham Sharma, Subhajit Roy, Mate Soos,

2019

54

Knowledge Compilation meets Uniform Sampling

Shubham Sharma, Rahul Gupta, Subhajit Roy,

EPiC series in computing

2018

23

WAPS: Weighted and Projected Sampling.

Rahul Gupta, Shubham Sharma, Subhajit Roy,

Tools and Algorithms for Construction and Analysis of Systems

2019

12

Page 1