| 2009 |
|---|
| 11 | EE | Richard M. Salter,
Robert D. Cupper,
Stuart Hirshfield,
Alexa M. Sharp:
New models for the CS1 course: a fifteen year retrospective.
SIGCSE 2009: 335-336 |
| 10 | EE | Richard M. Salter,
John L. Donaldson:
Abstraction and extensibility in digital logic simulation software.
SIGCSE 2009: 418-422 |
| 2008 |
|---|
| 9 | EE | Richard M. Salter,
John L. Donaldson:
Using DLSim 3: a scalable, extensible, multi-level logic simulator.
ITiCSE 2008: 315 |
| 2006 |
|---|
| 8 | EE | Joseph M. Kimmel,
Richard M. Salter,
Peter J. Thomas:
An Information Theoretic Framework for Eukaryotic Gradient Sensing.
NIPS 2006: 705-712 |
| 1996 |
|---|
| 7 | EE | Rhys Price Jones,
Fritz Ruehr,
Richard M. Salter:
Web-based laboratories in the introductory curriculum enhance formal methods.
SIGCSE 1996: 160-164 |
| 1994 |
|---|
| 6 | EE | Barbara Boucher Owens,
Robert D. Cupper,
Stuart Hirshfield,
Walter Potter,
Richard M. Salter:
New models for the CS1 course: what are they and are they leading to the same place?
SIGCSE 1994: 364-365 |
| 1993 |
|---|
| 5 | EE | Arthur M. Riehl,
Daniel P. Friedman,
Brian Harvey,
Simon M. Kaplan,
Richard M. Salter,
George Springer:
Using Scheme in the Introductory Computer Science Curriculum (abstract).
ACM Conference on Computer Science 1993: 533-534 |
| 4 | EE | Arthur M. Riehl,
Daniel P. Friedman,
Brian Harvey,
Simon M. Kaplan,
Richard M. Salter,
George Springer:
Using SCHEME in the introductory computer science curriculum (abstract).
SIGCSE 1993: 288 |
| 1987 |
|---|
| 3 | | Michael C. Rubenstein,
Richard M. Salter:
Computationally Extended Logic Programming.
Comput. Lang. 12(1): 1-7 (1987) |
| 1983 |
|---|
| 2 | | Richard M. Salter:
Concurrent Applicative Implementations of Nondeterministic Algorithms.
Comput. Lang. 8(2): 61-68 (1983) |
| 1980 |
|---|
| 1 | | Richard M. Salter,
Terence J. Brennan,
Daniel P. Friedman:
Concur: A Language for Continuous, Concurrent Processes.
Comput. Lang. 5(3): 163-189 (1980) |
