Statistics
Publications
7
Citations
166
H-Index
7
Active since
2000
Affiliations
University of British Columbia(Current)
Anubhav Gupta is an author at University of British Columbia specializing in computer science, computing, and machine learning.
Publications per year
2000–2025
7
7
First steps towards SAT-based formal analog verification
Saurabh K Tiwary, Anubhav Gupta, Joel Phillips et al. · 2009 · 29 citations
SAT-based image computation with application in reachability analysis
Aarti Gupta, Zijiang Yang, Pranav Ashar et al. · 2000 · 22 citations
1–5 of 7