Concepedia

W. Brown

WB

7

Publications

322

Citations

7

H-Index

1976

Active since

Affiliations

University of Massachusetts Amherst(Current)

Université de Bretagne Sud

Université de Bretagne Occidentale

Laboratoire des Sciences et Techniques de l’Information de la Communication et de la Connaissance

W. Brown is an author at University of Massachusetts Amherst specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceCircuit ComplexityFormal VerificationComputer EngineeringVerificationCircuit DesignHardware SecurityComputer Architecture

Publications per year

1976–2016

7

Publications

7

Models of radar imaging of the ocean surface waves

C. Elachi, W. Brown · IRE Transactions on Antennas and Propagation · 1977 · 93 citations

Radar, Geophysics, Engineering +13

Verification of gate-level arithmetic circuits by function extraction

Maciej Ciesielski, Cunxi Yu, W. Brown et al. · 2015 · 59 citations

Circuit Complexity, Engineering, Verification +16

Formal Verification of Arithmetic Circuits by Function Extraction

Cunxi Yu, W. Brown, Duo Liu et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2016 · 57 citations

Circuit Complexity, Engineering, Hardware Verification Language +16

The hemodynamic effects of intrauterine hypoxia: An experimental model in newborn lambs

Welton M. Gersony, Hisayo O. Morishima, Salha S. Daniel et al. · The Journal of Pediatrics · 1976 · 56 citations

Animal Physiology, Veterinary Physiology, Physiology +8

Logic Debugging of Arithmetic Circuits

Samaneh Ghandali, Cunxi Yu, Duo Liu et al. · 2015 · 23 citations

Circuit Complexity, Engineering, Verification +18

Rows per page

1–5 of 7