Mark N. Wegman - Concepedia

Author

Mark N. Wegman

IBM Research - Thomas J. Watson Research Center

Also Known As

M N Wegman, M Wegman, M. N. Wegman, M. Wegman, M.N. Wegman, Mark N Wegman, Mark N. Wegman, Mark Wegman, Martin Wegman, Wegman, Mark N

Publications

11.9K

Citations

H-Index

109

Concepts

All Affiliations

IBM Research - Thomas J. Watson Research Center IBM (United States)Brown University University of California, Berkeley Palo Alto Research Center

About

Mark N. Wegman is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	23	27	5.7K
2	Language Studies	4	4	94
3	Medicine	3	3	830
4	Management	2	2	176
5	Business	1	1	10

Mark N. Wegman

Publications

11.7K

Citations

H-Index

Page 1

	Year	Citations
Universal classes of hash functions J.Lawrence Carter, Mark N. Wegman Journal of Computer and System Sciences Generalized FunctionFunction TheoryComputer ScienceUniversal AlgebraUniversal Classes	1979	2.6K
Efficiently computing static single assignment form and the control dependence graph Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen, ACM Transactions on Programming Languages and Systems	1991	2.2K
New hash functions and their use in authentication and set equality Mark N. Wegman, J.Lawrence Carter Journal of Computer and System Sciences Cryptographic PrimitiveEngineeringInformation SecurityCryptographic ProtectionIdentity-based Security	1981	1.4K
Mutations in myosin heavy chain 11 cause a syndrome associating thoracic aortic aneurysm/aortic dissection and patent ductus arteriosus Li‐Min Zhu, Roger Vranckx, Philippe Khau Van Kien, Nature Genetics CardiomyopathyAortic DiseasesGeneticsPathologyCongenital Heart Anomaly	2006	605
Constant propagation with conditional branches Mark N. Wegman, F. Kenneth Zadeck ACM Transactions on Programming Languages and Systems Mathematical ProgrammingEngineeringCompiler TechnologyVerificationSoftware Analysis	1991	601
Global value numbers and redundant computations Barry K. Rosen, Mark N. Wegman, F. K. Zadeck Mathematical ProgrammingTheory Of ComputingGlobal Value NumbersReal Data TypeEngineering	1988	480
An efficient method of computing static single assignment form Ron K. Cytron, Jeanne Ferrante, Barry K. Rosen, Mathematical ProgrammingEngineeringEfficient MethodCompiler TechnologyComputational Complexity	1989	460
Analysis of pointers and structures David Chase, Mark N. Wegman, F. K. Zadeck ACM SIGPLAN Notices Mathematical StructureArticle AnalysisProgramming Language TheoryEngineeringData Science	2004	432
Detecting equality of variables in programs Bowen Alpern, Mark N. Wegman, F. K. Zadeck Program CheckingEngineeringVerificationSoftware AnalysisFormal Verification	1988	426
Universal classes of hash functions (Extended Abstract) J. Lawrence Carter, Mark N. Wegman Abstract AlgebraEngineeringComputational ComplexityUniversal ClassesInformation Retrieval	1977	340

Page 1