Concepedia

Author

Yunxia Bao

Shandong University of Science and TechnologyORCID

Also Known As

Kaixin Gu, Yunxia Bao

22

Publications

177

Citations

9

H-Index

22

Concepts

All Affiliations

Shandong University of Science and Technology
YB

About

Yunxia Bao is an author at Shandong University of Science and Technology specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

48

2

Medicine

2

2

41

3

Computer Science

2

2

48

4

Computer Engineering

1

1

28

5

Emergency Medicine

1

1

20

Yunxia Bao

×

6

Publications

101

Citations

6

H-Index

YearCitations

Page 1