/
User Settings
X

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

11

Papers

24

Citations

3

h-index

0

i10-index

Xinran Ning is an academic researcher from Southwest Medical University. The author has contributed to research in topics: Logic, programming, and type systems & Logic, Reasoning, and Knowledge & Formal Methods in Verification. The author has an h-index of 3, co-authored 10 publications.

Research Topics

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in VerificationNatural Language Processing TechniquesNeural Networks and Applications

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat