Concepedia

Author

Xin Shi

Microsoft Research Asia (China)ORCID

Also Known As

Xin Shi

1

Publications

138

Citations

1

H-Index

13

Concepts

All Affiliations

Microsoft Research Asia (China)
XS

About

Xin Shi is an author at Microsoft Research Asia (China) specializing in software maintenance, program analysis, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

138

2

Computer Science

1

1

138

3

Systems Engineering

1

1

138

4

Software Analysis

1

1

138

5

Software Engineering

1

1

138

Xin Shi

×

1

Publications

138

Citations

1

H-Index

YearCitations

Page 1