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

Related topics

Related topics

9 relations
Alexander StepanovC++Computer scienceGeneric programming
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
New constraints on oscillation parameters from v(e) appearance and v(mu) disappearance in the NOvA experiment
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 and Mat Management in an Established Creeping Bentgrass Golf Green
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 mammals of Palawan Island, Philippines
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
Developing and refining mental models in open-ended learning environments: A case study
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
Proof by Consistency
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
Newton's iteration and the sparse Hensel algorithm (Extended Abstract)
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
How to Prove Algebraic Inductive Hypotheses Without Induction
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
Final Algebra Semantics and Data Type Extensions
  • 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
Abstract data types and software validation
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
On square-free decomposition algorithms
  • 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?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE