Deepak Kapur

Cytowane przez

	Wszystkie	Od 2019
Cytowania	9649	1541
h-indeks	57	21
i10-indeks	168	51

340

170

255

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202462 60 76 137 152 179 164 211 203 210 216 242 291 252 222 235 234 194 257 281 271 253 328 268 287 286 240 328 327 338 283 217 338 266 328 253 243 288 280 148

Dostęp publiczny

Wyświetl wszystko

20 artykułów

3 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Stephan FalkeZweryfikowany adres z kit.edu
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

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	258	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	181	1987
NP-completeness of the set unification and matching problems D Kapur, P Narendran 8th International Conference on Automated Deduction: Oxford, England, July …, 1986	179	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	178	1985
Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007	168	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	159	1988
An overview of rewrite rule laboratory (RRL) D Kapur, H Zhang Computers & Mathematics with Applications 29 (2), 91-114, 1995	156	1995
Geometry theorem proving using Hilbert's Nullstellensatz D Kapur Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986	147	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	141	2004
Complexity of matching problems D Benanav, D Kapur, P Narendran Journal of symbolic computation 3 (1-2), 203-216, 1987	133	1987
A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra D Kapur, K Madlener Computers and mathematics, 1-11, 1989	129	1989
Complexity of unification problems with associative-commutative operators D Kapur, P Narendran Journal of Automated Reasoning 9 (2), 261-288, 1992	127	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	124	2007
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
Interpolation for data structures D Kapur, R Majumdar, CG Zarba Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	118	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	117	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