Concepedia

Anubhav Gupta

AG

3

Publications

138

Citations

3

H-Index

2001

Active since

Affiliations

Carnegie Mellon University(Current)

Anubhav Gupta is an author at Carnegie Mellon University specializing in formal verification, automated reasoning, and formal methods.

Top concepts

Publications per year

2001–2008

3

Publications

3

Automated assumption generation for compositional verification

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu · Formal Methods in System Design · 2008 · 67 citations

, , +10

Dynamic detection and removal of inactive clauses in SAT with application in image computation

Aarti Gupta, Anubhav Gupta, Zijiang Yang et al. · 2001 · 41 citations

, , +17

Learning abstractions for model checking

Edmund M. Clarke, Anubhav Gupta · 2006 · 30 citations

, , +16

Rows per page

1–3 of 3