Concepedia

Author

Yulu Du

Huazhong University of Science and TechnologyORCID

Also Known As

Yulu Du

3

Publications

65

Citations

2

H-Index

8

Concepts

All Affiliations

Huazhong University of Science and Technology
YD

About

Yulu Du is an author at Huazhong University of Science and Technology specializing in formal verification, semantic web, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

62

2

Systems Engineering

1

1

62

3

Design

1

1

62

4

Automated Reasoning

1

1

62

5

Formal Methods

1

1

62

Yulu Du

×

1

Publications

62

Citations

1

H-Index

YearCitations

Page 1