Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,943,783 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Alexander Stepanov
C++
Computer science
Generic programming
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Why the two-pulse photon echo is not a good quantum memory protocol
J. Ruggiero
,
J. Gouet
,
C. Simon
,
T. Chanelière
2008
Corpus ID: 55094978
We consider in this paper a two-pulse photon echo sequence in the prospect of quantum light storage. We analyze the conditions…
Expand
Highly Cited
2007
Highly Cited
2007
Thatch and Mat Management in an Established Creeping Bentgrass Golf Green
L. Mccarty
,
Matthew F. Gregg
,
J. Toler
2007
Corpus ID: 56009385
Thatch is a layer of partially decomposed organic matter between green shoot tissue and the soil surface, and mat is thatch…
Expand
Highly Cited
2001
Highly Cited
2001
Developing and refining mental models in open-ended learning environments: A case study
K. Oliver
,
M. Hannafin
2001
Corpus ID: 55511242
This qualitative case study focused on the nature of science learning through open-ended problem solving. Twelve eighth graders…
Expand
Highly Cited
1999
Highly Cited
1999
Handbook of computer vision and applications
B. Jähne
,
H. Haussecker
,
P. Geißler
1999
Corpus ID: 129449587
Contents of Volume One: Preface. Contributors. B. Jahne, Introduction. Illumination and Image Formation. H. Hausecker, Radiation…
Expand
Highly Cited
1987
Highly Cited
1987
Proof by Consistency
D. Kapur
,
D. Musser
Artificial Intelligence
1987
Corpus ID: 14075138
Highly Cited
1983
Highly Cited
1983
Factoring sparse multivariate polynomials
J. von zur Gathen
24th Annual Symposium on Foundations of Computer…
1983
Corpus ID: 1849053
Extended Abstract 1. Introduction The problem of factoring polynon1ials has a venerable history, and also has seen an exciting…
Expand
Highly Cited
1980
Highly Cited
1980
How to Prove Algebraic Inductive Hypotheses Without Induction
J. Goguen
CADE
1980
Corpus ID: 45119465
This paper proves the correctness of algebraic methods for deciding the equivalence of expressions by applying rewrite rules, and…
Expand
Highly Cited
1979
Highly Cited
1979
Final Algebra Semantics and Data Type Extensions
M. Wand
Journal of computer and system sciences (Print)
1979
Corpus ID: 28611879
Highly Cited
1978
Highly Cited
1978
Abstract data types and software validation
J. Guttag
,
E. Horowitz
,
D. Musser
CACM
1978
Corpus ID: 5435475
A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms is that they permit a…
Expand
Highly Cited
1976
Highly Cited
1976
On square-free decomposition algorithms
D. Yun
Symposium on Symbolic and Algebraic Manipulation
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE