Statistics
Publications
1
Citations
169
H-Index
1
Active since
2009
Affiliations
Microsoft (United States)(Current)
Tisheng Chen is an author at Microsoft (United States) specializing in computer systems, paxos, and distributed computing.
Publications per year
2009–2009
1
1
MODIST: transparent model checking of unmodified distributed systems
Junfeng Yang, Tisheng Chen, Ming Wu et al. · 2009 · 169 citations
1–1 of 1