Concepedia

B. Elspas

BE

12

Publications

1.3K

Citations

11

H-Index

1959

Active since

Affiliations

SRI International(Current)

B. Elspas is an author at SRI International specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringDiscrete MathematicsEducation

Publications per year

1959–1975

12

Publications

12

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

Robert S. Boyer, B. Elspas, Karl Levitt · ACM SIGPLAN Notices · 1975 · 386 citations

Program Checking, Engineering, Software Systems +20

The Theory of Autonomous Linear Sequential Networks

B. Elspas · IRE Transactions on Circuit Theory · 1959 · 304 citations

Circuit Complexity, Engineering, Network Analysis +18

Graphs with circulant adjacency matrices

B. Elspas, James Turner · Journal of Combinatorial Theory · 1970 · 221 citations

Geometric Graph Theory, Network Science, Graph Theory +6

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

Robert S. Boyer, B. Elspas, Karl Levitt · 1975 · 162 citations

Program Checking, Engineering, Verification +19

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

J.K. Wolf, B. Elspas · IEEE Transactions on Information Theory · 1963 · 68 citations

Engineering, Error Control Technique, Verification +17

Rows per page

1–5 of 12