Bernard Elspas - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

1975

SELECT - a formal system for testing and debugging programs by symbolic executionRobert S. Boyer, Bernard Elspas, Karl N. Levitt. relsoft 1975: 234-245 [doi]

1972

An Assessment of Techniques for Proving Program CorrectnessBernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman. ACM Comput. Surv., 4(2):97-147, 1972.

1971

Software ReliabilityBernard Elspas, Milton W. Green, Karl N. Levitt. Computer, 4(1):21-27, 1971. [doi]

1967

Decomposition of Group Functions and the Synthesis of Multirail CascadesBernard Elspas, Harold S. Stone. focs 1967: 184-196

1965

A conjecture on binary nongroup codes (Corresp.)Bernard Elspas. TIT, 11(4):599-600, 1965. [doi]

Single-error-correcting codes for constant-weight data wordsWilliam H. Kautz, Bernard Elspas. TIT, 11(1):132-141, 1965. [doi]

1964

Topological constraints on interconnection-limited logicBernard Elspas. focs 1964: 133-137

A Bound on the Run Measure of Switching FunctionsBernard Elspas, Robert A. Short. TC, 13(1):1-4, 1964. [doi]

1963

Symmetric Latin SquaresRobert C. Minnick, Bernard Elspas, Robert A. Short. TC, 12(2):130-131, 1963. [doi]

Error-locating codes-A new concept in error controlJack Keil Wolf, Bernard Elspas. TIT, 9(2):113-117, 1963. [doi]

1962

A note on optimum burst-error-correcting codesBernard Elspas, Robert A. Short. TIT, 8(1):39-42, 1962. [doi]

1960

A note on p -nary adjacent-error-correcting codesBernard Elspas. TIT, 6(1):13-15, 1960. [doi]

Self-Complementary Symmetry Types of Boolean FunctionsBernard Elspas. TC, 9(2):264-266, 1960. [doi]

Sign in or sign up to see more results.

runs on WebDSL