| Year |
Citation |
Score |
| 2021 |
Kapur D, Lu D, Monagan M, Sun Y, Wang D. Algorithms for computing greatest common divisors of parametric multivariate polynomials Journal of Symbolic Computation. 102: 3-20. DOI: 10.1016/J.Jsc.2019.10.006 |
0.384 |
|
| 2019 |
Kapur D. Conditional Congruence Closure over Uninterpreted and Interpreted Symbols Journal of Systems Science & Complexity. 32: 317-355. DOI: 10.1007/S11424-019-8377-8 |
0.406 |
|
| 2017 |
Kapur D. Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm Journal of Systems Science & Complexity. 30: 196-233. DOI: 10.1007/S11424-017-6337-8 |
0.427 |
|
| 2015 |
Falke S, Kapur D. When is a formula a loop invariant? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9200: 264-286. DOI: 10.1007/978-3-319-23165-5_13 |
0.664 |
|
| 2013 |
Kapur D, Sun Y, Wang D. An efficient method for computing comprehensive Gröbner bases Journal of Symbolic Computation. 52: 124-142. DOI: 10.1016/J.Jsc.2012.05.015 |
0.46 |
|
| 2013 |
Kapur D, Sun Y, Wang D. An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system Journal of Symbolic Computation. 49: 27-44. DOI: 10.1016/J.Jsc.2011.12.015 |
0.338 |
|
| 2013 |
Zhang Z, Kapur D. On invariant checking Journal of Systems Science and Complexity. 26: 470-482. DOI: 10.1007/S11424-013-1296-1 |
0.446 |
|
| 2013 |
Zhao H, Zhan N, Kapur D. Synthesizing switching controllers for hybrid systems by generating invariants Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8051: 354-373. DOI: 10.1007/978-3-642-39698-4_22 |
0.321 |
|
| 2012 |
Falke S, Kapur D. Rewriting induction + linear arithmetic = decision procedure Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7364: 241-255. DOI: 10.1007/978-3-642-31365-3_20 |
0.669 |
|
| 2012 |
Falke S, Kapur D, Sinz C. Termination analysis of imperative programs using bitvector arithmetic Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7152: 261-277. DOI: 10.1007/978-3-642-27705-4_21 |
0.628 |
|
| 2011 |
Falke S, Kapur D, Sinz C. Termination analysis of C programs using compiler intermediate languages Leibniz International Proceedings in Informatics, Lipics. 10: 41-50. DOI: 10.4230/LIPIcs.RTA.2011.41 |
0.558 |
|
| 2011 |
Kapur D, Sun Y, Wang D. Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 193-200. DOI: 10.1145/1993886.1993918 |
0.344 |
|
| 2011 |
Kapur D, Minimair M. Multivariate resultants in bernstein basis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6301: 60-85. DOI: 10.1007/978-3-642-21046-4_4 |
0.471 |
|
| 2010 |
Hendrix J, Kapur D, Meseguer J. Coverset induction with partiality and subsorts: A powerlist case study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6172: 275-290. DOI: 10.1007/978-3-642-14052-5_20 |
0.368 |
|
| 2010 |
Falke S, Kapur D. Termination of context-sensitive rewriting with built-in numbers and collection data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5979: 44-61. DOI: 10.1007/978-3-642-11999-6_4 |
0.663 |
|
| 2010 |
Marron M, Majumdar R, Stefanovic D, Kapur D. Shape analysis with reference set relations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5944: 247-262. DOI: 10.1007/978-3-642-11319-2_19 |
0.584 |
|
| 2009 |
Marron M, Kapur D, Hermenegildo M. Identification of logically related heap regions International Symposium On Memory Management, Ismm. 89-98. DOI: 10.1145/1542431.1542446 |
0.555 |
|
| 2009 |
Chtcherba AD, Kapur D, Minimair M. Cayley-Dixon projection operator for multi-univariate composed polynomials Journal of Symbolic Computation. 44: 972-999. DOI: 10.1016/J.Jsc.2008.07.007 |
0.788 |
|
| 2009 |
Falke S, Kapur D. Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures Electronic Notes in Theoretical Computer Science. 237: 75-90. DOI: 10.1016/J.Entcs.2009.03.036 |
0.688 |
|
| 2009 |
Kapur D, Cai Y. An algorithm for computing a Gröbner basis of a polynomial ideal over a ring with zero divisors Mathematics in Computer Science. 2: 601-634. DOI: 10.1007/S11786-009-0072-Z |
0.346 |
|
| 2009 |
Falke S, Kapur D. A term rewriting approach to the automated termination analysis of imperative programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5663: 277-293. DOI: 10.1007/978-3-642-02959-2_22 |
0.624 |
|
| 2008 |
Marron M, Hermenegildo M, Kapur D, Stefanovic D. Efficient context-sensitive shape analysis with graph based heap models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4959: 245-259. DOI: 10.1007/978-3-540-78791-4_17 |
0.599 |
|
| 2008 |
Falke S, Kapur D. Dependency pairs for rewriting with built-in numbers and semantic data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5117: 94-109. DOI: 10.1007/978-3-540-70590-1_7 |
0.668 |
|
| 2007 |
Rodríguez-Carbonell E, Kapur D. Automatic generation of polynomial invariants of bounded degree using abstract interpretation Science of Computer Programming. 64: 54-75. DOI: 10.1016/J.Scico.2006.03.003 |
0.465 |
|
| 2007 |
Rodríguez-Carbonell E, Kapur D. Generating all polynomial invariants in simple loops Journal of Symbolic Computation. 42: 443-476. DOI: 10.1016/J.Jsc.2007.01.002 |
0.495 |
|
| 2007 |
Falke S, Kapur D. Dependency pairs for rewriting with non-free constructors Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4603: 426-442. |
0.651 |
|
| 2006 |
Kapur D. A quantifier-elimination based heuristic for automatically generating inductive assertions for programs Journal of Systems Science and Complexity. 19: 307-330. DOI: 10.1007/S11424-006-0307-X |
0.442 |
|
| 2006 |
Chtcherba AD, Kapur D. Conditions for determinantal formula for resultant of a polynomial system Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 2006: 55-62. |
0.799 |
|
| 2006 |
Falke S, Kapur D. Inductive decidability using implicit induction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4246: 45-59. |
0.641 |
|
| 2005 |
Chtcherba AD, Kapur D, Minimair M. Cayley-Dixon resultant matrices of multi-univariate composed polynomials Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3718: 125-137. DOI: 10.1007/11555964_11 |
0.795 |
|
| 2005 |
Rodríguez-Carbonell E, Kapur D. Program verification using automatic generation of invariants Lecture Notes in Computer Science. 3407: 325-340. |
0.386 |
|
| 2004 |
Chtcherba AD, Kapur D. Resultants for unmixed bivariate polynomial systems produced using the Dixon formulation Journal of Symbolic Computation. 38: 915-958. DOI: 10.1016/J.Jsc.2003.12.001 |
0.802 |
|
| 2004 |
Chtcherba AD, Kapur D. Constructing Sylvester-type resultant matrices using the Dixon formulation Journal of Symbolic Computation. 38: 777-814. DOI: 10.1016/J.Jsc.2003.11.003 |
0.805 |
|
| 2004 |
Rodríguez-Carbonell E, Kapur D. An abstract interpretation approach for automatic generation of polynomial invariants Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 280-295. |
0.353 |
|
| 2004 |
Chtcherba AD, Kapur D. Support hull: Relating the Cayley-Dixon resultant constructions to the support of a polynomial system Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 95-102. |
0.797 |
|
| 2004 |
Rodríguez-Carbonell E, Kapur D. Automatic generation of polynomial loop invariants: Algebraic foundations Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 266-273. |
0.402 |
|
| 2003 |
Chtcherba AD, Kapur D. On the relationship between the Dixon-based resultant construction and the supports of polynomial systems Acm Sigsam Bulletin. 37: 66-67. DOI: 10.1145/990353.990358 |
0.529 |
|
| 2003 |
Chtcherba AD, Kapur D. Exact resultants for corner-cut unmixed multivariate polynomial systems using the Dixon formulation Journal of Symbolic Computation. 36: 289-315. DOI: 10.1016/S0747-7171(03)00084-1 |
0.791 |
|
| 2003 |
Kapur D, Subramaniam M. Automatic generation of simple lemmas from recursive definitions using decision procedures - Preliminary report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2896: 125-145. |
0.337 |
|
| 2003 |
Kapur D, Sakhanenko NA. Automatic generation of generalization lemmas for proving properties of tail-recursive definitions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2758: 136-154. |
0.369 |
|
| 2002 |
Chtcherba AD, Kapur D. On the efficiency and optimality of Dixon-based resultant methods Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 29-36. |
0.787 |
|
| 2000 |
Kapur D, Subramaniam M. Using an induction prover for verifying arithmetic circuits International Journal On Software Tools For Technology Transfer. 3: 32-65. DOI: 10.1007/Pl00010808 |
0.374 |
|
| 2000 |
Kapur D, Sivakumar G. Proving associative-commutative termination using RPO-compatible orderings Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1761: 39-61. |
0.305 |
|
| 2000 |
Kapur D, Subramaniam M. Extending decision procedures with induction schemes Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 1831: 324-345. |
0.315 |
|
| 1998 |
Krishna Rao MRK, Kapur D, Shyamasundar RK. Transformational methodology for proving termination of logic programs Journal of Logic Programming. 34. DOI: 10.1016/S0743-1066(97)00028-9 |
0.36 |
|
| 1998 |
Kapur D, Subramaniam M. Mechanizing reasoning about large finite tables in a rewrite based theorem prover Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1538: 22-42. DOI: 10.1007/3-540-49366-2_3 |
0.43 |
|
| 1997 |
Van Hentenryck P, Mcallester D, Kapur D. Solving polynomial systems using a branch and prune approach Siam Journal On Numerical Analysis. 34: 797-827. DOI: 10.1137/S0036142995281504 |
0.429 |
|
| 1996 |
Kapur D, Subramaniam M. New uses of linear arithmetic in automated theorem proving by induction Journal of Automated Reasoning. 16: 39-78. DOI: 10.1007/Bf00244459 |
0.469 |
|
| 1996 |
Kapur D, Subramaniam M. Lemma discovery in automating induction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1104: 538-552. DOI: 10.1007/3-540-61511-3_112 |
0.335 |
|
| 1996 |
Kapur D. Rewrite-based automated reasoning: Challenges ahead Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1103: 1-2. |
0.35 |
|
| 1996 |
Kapur D, Subramaniam M. Automating induction over mutually recursive functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1101: 117-131. |
0.357 |
|
| 1995 |
Kapur D, Zhang H. An overview of Rewrite Rule Laboratory (RRL) Computers and Mathematics With Applications. 29: 91-114. DOI: 10.1016/0898-1221(94)00218-A |
0.353 |
|
| 1995 |
Kapur D, Sivakumar G, Zhang H. A path ordering for proving termination of AC rewrite systems Journal of Automated Reasoning. 14: 293-316. DOI: 10.1007/Bf00881859 |
0.446 |
|
| 1995 |
Kapur D, Subramaniam M. Automated reasoning about parallel algorithms using powerlists Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 936: 416-430. DOI: 10.1007/3-540-60043-4_68 |
0.328 |
|
| 1994 |
Kapur D, Nie X, Musser DR. An overview of the Tecton proof system Theoretical Computer Science. 133: 307-339. DOI: 10.1016/0304-3975(94)90192-9 |
0.35 |
|
| 1992 |
Kapur D, Narendran P, Rosenkrantz DJ, Zhang H. Sufficient-completeness, ground-reducibility and their complexity International Journal of Biometeorology. 36: 311-350. DOI: 10.1007/Bf01893885 |
0.426 |
|
| 1992 |
Kapur D, Narendran P. Complexity of unification problems with associative-commutative operators Journal of Automated Reasoning. 9: 261-288. DOI: 10.1007/Bf00245463 |
0.356 |
|
| 1991 |
Kapur D, Narendran P, Zhang H. Automating inductionless induction using test sets Journal of Symbolic Computation. 11: 83-111. DOI: 10.1016/S0747-7171(08)80133-2 |
0.377 |
|
| 1990 |
Kapur D, Narendran P, Otto F. On ground-confluence of term rewriting systems Information and Computation. 86: 14-31. DOI: 10.1016/0890-5401(90)90023-B |
0.337 |
|
| 1990 |
Mohan CK, Srivas MK, Kapur D. Inference rules and proof procedures for inequations The Journal of Logic Programming. 9: 75-104. DOI: 10.1016/0743-1066(90)90034-3 |
0.402 |
|
| 1990 |
Zhang H, Kapur D. Unnecessary inferences in associative-commutative completion procedures Mathematical Systems Theory. 23: 175-206. DOI: 10.1007/Bf02090774 |
0.444 |
|
| 1988 |
Kandri-Rody Ä, Kapur D. Computing a Gröbner basis of a polynomial ideal over a Euclidean domain Journal of Symbolic Computation. 6: 37-57. DOI: 10.1016/S0747-7171(88)80020-8 |
0.39 |
|
| 1988 |
Kapur D, Musser DR, Narendran P. Only prime superpositions need be considered in the Knuth-Bendix completion procedure Journal of Symbolic Computation. 6: 19-36. DOI: 10.1016/S0747-7171(88)80019-1 |
0.39 |
|
| 1988 |
Kapur D, Srivas M. Computability and implementability issues in abstract data types Science of Computer Programming. 10: 33-63. DOI: 10.1016/0167-6423(88)90015-9 |
0.378 |
|
| 1988 |
Barry M, Cyrluk D, Kapur D, Mundy J, Nguyen VD. A multi-level geometric reasoning system for vision Artificial Intelligence. 37: 291-332. DOI: 10.1016/0004-3702(88)90058-6 |
0.347 |
|
| 1988 |
Kapur D. A refutational approach to geometry theorem proving Artificial Intelligence. 37: 61-93. DOI: 10.1016/0004-3702(88)90050-1 |
0.428 |
|
| 1988 |
Kapur D, Mundy JL. Wu's method and its application to perspective viewing Artificial Intelligence. 37: 15-36. DOI: 10.1016/0004-3702(88)90048-3 |
0.359 |
|
| 1988 |
Bürckert H, Herold A, Kapur D, Siekmann JH, Stickel ME, Tepp M, Zhang H. Opening the AC-unification race Journal of Automated Reasoning. 4: 465-474. DOI: 10.1007/Bf00297251 |
0.344 |
|
| 1988 |
Kapur D, Zhang H. Proving equivalence of different axiomatizations of free groups Journal of Automated Reasoning. 4: 331-352. DOI: 10.1007/Bf00244946 |
0.418 |
|
| 1987 |
Kapur D, Narendran P. Matching, unification and complexity Acm Sigsam Bulletin. 21: 6-9. DOI: 10.1145/36330.36332 |
0.413 |
|
| 1987 |
Kapur D, Musser DR. Proof by consistency Artificial Intelligence. 31: 125-157. DOI: 10.1016/0004-3702(87)90017-8 |
0.474 |
|
| 1987 |
Kapur D, Narendran P, Zhang H. On sufficient-completeness and related properties of term rewriting systems Acta Informatica. 24: 395-415. DOI: 10.1007/Bf00292110 |
0.4 |
|
| 1986 |
Kapur D. Using Gröbner bases to reason about geometry problems Journal of Symbolic Computation. 2: 399-408. DOI: 10.1016/S0747-7171(86)80007-4 |
0.389 |
|
| 1985 |
Kapur D, Sivakumar G. RRL: theorem proving environment based on rewriting techniques Acm Sigsoft Software Engineering Notes. 10: 67-68. DOI: 10.1145/1012497.1012522 |
0.304 |
|
| 1985 |
Kapur D, Narendran P. An equational approach to theorem proving in first-order predicate calculus Acm Sigsoft Software Engineering Notes. 10: 63-66. DOI: 10.1145/1012497.1012521 |
0.305 |
|
| 1985 |
Kapur D, Narendran P. The Knuth-Bendix Completion Procedure and Thue Systems Siam Journal On Computing. 14: 1052-1072. DOI: 10.1137/0214073 |
0.385 |
|
| 1985 |
Kapur D, Narendran P, Krishnamoorthy MS, McNaughton R. The Church-Rosser property and special Thue systems Theoretical Computer Science. 39: 123-133. DOI: 10.1016/0304-3975(85)90134-3 |
0.312 |
|
| 1985 |
Kapur D, Narendran P. A finite thue system with decidable word problem and without equivalent finite canonical system Theoretical Computer Science. 35: 337-344. DOI: 10.1016/0304-3975(85)90023-4 |
0.345 |
|
| 1983 |
Guttag JV, Kapur D, Musser DR. On Proving Uniform Termination and Restricted Termination of Rewriting Systems Siam Journal On Computing. 12: 189-214. DOI: 10.1137/0212012 |
0.447 |
|
| Low-probability matches (unlikely to be authored by this person) |
| 2001 |
Kapur D, Winter VL, Berg RS. Designing a controller for a multi-train multi-track system Electronic Notes in Theoretical Computer Science. 50: 65-79. DOI: 10.1016/S1571-0661(04)00166-5 |
0.297 |
|
| 2006 |
Kapur D, Majumdar R, Zarba CG. Interpolation for data structures Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 105-116. DOI: 10.1145/1181775.1181789 |
0.296 |
|
| 1998 |
Michel JD, Nandhakumar N, Saxena T, Kapur D. Geometric, Algebraic, and Thermophysical Techniques for Object Recognition in IR Imagery Computer Vision and Image Understanding. 72: 84-97. DOI: 10.1006/Cviu.1997.0669 |
0.296 |
|
| 1985 |
Kapur D, Krishnamoorthy MS, McNaughton R, Narendran P. An O(|T|3) algorithm for testing the Church-Rosser property of thue systems Theoretical Computer Science. 35: 109-114. DOI: 10.1016/0304-3975(85)90008-8 |
0.285 |
|
| 2013 |
Kapur D. Elimination techniques for program analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7797: 194-215. DOI: 10.1007/978-3-642-37651-1_8 |
0.276 |
|
| 2006 |
Kapur D. Preface on the contributed papers Journal of Symbolic Computation. 41: 259-260. DOI: 10.1016/J.Jsc.2005.09.006 |
0.274 |
|
| 2006 |
Hong H, Kapur D, Paule P, Winkler F. Foreword: Bruno Buchberger - A life devoted to symbolic computation Journal of Symbolic Computation. 41: 255-258. DOI: 10.1016/J.Jsc.2005.09.005 |
0.274 |
|
| 1985 |
Kapur D, Krishnamoorthy MS. Worst-case choice for the stable marriage problem Information Processing Letters. 21: 27-30. DOI: 10.1016/0020-0190(85)90104-8 |
0.274 |
|
| 1988 |
Kapur D, Mundy JL. Geometric reasoning and artificial intelligence: Introduction to the special volume Artificial Intelligence. 37: 1-11. DOI: 10.1016/0004-3702(88)90047-1 |
0.268 |
|
| 2003 |
Kapur D, Narendran P, Wang L. An E-unification algorithm for analyzing protocols that use modular exponentiation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2706: 165-179. |
0.266 |
|
| 1987 |
Benanav D, Kapur D, Narendran P. Complexity of matching problems Journal of Symbolic Computation. 3: 203-216. DOI: 10.1016/S0747-7171(87)80027-5 |
0.263 |
|
| 2017 |
Demri S, Kapur D, Weidenbach C. Preface -Special Issue of Selected Extended Papers of IJCAR 2014 Journal of Automated Reasoning. 58: 1-2. DOI: 10.1007/S10817-016-9394-0 |
0.261 |
|
| 1991 |
Kapur D, Musser D, Narendran P, Stillman J. Semi-unification Theoretical Computer Science. 81: 169-187. DOI: 10.1016/0304-3975(91)90189-9 |
0.255 |
|
| 1997 |
Kapur D. Shostak’s congruence closure as completion Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1232: 23-37. |
0.25 |
|
| 2005 |
Giesl J, Kapur D. Preface@@@Second Special Issue on Techniques for Automated Termination Proofs Journal of Automated Reasoning. 34: 323-323. DOI: 10.1007/S10817-005-9013-Y |
0.249 |
|
| 2012 |
Zhao H, Zhan N, Kapur D, Larsen KG. A "hybrid" approach for synthesizing optimal controllers of hybrid systems: A case study of the oil pump industrial example Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7436: 471-485. DOI: 10.1007/978-3-642-32759-9_38 |
0.246 |
|
| 2001 |
Giesl J, Kapur D. Decidable classes of inductive theorems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2083: 469-484. |
0.243 |
|
| 1997 |
Kapur D, Sivakumar G. A total, ground path ordering for proving termination of AC-rewrite systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1232: 142-156. |
0.238 |
|
| 2001 |
Giesl J, Kapur D. Dependency pairs for equational rewriting Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2051: 93-107. |
0.236 |
|
| 2005 |
Kapur D, Narendran P, Wang L. A unification algorithm for analysis of protocols with blinded signatures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2605: 433-451. |
0.233 |
|
| 2006 |
Kapur D. Algebraic geometry, quantifier-elimination, and inductive assertions Informal Proceedings - 13th Symposium On the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006. 3-4. |
0.231 |
|
| 1997 |
Krishna Rao MRK, Kapur D, Shyamasundar RK. Proving termination of GHC programs New Generation Computing. 15: 293-338. DOI: 10.1007/BF03037949 |
0.229 |
|
| 1995 |
Kapur D, Sivakumar G. Maximal extensions of simplification orderings Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1026: 225-239. DOI: 10.1007/3-540-60692-0_51 |
0.227 |
|
| 2015 |
Kapur D, Yang Y. An algorithm to check whether a basis of a parametric polynomial system is a comprehensive Gröbner basis and the associated completion algorithm Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 2015: 243-250. DOI: 10.1145/2755996.2756676 |
0.226 |
|
| 2010 |
Varma R, Kapur D. Access, satisfaction, and future: Undergraduate education at the Indian Institutes of Technology Higher Education. 59: 703-717. DOI: 10.1007/S10734-009-9275-0 |
0.216 |
|
| 2002 |
Kapur D. A rewrite rule based framework for combining decision procedures preliminary draft Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2309: 87-102. |
0.213 |
|
| 1996 |
Kapur D, Subramaniam M. Mechanically verifying a family of multiplier circuits Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1102: 135-146. DOI: 10.1007/3-540-61474-5_64 |
0.211 |
|
| 1996 |
Vandevoorde MT, Kapur D. Distributed larch prover (DLP): An experiment in parallelizing a rewrite-rule based prover Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1103: 420-423. |
0.209 |
|
| 1997 |
Kapur D, Shyamasundar RK. Synthesizing controllers for hybrid systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1201: 361-375. DOI: 10.1007/BFb0014738 |
0.207 |
|
| 1997 |
Kapur D, Subramaniam M. Mechanizing verification of arithmetic circuits: SRT division Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1346: 103-122. |
0.205 |
|
| 2013 |
Varma R, Kapur D. Comparative analysis of brain drain, brain circulation and brain retain: A case study of Indian Institutes of Technology Journal of Comparative Policy Analysis: Research and Practice. 15: 315-330. DOI: 10.1080/13876988.2013.810376 |
0.202 |
|
| 2010 |
Kapur D, Sun Y, Wang D. A new algorithm for computing comprehensive Gröbner systems Proceedings of the International Symposium On Symbolic and Algebraic Computation, Issac. 29-36. |
0.2 |
|
| 2003 |
Cochran J, Kapur D, Stefanović D. Model checking reconfigurable processor configurations for safety properties Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2778: 996-999. |
0.199 |
|
| 2012 |
Gao XS, Kapur D. A brief introduction to Wen-Tsun Wu's academic career Journal of Symbolic Computation. 47: 586-588. DOI: 10.1016/J.Jsc.2011.12.021 |
0.198 |
|
| 1979 |
Kapur D. Specifications of Majster's traversable stack and Veloso's traversable stack Sigplan Notices. 14: 46-53. DOI: 10.1145/988090.988096 |
0.197 |
|
| 2015 |
Varma R, Kapur D. Decoding femininity in computer science in India Communications of the Acm. 58: 56-62. DOI: 10.1145/2663339 |
0.187 |
|
| 2015 |
Erbatur S, Kapur D, Marshall AM, Narendran P, Ringeissen C. Unification and matching in hierarchical combinations of syntactic theories Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9322: 291-306. DOI: 10.1007/978-3-319-24246-0_18 |
0.187 |
|
| 2012 |
Kapur D. Program analysis using quantifier-elimination heuristics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7287: 94-108. DOI: 10.1007/978-3-642-29952-0_15 |
0.186 |
|
| 2003 |
Giesl J, Kapur D. Deciding inductive validity of equations Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2741: 17-31. |
0.173 |
|
| 2014 |
Nguyen T, Kapur D, Weimer W, Forrest S. DIG: A dynamic invariant generator for polynomial and array invariants Acm Transactions On Software Engineering and Methodology. 23. DOI: 10.1145/2556782 |
0.163 |
|
| 1990 |
Bienen H, Kapur D, Parks J, Riedinger J. Decentralization in Nepal World Development. 18: 61-75. DOI: 10.1016/0305-750X(90)90103-5 |
0.162 |
|
| 2013 |
Kapur D, Nieuwenhuis R, Voronkov A, Weidenbach C, Wilhelm R. Harald Ganzinger's legacy: Contributions to logics and programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7797: 1-18. DOI: 10.1007/978-3-642-37651-1_1 |
0.16 |
|
| 2007 |
Winter V, Kapur D. Towards dynamic partitioning of reactive system behavior: A train controller case study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4322: 47-69. |
0.155 |
|
| 1979 |
Valk G, Stein W, Berndt HJ, Bossmann A, Kapur D. Beziehungen zwischen Garneigenschaften, Gewebekonstruktion und Veredlung (Relations between yarn properties, fabric construction and finishing) . |
0.146 |
|
| 1988 |
Kapur D, Ravallion M. Rational expectations as long-run equilibria: Tests for Indian securities Economics Letters. 26: 363-367. DOI: 10.1016/0165-1765(88)90200-5 |
0.133 |
|
| 2000 |
Kapur D. The use of formal methods in hardware and software cannot be abandoned Proceedings of Ieee International Symposium On High Assurance Systems Engineering. 2000: 142-143. DOI: 10.1109/HASE.2000.895453 |
0.131 |
|
| 2007 |
Herrera YM, Kapur D. Improving data quality: Actors, incentives, and capabilities Political Analysis. 15: 365-386. DOI: 10.1093/Pan/Mpm007 |
0.125 |
|
| 1973 |
Macleod N, Kapur DN. A kinematically designed mount for the precise location of specimens for holographic interferometry Journal of Physics E: Scientific Instruments. 6: 423-424. DOI: 10.1088/0022-3735/6/5/003 |
0.117 |
|
| 2009 |
Boatwright P, Cagan J, Kapur D, Saltiel A. A step-by-step process to build valued brands Journal of Product and Brand Management. 18: 38-49. DOI: 10.1108/10610420910933353 |
0.116 |
|
| 1997 |
Kapur D. Rewriting, decision procedures and lemma speculation for automated hardware verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1275: 171-182. |
0.108 |
|
| 2012 |
Sinha M, Kapur D, Agarwal V. An ultracapacitor driven short-distance electric vehicle Pedes 2012 - Ieee International Conference On Power Electronics, Drives and Energy Systems. DOI: 10.1109/PEDES.2012.6484366 |
0.107 |
|
| 2006 |
Giesl J, Kapur D. Second special issue on techniques for automated termination proofs Journal of Automated Reasoning. 34: 323. DOI: 10.1007/s10817-005-9021-y |
0.104 |
|
| 2007 |
Kapur D, Webb R. Beyond the IMF Economic and Political Weekly. 42: 581-589. |
0.102 |
|
| 1974 |
Kapur DN, Macleod N. The determination of local mass-transfer coefficients by holographic interferometry-I International Journal of Heat and Mass Transfer. 17: 1151-1162. DOI: 10.1016/0017-9310(74)90117-3 |
0.096 |
|
| 2008 |
Agrawal A, Kapur D, McHale J. How do spatial and social proximity influence knowledge flows? Evidence from patent data Journal of Urban Economics. 64: 258-269. DOI: 10.1016/J.Jue.2008.01.003 |
0.089 |
|
| 2002 |
Kapur D. The common pool dilemma of global public goods: Lessons from the World Bank's net income and reserves World Development. 30: 337-354. DOI: 10.1016/S0305-750X(01)00120-6 |
0.087 |
|
| 2006 |
Giesl J, Kapur D. Third special issue on techniques for automated termination proofs Journal of Automated Reasoning. 37: 153-154. DOI: 10.1007/s10817-006-9052-z |
0.086 |
|
| 2008 |
Kapur D. Lecture Notes in Artificial Intelligence: Preface Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5081. |
0.085 |
|
| 2011 |
Jezukaitis P, Kapur D. Management of occupation-related musculoskeletal disorders Best Practice and Research: Clinical Rheumatology. 25: 117-129. PMID 21663854 DOI: 10.1016/j.berh.2011.01.010 |
0.082 |
|
| 2013 |
Erbatur S, Kapur D, Marshall AM, Narendran P, Ringeissen C. Hierarchical combination Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7898: 249-266. DOI: 10.1007/978-3-642-38574-2_17 |
0.082 |
|
| 1984 |
Berndt HJ, Kapur D. Determining the edge abrasion resistance of woven fabrics . |
0.078 |
|
| 1990 |
Lewis JP, Kapur D. An updating country study: Thailand's needs and prospects in the 1990s World Development. 18: 1363-1378. DOI: 10.1016/0305-750X(90)90116-F |
0.077 |
|
| 2007 |
Kapur D, McHale J. Sojourns and Software: Internationally Mobile Human Capital and High-Tech Industry Development in India, Ireland, and Israel From Underdogs to Tigers: the Rise and Growth of the Software Industry in Brazil, China, India, Ireland, and Israel. DOI: 10.1093/acprof:oso/9780199275601.003.0009 |
0.071 |
|
| 2008 |
Kapur D, Mukhopadhyay P, Subramanian A. The case for direct cash transfers to the poor Economic and Political Weekly. 43: 37-43. |
0.071 |
|
| 2006 |
Kapur D, Iyengar K. The limits of integration in improving South Asian security Strategic Asia 2006-07: Trade, Interdependence, and Security. 241-269. |
0.071 |
|
| 1986 |
Lee P, McKenna D, Kapur D, Jensen KF. MOCVD in inverted stagnation point flow. I. Deposition of GaAs from TMAs and TMGa Journal of Crystal Growth. 77: 120-127. DOI: 10.1016/0022-0248(86)90291-5 |
0.07 |
|
| 1989 |
Kapur DK, Ahuja GK. Immunocytochemistry of Male reproductive organs Systems Biology in Reproductive Medicine. 23: 169-183. DOI: 10.3109/01485018908986840 |
0.068 |
|
| 1984 |
Berndt HJ, Kapur D. Determination of the edge abrasion resistance of fabrics . |
0.067 |
|
| 2011 |
Agrawal A, Kapur D, McHale J, Oettl A. Brain drain or brain bank? The impact of skilled emigration on poor-country innovation Journal of Urban Economics. 69: 43-55. DOI: 10.1016/J.Jue.2010.06.003 |
0.067 |
|
| 2004 |
Desai MA, Kapur D, McHale J. Sharing the spoils: Taxing international human capital flows International Tax and Public Finance. 11: 663-693. DOI: 10.1023/B:Itax.0000036696.58785.F9 |
0.067 |
|
| 2009 |
Kapur D, Mchale J. International migration and the world income distribution Journal of International Development. 21: 1102-1110. DOI: 10.1002/Jid.1649 |
0.067 |
|
| 1989 |
Kapur DK, Ahuja GK. Immunocytochemistry of male reproductive organs. Archives of Andrology. 23: 169-83. PMID 2694993 |
0.064 |
|
| 2001 |
Kapur D, Grimsehl K. A comparison of cerebrospinal fluid pressure and block height after spinal anaesthesia in the right and left lateral position in pregnant women undergoing Caesarean section European Journal of Anaesthesiology. 18: 668-672. PMID 11553243 DOI: 10.1046/j.1365-2346.2001.00906.x |
0.063 |
|
| 2011 |
Kapur D. The shift to cash transfers: Running better but on the wrong road? Economic and Political Weekly. 46: 80-85. |
0.062 |
|
| 2002 |
Kapur D, Agarwal KN, Sharma S. Detecting iron deficiency anemia among children (9-36 months of age) by implementing a screening program in an urban slum Indian Pediatrics. 39: 671-676. |
0.06 |
|
| 2001 |
Singh K, Kapur D. Law, violence, and the girl child Health and Human Rights. 5: 8-29. |
0.059 |
|
| 2013 |
Baranoff J, Hanrahan SJ, Kapur D, Connor JP. Acceptance as a process variable in relation to catastrophizing in multidisciplinary pain treatment. European Journal of Pain (London, England). 17: 101-10. PMID 22610541 DOI: 10.1002/j.1532-2149.2012.00165.x |
0.058 |
|
| 2005 |
Giesl J, Kapur D. Journal of Automated Reasoning: Preface Journal of Automated Reasoning. 34: 103-104. DOI: 10.1007/s10817-006-7237-0 |
0.058 |
|
| 1990 |
Agarwal RK, Kapur D, Kumari S. Development of BCG scar in relation to the age and nutritional status Indian Pediatrics. 27: 291-293. PMID 2351451 |
0.058 |
|
| 2011 |
Kapur D. Philanthropy, Self-Interest, and Accountability: American Universities and Developing Countries Giving Well: the Ethics of Philanthropy. DOI: 10.1093/acprof:oso/9780199739073.003.0014 |
0.057 |
|
| 2016 |
Pal P, Gupta H, Kapur D. Carbon mitigation potential of Indian steel industry Mitigation and Adaptation Strategies For Global Change. 21: 391-402. DOI: 10.1007/s11027-014-9605-0 |
0.056 |
|
| 1976 |
Kapur DN, Macleod N. Vapor pressure determination for certain high-boiling liquids by holography Industrial and Engineering Chemistry Product Research and Development. 15: 50-54. |
0.056 |
|
| 2002 |
Kapur D. Centrally acting non-opioid analgesic drugs Current Anaesthesia and Critical Care. 13: 328-333. DOI: 10.1054/cacc.2003.0424 |
0.055 |
|
| 2003 |
Kapur D, McHale J. Migration's New Payoff Foreign Policy. 48-57. |
0.055 |
|
| 1973 |
Cremer J, Kapur D. Material-specific machine adjustments by systematic yarn tension measurements in weaving preparatory processes and in weaving . |
0.054 |
|
| 2014 |
Baranoff J, Hanrahan SJ, Kapur D, Connor JP. Validation of the Chronic Pain Acceptance Questionnaire-8 in an Australian pain clinic sample. International Journal of Behavioral Medicine. 21: 177-85. PMID 23179676 DOI: 10.1007/s12529-012-9278-6 |
0.052 |
|
| 2002 |
Natarajan V, Kapur D, Sharma S, Singh G. Pregnancy in patients with spina bifida and urinary diversion International Urogynecology Journal and Pelvic Floor Dysfunction. 13: 383-385. PMID 12466911 DOI: 10.1007/s001920200085 |
0.052 |
|
| 2010 |
Kapur D. The middle class in India: A social formation or political actor? Political Power and Social Theory. 21: 143-169. DOI: 10.1108/S0198-8719(2010)0000021011 |
0.052 |
|
| 2014 |
Kapur D. Political effects of international migration Annual Review of Political Science. 17: 479-502. DOI: 10.1146/Annurev-Polisci-043010-095807 |
0.051 |
|
| 1987 |
Kapur D, Pandey R, Vaidya S, Khuller GK. Effect of environmental factors on the limpid composition membrane structure and permeability of Microsporum gypseum Journal of Biosciences. 12: 297-302. DOI: 10.1007/BF02703075 |
0.049 |
|
| 2000 |
Medeiros BC, Maness LJ, Bauer FA, Ross JW, Kapur D. Unusual presentation of "extracavitary" primary effusion lymphoma in previously unknown HIV disease. Connecticut Medicine. 64: 591-4. PMID 11100630 |
0.049 |
|
| 2015 |
Kapur D, Nangia P. Social protection in India: A welfare state sans public goods? India Review. 14: 73-90. DOI: 10.1080/14736489.2015.1001275 |
0.046 |
|
| 2002 |
Kapur D, Agarwal KN, Sharma S, Kela K, Kaur I. Iron status of children aged 9-36 months in an urban slum integrated child development services project in Delhi Indian Pediatrics. 39: 136-144. |
0.044 |
|
| 2014 |
Baranoff J, Hanrahan SJ, Kapur D, Connor JP. Six month post-treatment deterioration in acceptance (CPAQ-8) and cognitions following multidisciplinary pain treatment. Journal of Behavioral Medicine. 37: 469-79. PMID 23504128 DOI: 10.1007/s10865-013-9502-0 |
0.042 |
|
| 2005 |
Kapur D. Radiofrequency lesioning techniques in the management of chronic pain Anaesthesia and Intensive Care Medicine. 6: 56-58. DOI: 10.1383/anes.6.2.56.59091 |
0.039 |
|
| 2007 |
Link DC, Kunter G, Kasai Y, Zhao Y, Miner T, McLellan MD, Ries RE, Kapur D, Nagarajan R, Dale DC, Bolyard AA, Boxer LA, Welte K, Zeidler C, Donadieu J, et al. Distinct patterns of mutations occurring in de novo AML versus AML arising in the setting of severe congenital neutropenia. Blood. 110: 1648-55. PMID 17494858 DOI: 10.1182/Blood-2007-03-081216 |
0.039 |
|
| 1996 |
Walia L, Ahuja GK, Kapur DK. Thermosensitive and pH mechanisms regulating urine formation. Indian Journal of Experimental Biology. 34: 359-62. PMID 8698426 |
0.037 |
|
| 1985 |
Kapur DK, Gupta GS. Immunological specificity of hexosaminidases from human seminal plasma American Journal of Reproductive Immunology and Microbiology. 7: 39-43. PMID 2580450 |
0.036 |
|
| 1980 |
Berndt HJ, Kapur D. Problems in abrasion testing of fabrics . |
0.036 |
|
| 2003 |
Kapur D, Sharma S, Agarwal KN. Effectiveness of Nutrition Education, Iron Supplementation or both on Iron Status in Children Indian Pediatrics. 40: 1131-1144. PMID 14722364 |
0.036 |
|
| 1982 |
Gupta GS, Kapur DK. Immunochemical investigations of human seminal plasma acid phosphatase Andrologia. 14: 154-163. PMID 7049006 |
0.035 |
|
| 2008 |
Kapur D, Mukhopadhyay P, Subramanian A. More on direct cash transfers Economic and Political Weekly. 43: 85-87. |
0.035 |
|
| 1999 |
Aggarwal SP, Kapur DK, Thukral R. Electrocardiographic holter monitor and cardiac enzymes changes in cerebro-vascular accidents Biomedicine. 19: 41-44. |
0.03 |
|
| 2005 |
Kapur D, Sharma S, Agarwal KN. Dietary intake and growth pattern of children 9-36 months of age in an urban slum in Delhi Indian Pediatrics. 42: 351-356. PMID 15876596 |
0.028 |
|
| 1989 |
Bienen HS, Kapur D, Parks J, Riedinger J. Decentralization in Nepal: Perspectives of Local Development Officers International Review of Administrative Sciences. 55: 433-444. DOI: 10.1177/002085238905500305 |
0.025 |
|
| 2004 |
Smith BD, Kapur D, Esfahanian SI, Dhami MS, Fischer JJ. Case 2. Isolated needle-track recurrence following fine needle aspiration for non-small-cell lung cancer Journal of Clinical Oncology. 22: 3828-3829. PMID 15365081 DOI: 10.1200/JCO.2004.11.058 |
0.024 |
|
| 1986 |
Kapur DK, Gupta GS. Purification, biochemical properties and active sites of N-acetyl-β-D-hexosaminidases from human seminal plasma Biochemical Journal. 236: 103-109. PMID 2947567 |
0.023 |
|
| 2002 |
Kapur D, Agarwal KN, Agarwal DK. Nutritional anemia and its control Indian Journal of Pediatrics. 69: 607-616. PMID 12173702 |
0.02 |
|
| 2003 |
Kapur D. Neuropathic pain and diabetes Diabetes/Metabolism Research and Reviews. 19. PMID 12577253 DOI: 10.1002/dmrr.359 |
0.019 |
|
| 2012 |
Kapur D, McHale J. Economic Effects of Emigration on Sending Countries Oxford Handbook of the Politics of International Migration. DOI: 10.1093/oxfordhb/9780195337228.013.0006 |
0.019 |
|
| 2013 |
Kapur D. India and international financial institutions and arrangements Shaping the Emerging World: India and the Multilateral Order. 237-259. |
0.016 |
|
| 2011 |
Kapur D, Cornish PB, Snellgrove CA, Cherry DA. Should opioids be used for chronic non-cancer pain? Medical Journal of Australia. 195: 513-514. PMID 22060078 DOI: 10.5694/mja11.11127 |
0.014 |
|
| 1974 |
Kapur DK, Robb JDA, Ferguson P, Downing D. Primary skin actinomycosis of the chest wall Ulster Medical Journal. 43: 64-67. PMID 4150743 |
0.014 |
|
| 2004 |
Smaradottir A, Kapur D, Bilgrami S. Unusual extramedullary relapse of CML [3] Annals of Oncology. 15: 1296-1297. PMID 15277274 |
0.013 |
|
| 2005 |
Kapur D, Naím M. The IMF and democratic governance Journal of Democracy. 16: 89-102. |
0.012 |
|
| 2010 |
Kapur D. Diaspora, development, and democracy: The domestic impact of international migration from India Diaspora, Development, and Democracy: the Domestic Impact of International Migration From India. 1-325. |
0.012 |
|
| 1981 |
Gupta GS, Kapur DK. Purification & characterisation of mouse testicular beta-N-acetylglucosaminidase Indian Journal of Biochemistry and Biophysics. 18: 187-191. PMID 7309094 |
0.012 |
|
| 2014 |
Kapur D. Whiplash and fibromyalgia Journal of Rheumatology. 41: 2323. PMID 25362718 DOI: 10.3899/jrheum.140556 |
0.01 |
|
| 2008 |
Frank B, Serpell MG, Hughes J, Matthews JN, Kapur D. Comparison of analgesic effects and patient tolerability of nabilone and dihydrocodeine for chronic neuropathic pain: randomised, crossover, double blind study. Bmj (Clinical Research Ed.). 336: 199-201. PMID 18182416 DOI: 10.1136/bmj.39429.619653.80 |
0.01 |
|
| 2003 |
Kapur D. Shall we be using cannabis for pain control? Progress in Palliative Care. 11: 248-250. DOI: 10.1179/096992603322731134 |
0.01 |
|
| 2002 |
Kapur D, Ramamurti R. India's emerging competitive advantage in services Ieee Engineering Management Review. 30: 44-55. DOI: 10.1109/Emr.2002.1022421 |
0.01 |
|
| 1999 |
Kapur D, Mehta PB. India in 1998: The travails of political fragmentation Asian Survey. 39: 163-175. |
0.01 |
|
| 1988 |
Kapur DK, Gupta GS. Immunocytochemical localization of β-N-acetyl glucosaminidase in human reproductive organs Biology of Reproduction. 38: 373-376. PMID 3282553 |
0.01 |
|
| 1982 |
Gupta GS, Kapur DK. Restoration of seminal acid phosphatase activity in presence of antibodies Indian Journal of Biochemistry and Biophysics. 19: 359-361. PMID 7184852 |
0.01 |
|
| 1977 |
Singh K, Kapur DP. Fluid therapy in haemorrhagic shock (An experimental study Indian Journal of Surgery. 39: 429-435. |
0.01 |
|
| 1952 |
UDUPA KN, KAPUR D. Recent advances in the management of acute peritonitis The Antiseptic. 49: 843-850. PMID 13017538 |
0.01 |
|
| Hide low-probability matches. |