Concepedia

Author

Dayou Zhou

Shandong UniversityORCID

Also Known As

Da-You Zhou, Dayou Zhou

12

Publications

279

Citations

7

H-Index

35

Concepts

All Affiliations

Shandong UniversityUniversity of California San DiegoQingdao Agricultural University
DZ

About

Dayou Zhou is an author at Shandong University specializing in verification, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

162

2

Computer Science

3

3

162

3

Management

1

1

59

4

Medicine

1

1

58

5

Communication

1

1

79

Dayou Zhou

×

7

Publications

267

Citations

7

H-Index

YearCitations

Page 1