Deepak Kapur

Citat de

	Toate	Din 2018
Referințe bibliografice	9433	1607
h-index	56	22
i10-index	169	48

360

180

270

19851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202371 54 76 140 145 170 168 212 200 218 214 240 291 266 208 232 237 191 258 279 266 255 331 269 285 286 244 329 323 337 280 211 341 266 314 249 240 283 254

Acces public

Afișați-le pe toate

19 articole

3 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Stephan FalkeAdresă de e-mail confirmată pe kit.edu
Tushar SaxenaAMZN, RSYS, Mojo, VZ, BBN, GE, Wharton, SUNY-A, IITKAdresă de e-mail confirmată pe wharton.upenn.edu
Enric Rodriguez CarbonellUniversitat Politècnica de CatalunyaAdresă de e-mail confirmată pe upc.edu
Darko StefanovicProfessor of Computer Science, University of New MexicoAdresă de e-mail confirmată pe cs.unm.edu
Sivakumar GARCI, INDIAAdresă de e-mail confirmată pe arci.res.in
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Adresă de e-mail confirmată pe upm.es
Mark MarronMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Pascal Van HentenryckGeorgia Institute of TechnologyAdresă de e-mail confirmată pe isye.gatech.edu
David McAllesterProfessor, Toyota Technological Institute at ChicagoAdresă de e-mail confirmată pe ttic.edu
ThanhVu (Vu) NguyenComputer Science, George Mason UniversityAdresă de e-mail confirmată pe gmu.edu
Jürgen GieslProfessor of Computer Science, RWTH Aachen UniversityAdresă de e-mail confirmată pe informatik.rwth-aachen.de
RK ShyamasundarIIT BombayAdresă de e-mail confirmată pe cse.iitb.ac.in
Naijun ZhanInstitute of Software Chinese Academy of SciencesAdresă de e-mail confirmată pe ios.ac.cn
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoAdresă de e-mail confirmată pe santafe.edu
Westley WeimerProfessor Computer Science, University of MichiganAdresă de e-mail confirmată pe umich.edu
Roli VarmaCarl Hatch Endowed Professor, University of New MexicoAdresă de e-mail confirmată pe unm.edu
Mukkai KrishnamoorthyAssociate Professor of Computer Science (retired), RPIAdresă de e-mail confirmată pe cs.rpi.edu
Alessandro GianolaInstituto Superior Técnico, University of LisbonAdresă de e-mail confirmată pe tecnico.ulisboa.pt
silvio ghilardiUniversità degli Studi di MilanoAdresă de e-mail confirmată pe unimi.it
Rupak MajumdarMPI for Software SystemsAdresă de e-mail confirmată pe mpi-sws.org

Urmăriți

Deepak Kapur

University of New Mexico

Adresă de e-mail confirmată pe cs.unm.edu

automated reasoning formal methods symbolic computation unification theory term rewriting


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
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	411	1997
Algebraic and geometric reasoning using Dixon resultants D Kapur, T Saxena, L Yang Proceedings of the international symposium on Symbolic and algebraic …, 1994	255	1994
Using Gröbner bases to reason about geometry problems D Kapur Journal of Symbolic Computation 2 (4), 399-408, 1986	186	1986
NP-completeness of the set unification and matching problems D Kapur, P Narendran 8th International Conference on Automated Deduction: Oxford, England, July …, 1986	176	1986
Proof by consistency D Kapur, DR Musser Artificial Intelligence 31 (2), 125-157, 1987	175	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	175	1985
Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007	166	2007
On sufficient-completeness and related properties of term rewriting systems D Kapur, P Narendran, H Zhang Acta Informatica 24, 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	158	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	146	1986
Complexity of matching problems D Benanav, D Kapur, P Narendran Journal of symbolic computation 3 (1-2), 203-216, 1987	133	1987
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	131	2004
Complexity of unification problems with associative-commutative operators D Kapur, P Narendran Journal of Automated Reasoning 9 (2), 261-288, 1992	126	1992
Automatically generating loop invariants using quantifier elimination D Kapur Dagstuhl Seminar Proceedings, 2006	124	2006
A Completion Procedure for Computing a Canonical Basis for a k-Subalgebra D Kapur, K Madlener Computers and mathematics, 1-11, 1989	122	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	121	2007
Interpolation for data structures D Kapur, R Majumdar, CG Zarba Proceedings of the 14th ACM SIGSOFT international symposium on Foundations …, 2006	115	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	115	1988
A finite Thue system with decidable word problem and without equivalent finite canonical system D Kapur, P Narendran Theoretical Computer Science 35, 337-344, 1985	112	1985

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori