Edit Profile (opens in new tab) Karr, Michael Author ID: karr.michael Published as: Karr, Michael External Links: MGP Documents Indexed: 5 Publications since 1976 Co-Authors 5 single-authored Serials 1 Acta Informatica 1 Journal of the Association for Computing Machinery 1 Journal of Symbolic Computation all top 5 Fields 3 Computer science (68-XX) 2 Field theory and polynomials (12-XX) 1 Mathematical logic and foundations (03-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Difference and functional equations (39-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 171 times in 135 Documents Cited by ▼ Year ▼ Summation in finite terms. Zbl 0494.68044 Karr, Michael 70 1981 Affine relationships among variables of a program. Zbl 0358.68025 Karr, Michael 58 1976 Theory of summation in finite terms. Zbl 0585.68052 Karr, Michael 37 1985 “Delayability” in proofs of strong normalizability in the typed lambda calculus. Zbl 0583.03007 Karr, Michael 6 1985 Theory of summation in finite terms. Zbl 0585.68052 Karr, Michael 37 1985 “Delayability” in proofs of strong normalizability in the typed lambda calculus. Zbl 0583.03007 Karr, Michael 6 1985 Summation in finite terms. Zbl 0494.68044 Karr, Michael 70 1981 Affine relationships among variables of a program. Zbl 0358.68025 Karr, Michael 58 1976 all cited Publications top 5 cited Publications all top 5 Cited by 166 Authors 34 Schneider, Carsten 12 Blümlein, Johannes 7 Kauers, Manuel 5 King, Andy 5 Schönwald, Kay 4 Ablinger, Jakob 4 Paule, Peter 4 Reps, Thomas W. 3 Hou, Qinghu 3 Kovács, Laura Ildikó 3 Manna, Zohar 3 Marquard, Peter 3 Prodinger, Helmut 3 Raab, Clemens G. 3 Seidl, Helmut 3 Søndergaard, Harald 3 Sørensen, Morten Heine B. 2 Abramov, Sergeĭ Aleksandrovich 2 Aharon, Shir 2 Allamigeon, Xavier 2 Amato, Gianluca 2 Behring, Arnd 2 Bloo, Roel 2 Brauer, Jörg 2 Bronstein, Manuel Eric 2 Chen, William Yong-Chuan 2 De Freitas, Abilio 2 Driver, Kathy A. 2 Fähndrich, Manuel 2 Furia, Carlo Alberto 2 Goubault, Eric 2 Halbwachs, Nicolas 2 Horwitz, Susan 2 Kamareddine, Fairouz D. 2 Kapur, Deepak 2 Klein, Sebastian 2 Krattenthaler, Christian Friedrich 2 Lal, Akash 2 Leroux, Jérôme 2 Logozzo, Francesco 2 Meyer, Bertrand 2 Mili, Ali 2 Nadkarni, Chaitanya 2 Ocansey, Evans Doe 2 Petkovšek, Marko 2 Ranzato, Francesco 2 Sagiv, Mooly 2 Sankaranarayanan, Sriram 2 Scozzari, Francesca 2 Singer, Michael F. 2 Tiwari, Ashish Kumar 2 Von Manteuffel, Andreas 2 Wei, Yarong 2 Weideman, J. André C. 1 Ashar, Pranav 1 Bagnara, Roberto 1 Baldan, Paolo 1 Barrett, Edd 1 Barthe, Gilles 1 Bjørner, Nikolaj S. 1 Bradley, Aaron R. 1 Browne, Anca 1 Caviness, Bob F. 1 Chalupa, Marek 1 Chen, Liqian 1 Chen, Shaoshi 1 Churchill, Berkeley R. 1 Cortesi, Agostino 1 Cyphert, John 1 Feng, Ruyong 1 Feret, Jérôme 1 Ferrara, Pietro 1 Flexeder, Andrea 1 Frade, Maria João 1 Fulmek, Markus 1 Ganai, Malay K. 1 Gange, Graeme 1 Gao, Xiaoshan 1 Gascón, Adrià 1 Gaubert, Stéphane 1 Godlevsky, A. B. 1 Godoy, Guillem 1 Gonnord, Laure 1 Gupta, Aarti 1 Hardouin, Charlotte 1 Hatcliff, John 1 Hill, Patricia M. 1 Huang, Zhenyu 1 Humenberger, Andreas 1 Ivančić, Franjo 1 Kafle, Bishoksan 1 Kalita, Gautam 1 Kapitonova, Yu. V. 1 Karr, Michael 1 Khasidashvili, Zurab O. 1 Kidd, Nicholas 1 Kincaid, Zachary 1 Kowalewski, Stefan 1 Krivoj, S. L. 1 Labed Jilani, Lamia ...and 66 more Authors all top 5 Cited in 42 Serials 22 Journal of Symbolic Computation 7 Theoretical Computer Science 4 Information and Computation 3 Nuclear Physics. B 3 Advances in Applied Mathematics 3 Science of Computer Programming 3 Applicable Algebra in Engineering, Communication and Computing 3 The Journal of Logic and Algebraic Programming 3 Journal of Systems Science and Complexity 2 Discrete Mathematics 2 Information Processing Letters 2 Journal of Mathematical Physics 2 Programming and Computer Software 2 European Journal of Combinatorics 2 Formal Methods in System Design 2 The Ramanujan Journal 2 Annals of Combinatorics 2 Journal of High Energy Physics 2 Mathematics in Computer Science 2 ACM Communications in Computer Algebra 1 ACM Computing Surveys 1 Computer Physics Communications 1 Mathematics of Computation 1 Journal of Number Theory 1 Journal of Soviet Mathematics 1 Mathematische Annalen 1 Cybernetics 1 Formal Aspects of Computing 1 The Electronic Journal of Combinatorics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Difference Equations and Applications 1 Higher-Order and Symbolic Computation 1 Proceedings of the National Academy of Sciences, India. Section A. Physical Sciences 1 Theory and Practice of Logic Programming 1 Journal of Algebra and its Applications 1 Journal of Physics A: Mathematical and Theoretical 1 Nonlinear Analysis. Hybrid Systems 1 Discrete Mathematics, Algorithms and Applications 1 Frontiers of Computer Science in China 1 Computer Science Review 1 Electronic Research Archive 1 Enumerative Combinatorics and Applications all top 5 Cited in 24 Fields 97 Computer science (68-XX) 33 Special functions (33-XX) 23 Field theory and polynomials (12-XX) 15 Number theory (11-XX) 15 Quantum theory (81-XX) 12 Combinatorics (05-XX) 11 Difference and functional equations (39-XX) 7 Mathematical logic and foundations (03-XX) 5 Commutative algebra (13-XX) 4 Numerical analysis (65-XX) 3 Approximations and expansions (41-XX) 2 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Ordinary differential equations (34-XX) 2 Sequences, series, summability (40-XX) 2 Probability theory and stochastic processes (60-XX) 2 Statistics (62-XX) 1 Real functions (26-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Convex and discrete geometry (52-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year