35
Publications
11.7K
Citations
27
H-Index
1975
Active since
Mark N. Wegman is an author at IBM Research - Thomas J. Watson Research Center specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisData ScienceComputational ComplexityAutomated ReasoningComputer EngineeringVerification
Publications per year
1975–2018
35
35
Rows per page
1–5 of 35