Edit Profile (opens in new tab) Musser, David R. Co-Author Distance Author ID: musser.david-r Published as: Musser, David R.; Musser, David; Musser, D. R. more...less External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 24 Publications since 1969, including 3 Books Co-Authors: 18 Co-Authors with 21 Joint Publications 309 Co-Co-Authors all top 5 Co-Authors 3 single-authored 8 Kapur, Deepak 3 Guttag, John V. 3 Kaltofen, Erich L. 3 Narendran, Paliath 2 Collins, George E. 2 Gregor, Douglas 2 Saunders, B. David 2 Schupp, Sibylle 2 Stillman, Jonathan 1 Arkoudas, Konstantine 1 Erickson, Roddy W. 1 Erlingsson, Úlfar 1 Horowitz, Ellis 1 Klostermeyer, William F. 1 Liu, Shin-Ming 1 Sánchez-Ruíz, Arturo J. 1 Shao, Zhiqing 1 Stepanov, Alexander A. all top 5 Serials 2 Journal of the Association for Computing Machinery 2 SIAM Journal on Computing 2 Theoretical Computer Science 1 Artificial Intelligence 1 Information Processing Letters 1 Journal of Symbolic Computation 1 Communications of the ACM 1 IEEE Transactions on Software Engineering Fields 21 Computer science (68-XX) 3 Number theory (11-XX) 3 Field theory and polynomials (12-XX) 2 Mathematical logic and foundations (03-XX) 2 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 15 Publications have been cited 187 times in 167 Documents Cited by ▼ Year ▼ Abstract data types and software validation. Zbl 0387.68012 Guttag, John V.; Horowitz, Ellis; Musser, David R. 44 1978 Proof by consistency. Zbl 0631.68073 Kapur, Deepak; Musser, David R. 30 1987 Multivariate polynomial factorization. Zbl 0301.65029 Musser, David R. 28 1975 Only prime superpositions need be considered in the Knuth-Bendix completion procedure. Zbl 0651.68029 Kapur, Deepak; Musser, David R.; Narendran, Paliath 23 1988 On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036 Guttag, J. V.; Kapur, D.; Musser, D. R. 18 1983 Abstract data type specification in the AFFIRM system. Zbl 0431.68022 Musser, David R. 10 1980 On the efficiency of a polynomial irreducibility test. Zbl 0372.68014 Musser, David R. 8 1978 A generalized class of polynomials that are hard to factor. Zbl 0529.68018 Kaltofen, Erich; Musser, David R.; Saunders, B. David 7 1983 An overview of the Tecton proof system. Zbl 0938.68823 Kapur, D.; Nie, X.; Musser, D. R. 7 1994 Semi-unification. Zbl 0667.68042 Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan 3 1988 Generic Gram-Schmidt orthogonalization by exact division. Zbl 0914.65038 Erlingsson, Úlfar; Kaltofen, Erich; Musser, David 2 1996 Semi-unification. Zbl 0732.68063 Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan 2 1991 The Ada generic library. Linear list processing packages. Zbl 0749.68003 Musser, David R.; Stepanov, Alexander A. 2 1989 The AFFIRM theorem prover: Proof forests and management of large proofs. Zbl 0438.68046 Erickson, Roddy W.; Musser, David R. 2 1980 User-extensible simplification — type-based optimizer generators. Zbl 0987.68867 Schupp, Sibylle; Gregor, Douglas; Musser, David; Liu, Shin-Ming 1 2001 User-extensible simplification — type-based optimizer generators. Zbl 0987.68867 Schupp, Sibylle; Gregor, Douglas; Musser, David; Liu, Shin-Ming 1 2001 Generic Gram-Schmidt orthogonalization by exact division. Zbl 0914.65038 Erlingsson, Úlfar; Kaltofen, Erich; Musser, David 2 1996 An overview of the Tecton proof system. Zbl 0938.68823 Kapur, D.; Nie, X.; Musser, D. R. 7 1994 Semi-unification. Zbl 0732.68063 Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan 2 1991 The Ada generic library. Linear list processing packages. Zbl 0749.68003 Musser, David R.; Stepanov, Alexander A. 2 1989 Only prime superpositions need be considered in the Knuth-Bendix completion procedure. Zbl 0651.68029 Kapur, Deepak; Musser, David R.; Narendran, Paliath 23 1988 Semi-unification. Zbl 0667.68042 Kapur, Deepak; Musser, David; Narendran, Paliath; Stillman, Jonathan 3 1988 Proof by consistency. Zbl 0631.68073 Kapur, Deepak; Musser, David R. 30 1987 On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036 Guttag, J. V.; Kapur, D.; Musser, D. R. 18 1983 A generalized class of polynomials that are hard to factor. Zbl 0529.68018 Kaltofen, Erich; Musser, David R.; Saunders, B. David 7 1983 Abstract data type specification in the AFFIRM system. Zbl 0431.68022 Musser, David R. 10 1980 The AFFIRM theorem prover: Proof forests and management of large proofs. Zbl 0438.68046 Erickson, Roddy W.; Musser, David R. 2 1980 Abstract data types and software validation. Zbl 0387.68012 Guttag, John V.; Horowitz, Ellis; Musser, David R. 44 1978 On the efficiency of a polynomial irreducibility test. Zbl 0372.68014 Musser, David R. 8 1978 Multivariate polynomial factorization. Zbl 0301.65029 Musser, David R. 28 1975 all cited Publications top 5 cited Publications all top 5 Cited by 208 Authors 13 Kapur, Deepak 10 Narendran, Paliath 6 Zhang, Hantao 4 Dershowitz, Nachum 4 Gramlich, Bernhard 4 Padawitz, Peter 3 Bouhoula, Adel 3 Davenport, James Harold 3 Giesl, Jürgen 3 Hermann, Miki 3 Hsiang, Jieh 3 Kaltofen, Erich L. 3 Lescanne, Pierre 3 Reddy, Uday S. 3 Schneider-Kamp, Peter 3 Snyder, Wayne 3 Thiemann, René 3 Winkler, Sarah 3 Wirth, Claus-Peter 2 Anantharaman, Siva 2 Bachmair, Leo 2 Bergstra, Jan A. 2 Blum, Edward Kenneth 2 Bonacina, Maria Paola 2 Bronsard, Francois 2 Bündgen, Reinhard 2 Comon, Hubert 2 Fuhs, Carsten 2 Gao, Shuhong 2 Geser, Alfons 2 Hasker, Robert W. 2 Jouannaud, Jean-Pierre 2 Krishnamoorthy, Mukkai S. 2 Lucas, Salvador 2 Lynch, Nancy Ann 2 Mastorakis, Nikos E. 2 Meseguer Guaita, José 2 Middeldorp, Aart 2 Musser, David R. 2 Nieuwenhuis, Robert 2 Oyamaguchi, Michio 2 Parting, Michael 2 Remy, Jean-Luc 2 Rusinowitch, Michaël 2 Sannella, Donald T. 2 Swiderski, Stephan 2 Theodorou, Nickolas J. 2 Tzafestas, Spyros G. 2 Viry, Guy 2 von zur Gathen, Joachim 2 Wand, Mitchell 2 Wang, Paul S. 1 Abbott, John A. 1 Abu Salem, Fatima K. 1 Antoy, Sergio 1 Armando, Alessandro 1 Arnon, Dennis S. 1 Avenhaus, Jürgen 1 Bauer, Friedrich Ludwig 1 Becker, Klaus W. 1 Bellia, Marco 1 Borzov, Yu. V. 1 Bostan, Alin 1 Bottesch, Ralph Christian 1 Boudet, Alexandre 1 Bousdira, Wadoud 1 Brandl, Rolf 1 Briales, Emilio 1 Brito, Gerandy 1 Broy, Manfred 1 Buchberger, Bruno 1 Burstall, Rod M. 1 Callegarin, G. 1 Caviness, Bob F. 1 Chazarain, Jacques 1 Chen, Jingwei 1 Contejean, Evelyne 1 Cook, Victor 1 Correll, Claus H. 1 Cunningham, R. J. 1 Cvetković, Dragoš 1 Dahan, Xavier 1 Danvy, Olivier 1 Dechev, Damian 1 Diarra, Nafissatou 1 Dick, A. J. J. 1 Divasón, Jose 1 Dos Reis, Gabriel 1 Dudenhefner, Andrej 1 Ehrig, Hartmut 1 Feng, Yong 1 Fernández, Maribel 1 Flajolet, Philippe 1 Fowler, Christopher F. 1 Garland, Stephen J. 1 Goguen, Joseph Amadee 1 Gu, Guoxiang 1 Gunji, Hiroshi 1 Gutiérrez, Raúl 1 Guttag, John V. ...and 108 more Authors all top 5 Cited in 39 Serials 28 Theoretical Computer Science 22 Journal of Symbolic Computation 8 Journal of Computer and System Sciences 8 Journal of Automated Reasoning 7 Acta Informatica 6 Mathematics of Computation 5 RAIRO, Informatique Théorique 3 Artificial Intelligence 3 Mathematical Systems Theory 3 Information and Computation 3 Logical Methods in Computer Science 2 Journal of Computer Science and Technology 2 Formal Aspects of Computing 2 Mathematics in Computer Science 1 International Journal of Systems Science 1 Information Processing Letters 1 Bulletin de la Société Mathématique de France 1 Calcolo 1 Computing 1 International Journal of Computer & Information Sciences 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 Semigroup Forum 1 Cybernetics 1 Circuits, Systems, and Signal Processing 1 Annals of Pure and Applied Logic 1 New Generation Computing 1 Multidimensional Systems and Signal Processing 1 Random Structures & Algorithms 1 MSCS. Mathematical Structures in Computer Science 1 Applicable Algebra in Engineering, Communication and Computing 1 Formal Methods in System Design 1 Combinatorics, Probability and Computing 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 RAIRO. Theoretical Informatics and Applications 1 Journal of Systems Science and Complexity 1 Science China. Mathematics 1 Annales Henri Lebesgue all top 5 Cited in 19 Fields 150 Computer science (68-XX) 34 Mathematical logic and foundations (03-XX) 17 Field theory and polynomials (12-XX) 15 Number theory (11-XX) 9 Commutative algebra (13-XX) 9 Group theory and generalizations (20-XX) 8 General algebraic systems (08-XX) 4 Numerical analysis (65-XX) 3 Combinatorics (05-XX) 3 Category theory; homological algebra (18-XX) 3 Systems theory; control (93-XX) 2 History and biography (01-XX) 2 Algebraic geometry (14-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 1 General and overarching topics; collections (00-XX) 1 Associative rings and algebras (16-XX) 1 Nonassociative rings and algebras (17-XX) 1 Probability theory and stochastic processes (60-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.