Concepedia

D. B. Armstrong

DB

Statistics

Publications

8

Citations

836

H-Index

8

Active since

1961

Affiliations

NTT (Japan)(Current)

D. B. Armstrong is an author at NTT (Japan) specializing in computer engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringFormal MethodsFormal VerificationSystems EngineeringComputer ArchitectureVerificationProgram AnalysisAutomated Reasoning

Publications per year

1961–1972

8

Publications

8

A Deductive Method for Simulating Faults in Logic Circuits

D. B. Armstrong · IEEE Transactions on Computers · 1972 · 295 citations

Engineering, Verification, Computer Architecture +23

On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets

D. B. Armstrong · IEEE Transactions on Electronic Computers · 1966 · 227 citations

Engineering, Verification, Computer-aided Verification +22

A Programmed Algorithm for Assigning Internal Codes to Sequential Machines

D. B. Armstrong · IEEE Transactions on Electronic Computers · 1962 · 88 citations

Artificial Intelligence, Engineering, Computer Architecture +24

Design of Asynchronous Circuits Assuming Unbounded Gate Delays

D. B. Armstrong, Arthur Friedman, P.R. Menon · IEEE Transactions on Computers · 1969 · 77 citations

Circuit Complexity, Engineering, Verification +16

A General Method of Applying Error Correction to Synchronous Digital Systems

D. B. Armstrong · Bell System Technical Journal · 1961 · 60 citations

Engineering, Error Control Technique, Verification +25

1–5 of 8