Deepak Kapur

Cytowane przez

	Wszystkie	Od 2019
Cytowania	9709	1588
h-indeks	57	22
i10-indeks	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

Dostęp publiczny

Wyświetl wszystko

20 artykułów

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
RK ShyamasundarIIT BombayZweryfikowany adres z cse.iitb.ac.in
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityZweryfikowany adres z gmu.edu
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	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

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