Deepak Kapur

Cytowane przez

	Wszystkie	Od 2020
Cytowania	9811	1349
h-indeks	57	20
i10-indeks	169	41

360

180

270

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202560 76 133 156 179 165 214 203 212 216 242 292 252 221 235 239 194 257 281 271 252 328 272 286 286 239 327 330 338 283 219 342 267 327 252 252 285 264 261 34

Dostęp publiczny

Wyświetl wszystko

22 artykuły

3 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Tushar SaxenaAMZN, RSYS, Mojo, VZ, BBN, GE, Wharton, SUNY-A, IITKZweryfikowany adres z wharton.upenn.edu
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaZweryfikowany adres z upc.edu
Darko StefanovicProfessor of Computer Science, University of New MexicoZweryfikowany adres z cs.unm.edu
Sivakumar GARCI, INDIAZweryfikowany adres z arci.res.in
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Zweryfikowany adres z upm.es
Mark MarronMicrosoft ResearchZweryfikowany adres z microsoft.com
Pascal Van HentenryckGeorgia Institute of TechnologyZweryfikowany adres z isye.gatech.edu
David McAllesterProfessor, Toyota Technological Institute at ChicagoZweryfikowany adres z ttic.edu
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityZweryfikowany adres z gmu.edu
RK ShyamasundarIIT BombayZweryfikowany adres z cse.iitb.ac.in
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityZweryfikowany adres z informatik.rwth-aachen.de
Naijun ZhanSchool of Computer Science, Peking UniversityZweryfikowany adres z ios.ac.cn
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoZweryfikowany adres z santafe.edu
Westley WeimerProfessor Computer Science, University of MichiganZweryfikowany adres z umich.edu
Roli VarmaCarl Hatch Endowed Professor, University of New MexicoZweryfikowany adres z unm.edu
Mukkai KrishnamoorthyAssociate Professor of Computer Science (retired), RPIZweryfikowany adres z cs.rpi.edu
Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de LisboaZweryfikowany adres z tecnico.ulisboa.pt
silvio ghilardiUniversità degli Studi di MilanoZweryfikowany adres z unimi.it
Rupak MajumdarMPI for Software SystemsZweryfikowany adres z mpi-sws.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu

Obserwuj

Deepak Kapur

University of New Mexico

Zweryfikowany adres z cs.unm.edu

automated reasoning formal methods symbolic computation unification theory term rewriting


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	422	1997
Algebraic and geometric reasoning using Dixon resultants D Kapur, T Saxena, L Yang Proceedings of the international symposium on Symbolic and algebraic …, 1994	261	1994
Using Gröbner bases to reason about geometry problems D Kapur Journal of Symbolic Computation 2 (4), 399-408, 1986	193	1986
NP-completeness of the set unification and matching problems D Kapur, P Narendran 8th International Conference on Automated Deduction: Oxford, England, July …, 1986	184	1986
Proof by consistency D Kapur, DR Musser Artificial Intelligence 31 (2), 125-157, 1987	182	1987
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	173	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
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	151	2004
Geometry theorem proving using Hilbert's Nullstellensatz D Kapur Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986	148	1986
Complexity of matching problems D Benanav, D Kapur, P Narendran Journal of symbolic computation 3 (1-2), 203-216, 1987	138	1987
A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra D Kapur, K Madlener Computers and mathematics, 1-11, 1989	132	1989
Complexity of unification problems with associative-commutative operators D Kapur, P Narendran Journal of Automated Reasoning 9 (2), 261-288, 1992	130	1992
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	129	2007
Interpolation for data structures D Kapur, R Majumdar, CG Zarba Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	123	2006
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	121	2010
Automatically generating loop invariants using quantifier elimination D Kapur Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2006	121	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	120	1988

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy