Bernard Elspas

Publication Activity (10 Years)

Years Active: 1960-1975
Publications (10 Years): 0

Publications

Robert S. Boyer, Bernard Elspas, Karl N. Levitt
SELECT - a formal system for testing and debugging programs by symbolic execution. Reliable Software (1975)
Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman
An Assessment of Techniques for Proving Program Correctness. ACM Comput. Surv. 4 (2) (1972)
Bernard Elspas, Milton W. Green, Karl N. Levitt
Software Reliability. Computer 4 (1) (1971)
Bernard Elspas, Harold S. Stone
Decomposition of Group Functions and the Synthesis of Multirail Cascades SWAT (1967)
Bernard Elspas
A conjecture on binary nongroup codes (Corresp.). IEEE Trans. Inf. Theory 11 (4) (1965)
William H. Kautz, Bernard Elspas
Single-error-correcting codes for constant-weight data words. IEEE Trans. Inf. Theory 11 (1) (1965)
Bernard Elspas, Robert A. Short
A Bound on the Run Measure of Switching Functions. IEEE Trans. Electron. Comput. 13 (1) (1964)
Bernard Elspas
Topological constraints on interconnection-limited logic SWCT (1964)
Robert C. Minnick, Bernard Elspas, Robert A. Short
Symmetric Latin Squares. IEEE Trans. Electron. Comput. 12 (2) (1963)
Jack Keil Wolf, Bernard Elspas
Error-locating codes-A new concept in error control. IEEE Trans. Inf. Theory 9 (2) (1963)
Bernard Elspas, Robert A. Short
A note on optimum burst-error-correcting codes. IRE Trans. Inf. Theory 8 (1) (1962)
Bernard Elspas
Self-Complementary Symmetry Types of Boolean Functions. IRE Trans. Electron. Comput. 9 (2) (1960)
Bernard Elspas
A note on p -nary adjacent-error-correcting codes. IRE Trans. Inf. Theory 6 (1) (1960)