Bernard Elspas

According to our database, Bernard Elspas authored at least 13 papers between 1960 and 1975.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1975

SELECT - a formal system for testing and debugging programs by symbolic execution.

Robert S. Boyer, Bernard Elspas, Karl N. Levitt

Proceedings of the International Conference on Reliable Software 1975, 1975

1972

An Assessment of Techniques for Proving Program Correctness.

Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman

ACM Comput. Surv., 1972

1971

Software Reliability.

Bernard Elspas, Milton W. Green, Karl N. Levitt

Computer, 1971

1967

Decomposition of Group Functions and the Synthesis of Multirail Cascades

Bernard Elspas, Harold S. Stone

Proceedings of the 8th Annual Symposium on Switching and Automata Theory, 1967

1965

Single-error-correcting codes for constant-weight data words.

William H. Kautz, Bernard Elspas

IEEE Trans. Inf. Theory, 1965

A conjecture on binary nongroup codes (Corresp.).

Bernard Elspas

IEEE Trans. Inf. Theory, 1965

1964

A Bound on the Run Measure of Switching Functions.

Bernard Elspas, Robert A. Short

IEEE Trans. Electron. Comput., 1964

Topological constraints on interconnection-limited logic

Bernard Elspas

Proceedings of the 5th Annual Symposium on Switching Circuit Theory and Logical Design, 1964

1963

Error-locating codes-A new concept in error control.

Jack Keil Wolf, Bernard Elspas

IEEE Trans. Inf. Theory, 1963

Symmetric Latin Squares.

Robert C. Minnick, Bernard Elspas, Robert A. Short

IEEE Trans. Electron. Comput., 1963

1962

A note on optimum burst-error-correcting codes.

Bernard Elspas, Robert A. Short

IRE Trans. Inf. Theory, 1962

1960

A note on p -nary adjacent-error-correcting codes.

Bernard Elspas

IRE Trans. Inf. Theory, 1960

Self-Complementary Symmetry Types of Boolean Functions.

Bernard Elspas

IRE Trans. Electron. Comput., 1960