Limin Jia

LJ

57

Publications

2.2K

Citations

26

H-Index

1993

Active since

Limin Jia is an author at Carnegie Mellon University specializing in engineering, computer science, and formal verification.

Publications per year

1993–2024

57

Publications

57