Concepedia

Author

Li Jian

University of AlbertaORCID

Also Known As

Jian Bing Li, Jian LI, Jian Li, Li Jian, Li, Ji'an

20

Publications

67

Citations

4

H-Index

12

Concepts

All Affiliations

University of Alberta
LJ

About

Li Jian is an author at University of Alberta specializing in formal methods, formal verification, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

35

2

Semantics

1

1

35

3

Software Analysis

1

1

35

4

Software Engineering

1

1

35

5

Software Testing

1

1

35

Li Jian

×

1

Publications

35

Citations

1

H-Index

YearCitations

Testing the Semantics of W3C XML Schema

Li Jian, James Miller

2006

35

Page 1