Deepak Kapur

Sitert av

	Alle	Siden 2019
Sitater	9767	1635
h-indeks	57	22
i10-indeks	169	53

360

180

270

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202462 60 76 134 156 179 165 213 203 210 216 242 292 252 220 235 234 194 257 280 271 253 328 269 287 286 242 328 330 338 283 219 342 266 327 254 245 285 275 248

Offentlig tilgang

Vis alle

21 artikler

3 artikler

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Tushar SaxenaAMZN, RSYS, Mojo, VZ, BBN, GE, Wharton, SUNY-A, IITKVerifisert e-postadresse på wharton.upenn.edu
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaVerifisert e-postadresse på upc.edu
Darko StefanovicProfessor of Computer Science, University of New MexicoVerifisert e-postadresse på cs.unm.edu
Sivakumar GARCI, INDIAVerifisert e-postadresse på arci.res.in
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verifisert e-postadresse på upm.es
Mark MarronMicrosoft ResearchVerifisert e-postadresse på microsoft.com
Pascal Van HentenryckGeorgia Institute of TechnologyVerifisert e-postadresse på isye.gatech.edu
David McAllesterProfessor, Toyota Technological Institute at ChicagoVerifisert e-postadresse på ttic.edu
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityVerifisert e-postadresse på gmu.edu
RK ShyamasundarIIT BombayVerifisert e-postadresse på cse.iitb.ac.in
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityVerifisert e-postadresse på informatik.rwth-aachen.de
Naijun ZhanSchool of Computer Science, Peking UniversityVerifisert e-postadresse på ios.ac.cn
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoVerifisert e-postadresse på santafe.edu
Westley WeimerProfessor Computer Science, University of MichiganVerifisert e-postadresse på umich.edu
Roli VarmaCarl Hatch Endowed Professor, University of New MexicoVerifisert e-postadresse på unm.edu
Mukkai KrishnamoorthyAssociate Professor of Computer Science (retired), RPIVerifisert e-postadresse på cs.rpi.edu
Alessandro GianolaINESC-ID/Instituto Superior Técnico, Universidade de LisboaVerifisert e-postadresse på tecnico.ulisboa.pt
silvio ghilardiUniversità degli Studi di MilanoVerifisert e-postadresse på unimi.it
Rupak MajumdarMPI for Software SystemsVerifisert e-postadresse på mpi-sws.org
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerifisert e-postadresse på illinois.edu

Følg

Deepak Kapur

University of New Mexico

Verifisert e-postadresse på cs.unm.edu

automated reasoning formal methods symbolic computation unification theory term rewriting


Tittel Sorter etter sitater Sorter etter år Sorter etter tittel	Sitert av Sitert av	År
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	421	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	191	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	182	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	170	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	149	2004
Geometry theorem proving using Hilbert's Nullstellensatz D Kapur Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986	149	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	131	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	126	2007
Interpolation for data structures D Kapur, R Majumdar, CG Zarba Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	121	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	120	2010
Automatically generating loop invariants using quantifier elimination D Kapur Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2006	120	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

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere