Concepedia

Author

Li-yao Xia

California University of PennsylvaniaORCID

Also Known As

Li-yao Xia, Xia, Li-Yao, Xia, Li-yao

18

Publications

278

Citations

6

H-Index

22

Concepts

All Affiliations

California University of PennsylvaniaPrinceton UniversityYale UniversityUniversity of Illinois Chicago
LX

About

Li-yao Xia is an author at California University of Pennsylvania specializing in software analysis, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

188

2

Computer Science

3

3

188

3

Compilers

2

2

149

4

Data Science

1

1

39

5

Asynchronous Systems

1

1

26

Li-yao Xia

×

5

Publications

254

Citations

5

H-Index

YearCitations

Page 1