Concepedia

Author

Tisheng Chen

Microsoft (United States)

Also Known As

Tisheng Chen

1

Publications

168

Citations

1

H-Index

12

Concepts

All Affiliations

Microsoft (United States)
TC

About

Tisheng Chen is an author at Microsoft (United States) specializing in system software, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

168

2

Computer Science

1

1

168

3

Systems Engineering

1

1

168

4

Distributed Systems

1

1

168

5

Operating Systems

1

1

168

Tisheng Chen

×

1

Publications

168

Citations

1

H-Index

YearCitations

Page 1