Concepedia

Author

Lengning Liu

University of Kentucky

Also Known As

Lengning Liu, Liu, Lengning

15

Publications

253

Citations

7

H-Index

17

Concepts

All Affiliations

University of Kentucky
LL

About

Lengning Liu is an author at University of Kentucky specializing in automated reasoning, formal methods, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

109

2

Computer Science

3

3

109

3

Convex Optimization

1

1

27

4

Linear Optimization

1

1

27

5

Mathematical Foundations

1

1

20

Lengning Liu

×

3

Publications

109

Citations

3

H-Index

YearCitations

Page 1