Concepedia

G.E. Alderson

GA

4

Publications

244

Citations

4

H-Index

1970

Active since

Affiliations

HRL Laboratories (United States)(Current)

Purdue University West Lafayette

G.E. Alderson is an author at HRL Laboratories (United States) specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringFormal MethodsSystems EngineeringComputer EngineeringNetwork ScienceComputer ScienceNetwork AnalysisProgram AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

1970–1998

4

Publications

4

An Advanced Fault Isolation System for Digital Logic

N. Benowitz, D. F. Calhoun, G.E. Alderson et al. · IEEE Transactions on Computers · 1975 · 105 citations

Engineering, Hardware Verification Language, Mem Testing +20

Computer generation of symbolic network functions-A new theory and implementation

G.E. Alderson, P. Lin · IEEE Transactions on Circuit Theory · 1973 · 84 citations

Engineering, Topological Tree Enumeration, Network Analysis +25

SNAP: A computer program for generating symbolic network functions

P. Lin, G.E. Alderson · NASA Technical Reports Server (NASA) · 1970 · 33 citations

Cluster Computing, Engineering, Computer Program Snap +20

Plasma-enhanced, magnetron-sputtered deposition (PMD) of materials

J. N. Matossian, Ronghua Wei, John J. Vajo et al. · Surface and Coatings Technology · 1998 · 22 citations

Materials Science, Magnetism, Materials Engineering +8

Rows per page

1–4 of 4