Deepak Kapur

Cited by

	All	Since 2019
Citations	9709	1588
h-index	57	22
i10-index	168	52

340

170

255

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202462 60 76 134 156 179 165 213 203 210 216 242 291 252 220 235 234 194 257 281 271 253 328 269 287 286 241 331 325 338 283 219 339 266 327 254 244 286 278 198

Public access

View all

20 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Tushar SaxenaAMZN, RSYS, Mojo, VZ, BBN, GE, Wharton, SUNY-A, IITKVerified email at wharton.upenn.edu
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaVerified email at upc.edu
Darko StefanovicProfessor of Computer Science, University of New MexicoVerified email at cs.unm.edu
Sivakumar GARCI, INDIAVerified email at arci.res.in
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Mark MarronMicrosoft ResearchVerified email at microsoft.com
Pascal Van HentenryckGeorgia Institute of TechnologyVerified email at isye.gatech.edu
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerified email at ttic.edu
RK ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityVerified email at gmu.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerified email at informatik.rwth-aachen.de
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoVerified email at santafe.edu
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
Roli VarmaCarl Hatch Endowed Professor, University of New MexicoVerified email at unm.edu
Mukkai KrishnamoorthyAssociate Professor of Computer Science (retired), RPIVerified email at cs.rpi.edu
Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu

Deepak Kapur

University of New Mexico

Verified email at cs.unm.edu

automated reasoning formal methods symbolic computation unification theory term rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Solving polynomial systems using a branch and prune approach P Van Hentenryck, D McAllester, D Kapur SIAM Journal on Numerical Analysis 34 (2), 797-827, 1997	420	1997
Algebraic and geometric reasoning using Dixon resultants D Kapur, T Saxena, L Yang Proceedings of the international symposium on Symbolic and algebraic …, 1994	259	1994
Using Gröbner bases to reason about geometry problems D Kapur Journal of Symbolic Computation 2 (4), 399-408, 1986	189	1986
Proof by consistency D Kapur, DR Musser Artificial Intelligence 31 (2), 125-157, 1987	182	1987
NP-completeness of the set unification and matching problems D Kapur, P Narendran 8th International Conference on Automated Deduction: Oxford, England, July …, 1986	181	1986
An equational approach to theorem proving in first-order predicate calculus D Kapur, P Narendran ACM SIGSOFT Software Engineering Notes 10 (4), 63-66, 1985	179	1985
Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007	169	2007
On sufficient-completeness and related properties of term rewriting systems D Kapur, P Narendran, H Zhang Acta Informatica 24 (4), 395-415, 1987	162	1987
A mechanizable induction principle for equational specifications H Zhang, D Kapur, MS Krishnamoorthy International Conference on Automated Deduction, 162-181, 1988	160	1988
An overview of rewrite rule laboratory (RRL) D Kapur, H Zhang Computers & Mathematics with Applications 29 (2), 91-114, 1995	157	1995
Geometry theorem proving using Hilbert's Nullstellensatz D Kapur Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986	148	1986
Automatic generation of polynomial loop invariants: Algebraic foundations E Rodríguez-Carbonell, D Kapur Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004	143	2004
Complexity of matching problems D Benanav, D Kapur, P Narendran Journal of symbolic computation 3 (1-2), 203-216, 1987	136	1987
Complexity of unification problems with associative-commutative operators D Kapur, P Narendran Journal of Automated Reasoning 9 (2), 261-288, 1992	129	1992
A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra D Kapur, K Madlener Computers and mathematics, 1-11, 1989	129	1989
Automatic generation of polynomial invariants of bounded degree using abstract interpretation E Rodríguez-Carbonell, D Kapur Science of Computer Programming 64 (1), 54-75, 2007	125	2007
Interpolation for data structures D Kapur, R Majumdar, CG Zarba Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	121	2006
Automatically generating loop invariants using quantifier elimination D Kapur Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2006	119	2006
Computing a Gröbner basis of a polynomial ideal over a Euclidean domain Ä Kandri-Rody, D Kapur Journal of symbolic computation 6 (1), 37-57, 1988	119	1988
A new algorithm for computing comprehensive Gröbner systems D Kapur, Y Sun, D Wang Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010	118	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors