☰

Deepak Kapur

Affiliations: 
University of New Mexico, Albuquerque, NM, United States 
Area:
Computer Science, Mathematics
Google:
"Deepak Kapur"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Arthur D. Chtcherba grad student 2003 Univ. of New Mexico
Mark Marron grad student 2008 Univ. of New Mexico
Stephan Falke grad student 2009 Univ. of New Mexico
ThanhVu H. Nguyen grad student 2014 Univ. of New Mexico

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Kapur D, Lu D, Monagan M, et al. (2021) Algorithms for computing greatest common divisors of parametric multivariate polynomials Journal of Symbolic Computation. 102: 3-20
Kapur D. (2019) Conditional Congruence Closure over Uninterpreted and Interpreted Symbols Journal of Systems Science & Complexity. 32: 317-355
Kapur D. (2017) Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm Journal of Systems Science & Complexity. 30: 196-233
Falke S, Kapur D. (2015) When is a formula a loop invariant? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9200: 264-286
Kapur D, Sun Y, Wang D. (2013) An efficient method for computing comprehensive Gröbner bases Journal of Symbolic Computation. 52: 124-142
Kapur D, Sun Y, Wang D. (2013) An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system Journal of Symbolic Computation. 49: 27-44
Zhang Z, Kapur D. (2013) On invariant checking Journal of Systems Science and Complexity. 26: 470-482
Zhao H, Zhan N, Kapur D. (2013) Synthesizing switching controllers for hybrid systems by generating invariants Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8051: 354-373
Falke S, Kapur D. (2012) Rewriting induction + linear arithmetic = decision procedure Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7364: 241-255
Falke S, Kapur D, Sinz C. (2012) Termination analysis of imperative programs using bitvector arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7152: 261-277
See more...