Concepedia

Author

Haojun Ma

University of MichiganORCID

Also Known As

Haojun Ma

3

Publications

46

Citations

2

H-Index

11

Concepts

All Affiliations

University of Michigan
HM

About

Haojun Ma is an author at University of Michigan specializing in formal verification, formal specification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Computer Engineering

1

1

39

3

Computer Science

1

1

39

4

Systems Engineering

1

1

39

5

Distributed Systems

1

1

39

Haojun Ma

×

1

Publications

39

Citations

1

H-Index

YearCitations

Page 1