Concepedia

Michael D. Adams

MD

8

Publications

134

Citations

8

H-Index

2010

Active since

Affiliations

University of Utah(Current)

University of Illinois Urbana-Champaign

Portland State University

Indiana University Bloomington

Michael D. Adams is an author at University of Utah specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSystems EngineeringComputer EngineeringSoftware AnalysisParallel ProgrammingSoftware EngineeringMathematical Programming

Publications per year

2010–2016

8

Publications

8

Rows per page

1–5 of 8