W. Brown - Concepedia

Author

W. Brown

Also Known As

W U BROWN, W. Brown, Walter Brown

Publications

346

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	266
2	Computer Engineering	4	4	151
3	Computer Science	4	4	151
4	Medicine	1	1	56
5	Antenna	1	1	22

W. Brown

Publications

322

Citations

H-Index

Page 1

	Year	Citations
Models of radar imaging of the ocean surface waves C. Elachi, W. Brown IRE Transactions on Antennas and Propagation RadarGeophysicsEngineeringComplex Sea StateSynthetic Aperture Radar	1977	93
Verification of gate-level arithmetic circuits by function extraction Maciej Ciesielski, Cunxi Yu, W. Brown, Circuit ComplexityEngineeringVerificationComputer ArchitectureComputational Complexity	2015	59
Formal Verification of Arithmetic Circuits by Function Extraction Cunxi Yu, W. Brown, Duo Liu, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Circuit ComplexityEngineeringHardware Verification LanguageVerificationComputer Architecture	2016	57
The hemodynamic effects of intrauterine hypoxia: An experimental model in newborn lambs Welton M. Gersony, Hisayo O. Morishima, Salha S. Daniel, The Journal of Pediatrics Animal PhysiologyVeterinary PhysiologyPhysiologyHypoxia (Medicine)Tissue Oxygenation	1976	56
Logic Debugging of Arithmetic Circuits Samaneh Ghandali, Cunxi Yu, Duo Liu, Circuit ComplexityEngineeringVerificationComputer-aided VerificationSoftware Analysis	2015	23
Ocean Wave Detection and Direction Measurements with Microwave Radars P. G. Teleki, Robert A. Shuchman, W. Brown, RadarGeophysicsElectromagnetic EnergyEngineeringSynthetic Aperture Radar	1978	22
Function Extraction from Arithmetic Bit-Level Circuits Maciej Ciesielski, W. Brown, Duo Liu, Circuit ComplexityEngineeringComputer ArchitectureComputational ComplexityFormal Verification	2014	12

Page 1