Concepedia

Author

Jianliang Yi

The University of Texas at Austin

Also Known As

Jian-Liang Yi, Jian-liang Yi, Jianliang Yi

9

Publications

78

Citations

4

H-Index

18

Concepts

All Affiliations

The University of Texas at AustinPortland State UniversityUniversity of Michigan
JY

About

Jianliang Yi is an author at The University of Texas at Austin specializing in formal verification, software engineering, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

46

2

Computer Engineering

2

2

46

3

Systems Engineering

2

2

46

4

Computer Science

1

1

27

5

Cyber Physical Systems

1

1

19

Jianliang Yi

×

3

Publications

60

Citations

3

H-Index

YearCitations

Page 1