Deepak Kapur
Scholar

Deepak Kapur

Google Scholar ID: U6XKBVIAAAAJ
University of New Mexico
automated reasoningformal methodssymbolic computationunification theoryterm rewriting
Google Scholar↗
Citations & Impact
All-time
Citations
10,050
 
H-index
58
 
i10-index
174
 
Publications
20
 
Co-authors
53
list available
Publications
2 items
Computing Certificates in Archimedean Univariate Saturated Quadratic Modules
2026
Cited
0
Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
2025
Cited
0
Co-authors
12 total
Mark Marron
Mark Marron
Microsoft Research
Manuel Hermenegildo
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Pascal Van Hentenryck
Pascal Van Hentenryck
Georgia Institute of Technology
David McAllester
David McAllester
Professor, Toyota Technological Institute at Chicago
Jürgen Giesl
Jürgen Giesl
Professor of Computer Science, RWTH Aachen University
Naijun Zhan
Naijun Zhan
School of Computer Science, Peking University
Westley Weimer
Westley Weimer
Professor Computer Science, University of Michigan
Alessandro Gianola
Alessandro Gianola
INESC-ID/Instituto Superior Técnico, Universidade de Lisboa