Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

David Musser

Known as: Dave Musser, Musser 
David "Dave" Musser is a professor emeritus of computer science at the Rensselaer Polytechnic Institute in Troy, New York, United States. He is known… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
For full abstract please refer to Official URL link”, or if there is a document attached which contains the abstract, “For full… Expand
  • table I
  • figure 1
  • table II
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Thatch is a layer of partially decomposed organic matter between green shoot tissue and the soil surface, and mat is thatch… Expand
  • table 1
  • table 2
  • table 4
  • table 3
  • table 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
The mammal fauna of Palawan Island, Philippines is here documented to include 58 native species plus four non-native species… Expand
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This qualitative case study focused on the nature of science learning through open-ended problem solving. Twelve eighth graders… Expand
  • figure 1
  • figure 2
  • table 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract Advances of the past decade in methods and computer programs for showing consistency of proof systems based on first… Expand
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
1981
1981
This paper presents an organization of the p-adic lifting (or Hensel) algorithm that differs from the organization previously… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
This paper proves the correctness of algebraic methods for deciding the equivalence of expressions by applying rewrite rules, and… Expand
Is this relevant?
Highly Cited
1979
Highly Cited
1979
  • M. Wand
  • J. Comput. Syst. Sci.
  • 1979
  • Corpus ID: 28611879
Abstract We consider the problem of data type extensions. Guttag, Horowitz, and Musser have pointed out that in this situation… Expand
Is this relevant?
Highly Cited
1978
Highly Cited
1978
A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a… Expand
  • figure 3
  • figure 4
  • figure 8
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
1976
Highly Cited
1976
  • D. Yun
  • SYMSAC '76
  • 1976
  • Corpus ID: 12861227
In this paper, we will give three different (including revamped versions of Horowitz's and Musser's) algorithms for computing the… Expand
Is this relevant?