69
Publications
5.8K
Citations
28
H-Index
1957
Active since
Harry R. Lewis is an author at Los Alamos National Laboratory specializing in engineering, physics, and formal methods.
Top concepts
EngineeringPhysicsAutomated ReasoningFormal MethodsPlasma PhysicsComputer ScienceSpectral TheoryNatural SciencesFormal VerificationMagnetohydrodynamics
Publications per year
1957–2002
69
69
Rows per page
1–5 of 69