Concepedia

Author

Hongjin Liang

Also Known As

Hong-Jin LIANG, Hong-Jin Liang, Hong-jin Liang, Hongjin Liang

26

Publications

509

Citations

13

H-Index

31

Concepts

All Affiliations

HL

About

Hongjin Liang is an author at University of Science and Technology of China specializing in formal verification, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

9

9

362

2

Computer Science

9

9

362

3

Computer Engineering

2

2

73

4

Medicine

1

1

18

5

Neurology

1

1

18

Hongjin Liang

×

12

Publications

439

Citations

12

H-Index

YearCitations

Page 1